]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 83d2e9c) | patch
Last commit made matita FTBFS. Fixed.
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 26 Oct 2010 13:20:32 +0000 (13:20 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 26 Oct 2010 13:20:32 +0000 (13:20 +0000)
commite14fdca3a845ad0b88a34497f41472c3e7f8473b
treee92aee75ff00c3f9f42e0a233c4a4c9b863ed6cctree | snapshot
parent83d2e9c93f39464715e10fab6ebdb4be97c37b08commit | diff
Last commit made matita FTBFS. Fixed.
matita/components/METAS/meta.helm-ng_kernel.src diff | blob | history
matita/components/binaries/test_parser/Makefile diff | blob | history
matita/components/binaries/test_parser/print_grammar.ml [deleted file] blob | history
matita/components/grafite_parser/Makefile diff | blob | history
matita/components/grafite_parser/print_grammar.ml [new file with mode: 0644] blob
matita/components/ng_paramodulation/nCicBlob.ml diff | blob | history
matita/components/ng_paramodulation/nCicBlob.mli diff | blob | history
matita/components/ng_paramodulation/nCicProof.ml diff | blob | history
matita/components/ng_paramodulation/nCicProof.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.