]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2bd1dbc) | patch
librarian: retrieval of buildable files speeded up a lot
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 12 Jul 2008 20:40:30 +0000 (20:40 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 12 Jul 2008 20:40:30 +0000 (20:40 +0000)
commit128ea02422e0cc4254ea3f8e4b0c5248c7182479
tree987db3f1d1720e665502ec013e71660d3cf837detree | snapshot
parent2bd1dbc6fdad64f989089165a4e7367c072d2656commit | diff
librarian: retrieval of buildable files speeded up a lot
Procedural: some bug fixes
termContentPres.ml: syntax of let-in construction fixed
LAMBDA-TYPES: some improvements in the Makefile
helm/software/components/acic_procedural/acic2Procedural.ml diff | blob | history
helm/software/components/acic_procedural/proceduralConversion.ml diff | blob | history
helm/software/components/acic_procedural/proceduralConversion.mli diff | blob | history
helm/software/components/content_pres/termContentPres.ml diff | blob | history
helm/software/components/library/librarian.ml diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.