]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0eadc1e) | patch
Another contribution. But this one does not work
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 7 Dec 2000 18:17:47 +0000 (18:17 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 7 Dec 2000 18:17:47 +0000 (18:17 +0000)
commitb553fcede2e5173922ebb86abf1661422ac567d5
tree44e0bdd70145894421cb6f844d093079e3a17dd3tree | snapshot
parent0eadc1e4233789feb43afcfb1441af188fe1c535commit | diff
Another contribution. But this one does not work
(the XML module crashes). Bug reported to Hugo.
helm/EXPORT/export_Rocq_HIGMAN/Makefile [new file with mode: 0644] blob
helm/EXPORT/export_Rocq_HIGMAN/exporttheories.sh [new file with mode: 0755] blob
helm/EXPORT/export_Rocq_HIGMAN/prova_Rocq_HIGMAN.v [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.