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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 22 Feb 2010 18:53:10 +0000 (18:53 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 22 Feb 2010 18:53:10 +0000 (18:53 +0000)
commit	4c157ac5c58f34fffc98289c2d2e71032d584a83
tree	1f256d356410af1006aa096d983959d5fd7e9e19	tree \| snapshot
parent	28430d599505ac26b51e4887e5196d9b380c898a	commit \| diff

- we completed the text parser fixing the syntactic shortcuts
- we can now parse several files without loosing the status
- some imperative variables refactored

33 files changed:

helm/software/lambda-delta/.depend.opt		diff \| blob \| history
helm/software/lambda-delta/Make		diff \| blob \| history
helm/software/lambda-delta/Makefile		diff \| blob \| history
helm/software/lambda-delta/automath/autLexer.mll		diff \| blob \| history
helm/software/lambda-delta/automath/autProcess.ml		diff \| blob \| history
helm/software/lambda-delta/automath/autProcess.mli		diff \| blob \| history
helm/software/lambda-delta/basic_ag/bagOutput.ml		diff \| blob \| history
helm/software/lambda-delta/basic_rg/brgOutput.ml		diff \| blob \| history
helm/software/lambda-delta/common/Make		diff \| blob \| history
helm/software/lambda-delta/common/entity.ml		diff \| blob \| history
helm/software/lambda-delta/common/hierarchy.ml		diff \| blob \| history
helm/software/lambda-delta/common/hierarchy.mli		diff \| blob \| history
helm/software/lambda-delta/common/options.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/common/output.ml		diff \| blob \| history
helm/software/lambda-delta/common/output.mli		diff \| blob \| history
helm/software/lambda-delta/complete_rg/crgAut.ml		diff \| blob \| history
helm/software/lambda-delta/complete_rg/crgAut.mli		diff \| blob \| history
helm/software/lambda-delta/complete_rg/crgTxt.ml		diff \| blob \| history
helm/software/lambda-delta/complete_rg/crgTxt.mli		diff \| blob \| history
helm/software/lambda-delta/examples/exp_math/L.hln		diff \| blob \| history
helm/software/lambda-delta/examples/exp_math/Make		diff \| blob \| history
helm/software/lambda-delta/examples/exp_math/Makefile		diff \| blob \| history
helm/software/lambda-delta/examples/exp_math/T0.hln	[new file with mode: 0644]	blob
helm/software/lambda-delta/examples/exp_math/preamble.hln	[new file with mode: 0644]	blob
helm/software/lambda-delta/lib/log.ml		diff \| blob \| history
helm/software/lambda-delta/lib/log.mli		diff \| blob \| history
helm/software/lambda-delta/text/txt.ml		diff \| blob \| history
helm/software/lambda-delta/text/txtLexer.mll		diff \| blob \| history
helm/software/lambda-delta/text/txtParser.mly		diff \| blob \| history
helm/software/lambda-delta/text/txtTxt.ml		diff \| blob \| history
helm/software/lambda-delta/toplevel/metaAut.ml		diff \| blob \| history
helm/software/lambda-delta/toplevel/metaAut.mli		diff \| blob \| history
helm/software/lambda-delta/toplevel/top.ml		diff \| blob \| history

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

RSS Atom