Various fixes

pauladam94 · Jan 12, 2025 · bea274d · bea274d
1 parent 7a2fb69
commit bea274d
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git 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
@@ -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
@@ -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/*"]