]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9581b03) | patch
In preparation of 0.95.1 release.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 17 Nov 2011 00:00:00 +0000 (00:00 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 17 Nov 2011 00:00:00 +0000 (00:00 +0000)
commit153b6f35ae08d0904f8fec079133ad3ca1186544
tree9895454cd448f7de51571658b56eede23486f1d2tree | snapshot
parent9581b03be2b2bc830820b93992920aaa2c021cc9commit | diff
In preparation of 0.95.1 release.
matita/components/grafite_parser/print_grammar.ml diff | blob | history
matita/configure.ac diff | blob | history
matita/matita/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.