]> matita.cs.unibo.it Git - helm.git/commit - helm/software/helena/matita/grundlagen_2_2.ma
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 34e6104) | patch
level disambiguation cmpleted! the Grafite file is succesfully generated.
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 30 Nov 2014 17:58:24 +0000 (17:58 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 30 Nov 2014 17:58:24 +0000 (17:58 +0000)
commit3e5683b1efeb08431c8bb34718920384bfe6625a
tree1fa21a4dcb25b2ac957362a4f6a5832ebb842042tree | snapshot
parent34e6104ef149e3776d0ab7f0930ae73f0e8de157commit | diff
level disambiguation cmpleted! the Grafite file is succesfully generated.
Matite cannot compiled it yet since it seems to freeze on notion 2760.
We divided the Grafite file in 7 parts for convenience.
18 files changed:
helm/software/helena/.depend.opt diff | blob | history
helm/software/helena/Makefile diff | blob | history
helm/software/helena/examples/automath/README.txt [new file with mode: 0644] blob
helm/software/helena/examples/automath/grundlagen_1.aut diff | blob | history
helm/software/helena/examples/automath/grundlagen_2.aut diff | blob | history
helm/software/helena/matita/grundlagen_2.ma diff | blob | history
helm/software/helena/matita/grundlagen_2_0.ma [new file with mode: 0644] blob
helm/software/helena/matita/grundlagen_2_1.ma [new file with mode: 0644] blob
helm/software/helena/matita/grundlagen_2_2.ma [new file with mode: 0644] blob
helm/software/helena/matita/grundlagen_2_3.ma [new file with mode: 0644] blob
helm/software/helena/matita/grundlagen_2_4.ma [new file with mode: 0644] blob
helm/software/helena/matita/grundlagen_2_5.ma [new file with mode: 0644] blob
helm/software/helena/matita/grundlagen_2_6.ma [new file with mode: 0644] blob
helm/software/helena/src/automath/autCrg.ml diff | blob | history
helm/software/helena/src/basic_rg/brg.ml diff | blob | history
helm/software/helena/src/basic_rg/brgGrafite.ml diff | blob | history
helm/software/helena/src/common/options.ml diff | blob | history
helm/software/helena/src/toplevel/top.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.