]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3b3a149) | patch
Procedural: some comments added in the generated script
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 16 Jul 2008 18:16:19 +0000 (18:16 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 16 Jul 2008 18:16:19 +0000 (18:16 +0000)
commit4ed8829233095bdf2ab1c15021ba815084d19b70
treeb586c51d8050f84741c54e7526eeee9a2a5b27a0tree | snapshot
parent3b3a14912c135dc45da970d71235b630660d88c8commit | diff
Procedural: some comments added in the generated script
tests/fguidi.ma: we removed the dependence from legacy/coq.ma
ApplyTransformation: new function procedural_text_of_cic_term
                     for use in matitaScript (still disabled)
helm/software/components/acic_procedural/acic2Procedural.ml diff | blob | history
helm/software/components/acic_procedural/acic2Procedural.mli diff | blob | history
helm/software/components/acic_procedural/proceduralHelpers.ml diff | blob | history
helm/software/components/acic_procedural/proceduralHelpers.mli diff | blob | history
helm/software/matita/applyTransformation.ml diff | blob | history
helm/software/matita/applyTransformation.mli diff | blob | history
helm/software/matita/matitaScript.ml diff | blob | history
helm/software/matita/tests/fguidi.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.