]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 82baf09) | patch
- some depend files fixed
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 11 Jun 2009 12:59:35 +0000 (12:59 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 11 Jun 2009 12:59:35 +0000 (12:59 +0000)
commit951e8fda6fbef9b4149e37e4d406b2f82fd64a98
treee66a542439d1fd58132eb3976bb3836190778dc5tree | snapshot
parent82baf094141d9ef518d681b8cebcc180bca14d2ccommit | diff
- some depend files fixed
- matitacLib: we peform a garbage collection after compiling every file instead of just .mma (let's see the times)
- transcript: support for "cr" inline param completed
- procedural: now record are supported

the records of logic/cprop_coonectives.ma are now reconstructed :)

logic higher_order_defs list nat Z Q are now fully reconstructed :))
14 files changed:
helm/software/components/acic_procedural/acic2Procedural.ml diff | blob | history
helm/software/components/acic_procedural/proceduralTeX.ml diff | blob | history
helm/software/components/acic_procedural/proceduralTypes.ml diff | blob | history
helm/software/components/acic_procedural/proceduralTypes.mli diff | blob | history
helm/software/components/binaries/transcript/engine.ml diff | blob | history
helm/software/components/extlib/.depend.opt diff | blob | history
helm/software/components/ng_cic_content/.depend diff | blob | history
helm/software/components/ng_cic_content/.depend.opt diff | blob | history
helm/software/components/ng_paramodulation/.depend diff | blob | history
helm/software/components/ng_paramodulation/.depend.opt diff | blob | history
helm/software/matita/.depend.opt diff | blob | history
helm/software/matita/contribs/procedural/library/library.conf.xml diff | blob | history
helm/software/matita/matita.lang diff | blob | history
helm/software/matita/matitacLib.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.