aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJosh Chen2020-06-15 11:58:30 +0200
committerJosh Chen2020-06-15 11:58:30 +0200
commit8885f9c96d950655250292ee03b54aafeb2f727f (patch)
tree408bc5c46d86d066e3eebe202a18dd84e381447b
parent28e91f960d7b41f3658a2736f7d87ba5e79f87f6 (diff)
fix ROOT
-rw-r--r--ROOT2
1 files changed, 1 insertions, 1 deletions
diff --git a/ROOT b/ROOT
index c960fd7..cc0badd 100644
--- a/ROOT
+++ b/ROOT
@@ -14,7 +14,7 @@ session Spartan in spartan = Spartan_Core +
Type theory based on Spartan, but with a few more bells and whistles.
"
directories
- data
+ lib
theories
More_Types
Maybe