matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Tue, 9 Jan 2018 18:53:51 +0000 (19:53 +0100)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Tue, 9 Jan 2018 18:53:51 +0000 (19:53 +0100)
commit	88977b2d546e547e23b046792fe2ad8f6ff192a4
tree	4d3e3feeae208fcbfeb7964ee8f83826403d0a16	tree \| snapshot
parent	fdb80b08af83b86759833142456ce3c4f84cd80e	commit \| diff

update in helena

- new system of attributes for terms
- exportation to λΥP λProlog engine
- now based on ocamlbuild

54 files changed:

.gitignore		diff \| blob \| history
helm/software/helena/Make		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/src/Make	[deleted file]	blob \| history
helm/software/helena/src/automath/Make	[deleted file]	blob \| history
helm/software/helena/src/automath/autCrg.ml		diff \| blob \| history
helm/software/helena/src/basic_ag/Make	[deleted file]	blob \| history
helm/software/helena/src/basic_ag/bagCrg.ml		diff \| blob \| history
helm/software/helena/src/basic_ag/bagOutput.ml		diff \| blob \| history
helm/software/helena/src/basic_ag/bagReduction.ml		diff \| blob \| history
helm/software/helena/src/basic_ag/bagType.ml		diff \| blob \| history
helm/software/helena/src/basic_ag/bagUntrusted.ml		diff \| blob \| history
helm/software/helena/src/basic_rg/Make	[deleted file]	blob \| history
helm/software/helena/src/basic_rg/brg.ml		diff \| blob \| history
helm/software/helena/src/basic_rg/brgCoq.ml	[new file with mode: 0644]	blob
helm/software/helena/src/basic_rg/brgCoq.mli	[new file with mode: 0644]	blob
helm/software/helena/src/basic_rg/brgCrg.ml		diff \| blob \| history
helm/software/helena/src/basic_rg/brgGallina.ml	[deleted file]	blob \| history
helm/software/helena/src/basic_rg/brgGallina.mli	[deleted file]	blob \| history
helm/software/helena/src/basic_rg/brgGrafite.ml	[deleted file]	blob \| history
helm/software/helena/src/basic_rg/brgGrafite.mli	[deleted file]	blob \| history
helm/software/helena/src/basic_rg/brgHelena.ml	[new file with mode: 0644]	blob
helm/software/helena/src/basic_rg/brgHelena.mli	[new file with mode: 0644]	blob
helm/software/helena/src/basic_rg/brgLP.ml	[deleted file]	blob \| history
helm/software/helena/src/basic_rg/brgLP.mli	[deleted file]	blob \| history
helm/software/helena/src/basic_rg/brgLYP.ml	[new file with mode: 0644]	blob
helm/software/helena/src/basic_rg/brgLYP.mli	[new file with mode: 0644]	blob
helm/software/helena/src/basic_rg/brgMatita.ml	[new file with mode: 0644]	blob
helm/software/helena/src/basic_rg/brgMatita.mli	[new file with mode: 0644]	blob
helm/software/helena/src/basic_rg/brgOutput.ml		diff \| blob \| history
helm/software/helena/src/basic_rg/brgReduction.ml		diff \| blob \| history
helm/software/helena/src/basic_rg/brgSubstitution.ml		diff \| blob \| history
helm/software/helena/src/basic_rg/brgType.ml		diff \| blob \| history
helm/software/helena/src/basic_rg/brgUntrusted.ml		diff \| blob \| history
helm/software/helena/src/basic_rg/brgValidity.ml		diff \| blob \| history
helm/software/helena/src/common/Make	[deleted file]	blob \| history
helm/software/helena/src/common/entity.ml		diff \| blob \| history
helm/software/helena/src/common/options.ml		diff \| blob \| history
helm/software/helena/src/complete_rg/Make	[deleted file]	blob \| history
helm/software/helena/src/complete_rg/crg.ml		diff \| blob \| history
helm/software/helena/src/complete_rg/crgOutput.ml		diff \| blob \| history
helm/software/helena/src/lib/Make	[deleted file]	blob \| history
helm/software/helena/src/modules.ml		diff \| blob \| history
helm/software/helena/src/text/Make	[deleted file]	blob \| history
helm/software/helena/src/text/txtCrg.ml		diff \| blob \| history
helm/software/helena/src/toplevel/Make	[deleted file]	blob \| history
helm/software/helena/src/toplevel/helena.ml	[new file with mode: 0644]	blob
helm/software/helena/src/toplevel/top.ml	[deleted file]	blob \| history
helm/software/helena/src/xml/Make	[deleted file]	blob \| history
helm/software/helena/src/xml/xmlCrg.ml		diff \| blob \| history
helm/software/helena/src/xml/xmlLibrary.ml		diff \| blob \| history
helm/software/helena/src/xml/xmlLibrary.mli		diff \| blob \| history

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

RSS Atom