]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9d1d061) | patch
A parser for aliases implemented (required by the Whelp).
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 30 Aug 2005 09:39:12 +0000 (09:39 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 30 Aug 2005 09:39:12 +0000 (09:39 +0000)
commitf8edc256de5d8ae2126f01fdaf72ac91151d8ca6
treef180ee16ab631554b3f329fbf2f7e2a541e9f71ftree | snapshot
parent9d1d061713042b504aec7de671391245a43adad7commit | diff
A parser for aliases implemented (required by the Whelp).
helm/matita/matita.txt diff | blob | history
helm/matita/matitaEngine.ml diff | blob | history
helm/ocaml/cic_disambiguation/Makefile diff | blob | history
helm/ocaml/cic_disambiguation/disambiguatePp.ml diff | blob | history
helm/ocaml/cic_disambiguation/disambiguatePp.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.