]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: deaa747) | patch
we implemented the support for generating ma files from mma files
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 21 Jul 2008 18:10:30 +0000 (18:10 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 21 Jul 2008 18:10:30 +0000 (18:10 +0000)
commit662f191b09d1b9e3d13e4f9ee5c174c1ac08fadb
tree63d4c1127fe062d055b005c9f8afe3ebc41c0c00tree | snapshot
parentdeaa74701b73276ab7312911a56bee316c2ca110commit | diff
we implemented the support for generating ma files from mma files
17 files changed:
helm/software/components/grafite_parser/dependenciesParser.ml diff | blob | history
helm/software/components/grafite_parser/dependenciesParser.mli diff | blob | history
helm/software/components/library/librarian.ml diff | blob | history
helm/software/matita/.depend.opt diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/.depend [deleted file] blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/depends [deleted file] blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/.depend [deleted file] blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/depends [deleted file] blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Legacy-2/.depend [deleted file] blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Legacy-2/depends [deleted file] blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Makefile diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/depends [new file with mode: 0644] blob
helm/software/matita/matitaInit.ml diff | blob | history
helm/software/matita/matitacLib.ml diff | blob | history
helm/software/matita/matitacLib.mli diff | blob | history
helm/software/matita/matitadep.ml diff | blob | history
helm/software/matita/tests/fguidi.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.