next-lib now compiles webalt ; removed subdir mathematical/ for simplicity

2008-10-06 15:27:14 +00:00
parent e56e6483f6
commit 43dcd61cbf
29 changed files with 157 additions and 15 deletions
--- a/next-lib/src/api/CombinatorsCat.gf
+++ b/next-lib/src/api/CombinatorsCat.gf
@@ -1,4 +1,4 @@
--# -path=.:alltenses:prelude
+--# -path=.:alltenses

 resource CombinatorsCat = Combinators with 
  (Cat = CatCat),