diff --git a/LICENSE b/LICENSE index 5aae374..6976043 100644 --- a/LICENSE +++ b/LICENSE @@ -1,6 +1,6 @@ MIT License -Copyright (c) 2025 Rémi Hutin - Paul Adam +Copyright (c) 2025 Rémi Hutin - Paul Adam - Malo <@MDLC01> Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal diff --git a/README.md b/README.md index 1394bcd..b6e47d7 100644 --- a/README.md +++ b/README.md @@ -8,7 +8,7 @@ A Typst package for typesetting proof trees. You can import the latest version of this package with: ```typst -#import "@preview/curryst:0.3.0": rule, proof-tree +#import "@preview/curryst:0.4.0": rule, proof-tree ``` ## Basic usage diff --git a/typst.toml b/typst.toml index 2f8d989..181ac53 100644 --- a/typst.toml +++ b/typst.toml @@ -10,4 +10,4 @@ keywords = ["proof tree", "prooftree", "inference", "logic"] categories = ["components", "visualization", "integration"] disciplines = ["computer-science", "mathematics"] compiler = "0.11.0" -exclude = [".gitignore", "README.md", "examples/*", "tests/*"] +exclude = [".gitignore", "examples/*", "tests/*"]