matita.cs.unibo.it Git - helm.git/commit - helm/software/helena/matita/grundlagen_2

]> matita.cs.unibo.it Git - helm.git/commit - helm/software/helena/matita/grundlagen_2_2.ma

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 29 Dec 2015 15:11:23 +0000 (15:11 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 29 Dec 2015 15:11:23 +0000 (15:11 +0000)
commit	25893b01cb815cbd9a3b9684952bfc0f42c0739d
tree	c5a50c5e8740e2252c79a84dd2a099ab6ba531ce	tree \| snapshot
parent	bcc6a96020485731da4c02cc38043817903bd7dc	commit \| diff

- final commit for helena 0.8.3
minir bugs fixed

34 files changed:

helm/software/helena/Make		diff \| blob \| history
helm/software/helena/MakeVersion		diff \| blob \| history
helm/software/helena/Makefile		diff \| blob \| history
helm/software/helena/Makefile.common		diff \| blob \| history
helm/software/helena/README		diff \| blob \| history
helm/software/helena/coq/grundlagen.template	[deleted file]	blob \| history
helm/software/helena/coq/grundlagen_2.v	[deleted file]	blob \| history
helm/software/helena/coq/grundlagen_2_ver.v	[deleted file]	blob \| history
helm/software/helena/lp/lp.template	[deleted file]	blob \| history
helm/software/helena/matita/grundlagen_2.ma	[deleted file]	blob \| history
helm/software/helena/matita/grundlagen_2_0.ma	[deleted file]	blob \| history
helm/software/helena/matita/grundlagen_2_1.ma	[deleted file]	blob \| history
helm/software/helena/matita/grundlagen_2_2.ma	[deleted file]	blob \| history
helm/software/helena/matita/grundlagen_2_3.ma	[deleted file]	blob \| history
helm/software/helena/matita/grundlagen_2_4.ma	[deleted file]	blob \| history
helm/software/helena/matita/grundlagen_2_5.ma	[deleted file]	blob \| history
helm/software/helena/matita/grundlagen_2_6.ma	[deleted file]	blob \| history
helm/software/helena/matita/root	[deleted file]	blob \| history
helm/software/helena/scripts/coq/grundlagen.template	[new file with mode: 0644]	blob
helm/software/helena/scripts/coq/grundlagen_2.v	[new file with mode: 0644]	blob
helm/software/helena/scripts/coq/grundlagen_2_ver.v	[new file with mode: 0644]	blob
helm/software/helena/scripts/lp/lp.template	[new file with mode: 0644]	blob
helm/software/helena/scripts/matita/grundlagen_2.ma	[new file with mode: 0644]	blob
helm/software/helena/scripts/matita/grundlagen_2_0.ma	[new file with mode: 0644]	blob
helm/software/helena/scripts/matita/grundlagen_2_1.ma	[new file with mode: 0644]	blob
helm/software/helena/scripts/matita/grundlagen_2_2.ma	[new file with mode: 0644]	blob
helm/software/helena/scripts/matita/grundlagen_2_3.ma	[new file with mode: 0644]	blob
helm/software/helena/scripts/matita/grundlagen_2_4.ma	[new file with mode: 0644]	blob
helm/software/helena/scripts/matita/grundlagen_2_5.ma	[new file with mode: 0644]	blob
helm/software/helena/scripts/matita/grundlagen_2_6.ma	[new file with mode: 0644]	blob
helm/software/helena/scripts/matita/root	[new file with mode: 0644]	blob
helm/software/helena/src/automath/autLexer.mll		diff \| blob \| history
helm/software/helena/src/basic_rg/brgReduction.ml		diff \| blob \| history
helm/software/helena/src/common/options.ml		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom