]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1883bb6) | patch
- Procedural: bug fix in rendering the application: we must handle the
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 4 Jul 2008 12:03:19 +0000 (12:03 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 4 Jul 2008 12:03:19 +0000 (12:03 +0000)
commit9ece6e414b255f519426d5643782af4f7dfc584f
treef5c6fe72fceadbfbc3ea3a930f02c99a7a00dc50tree | snapshot
parent1883bb697368eda63861ebbb233062f74abd20d1commit | diff
- Procedural: bug fix in rendering the application: we must handle the
              arguments that are inferrable but do not occur in the goal
- LAMBDA-TYPES: bug fix in Makefile: MAS was not computed correctly
helm/software/components/acic_procedural/acic2Procedural.ml diff | blob | history
helm/software/components/acic_procedural/proceduralClassify.ml diff | blob | history
helm/software/components/acic_procedural/proceduralClassify.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/components/tactics/tactics.mli diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.