]> matita.cs.unibo.it Git - helm.git/commit
0.5.6 almost ok
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 1 Dec 2008 18:09:10 +0000 (18:09 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 1 Dec 2008 18:09:10 +0000 (18:09 +0000)
commit54e651eaa3cbcc16cfdf3fcc8b53482bffc78b76
tree64e263407b32f25213a05d0485d2c96aad85cc90
parent9449ec60150ea2326d7b54ad9c4f51e36d06bb65
0.5.6 almost ok
helm/software/Makefile
helm/software/matita/dist/ChangeLog
helm/software/matita/dist/INSTALL [deleted file]
helm/software/matita/dist/Makefile
helm/software/matita/dist/README [deleted file]
helm/software/matita/library/didactic/exercises/natural_deduction.ma
helm/software/matita/library/didactic/exercises/natural_deduction_fst_order.ma