]> matita.cs.unibo.it Git - helm.git/commit
- system flag now forks for matitadep too
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 22 Sep 2007 21:29:37 +0000 (21:29 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 22 Sep 2007 21:29:37 +0000 (21:29 +0000)
commitb0b636a3b194d6eb6af6548113d17b99b117cd8d
tree46fceb196adbbc56e46e3810bb1f9bf3d2290fdc
parent4b41d79016943d3c58871cdbe1ce0a5665ddb378
- system flag now forks for matitadep too
= legacy Base-1 and LambdaDelta-1 reinserted on tests.
  will compile in system space because they are published
matita/Makefile
matita/contribs/LAMBDA-TYPES/Base-1/makefile
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/makefile
matita/contribs/LAMBDA-TYPES/Makefile
matita/legacy/makefile
matita/matitaInit.ml
matita/matitaInit.mli
matita/matitadep.ml
matita/matitamakeLib.ml
matita/template_makefile.in