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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 19 Feb 2010 16:27:17 +0000 (16:27 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 19 Feb 2010 16:27:17 +0000 (16:27 +0000)
commit	93205dc852fa208b48a05757d05d9910b7d45fa1
tree	c64980aaeb1abaed90f9f669e47d3fc369cf8e04	tree \| snapshot
parent	201283b23b8aa4d55cfe4e1dc19c24057803f2e0	commit \| diff

- we added a parser for lambda-delta textual syntax (file extension .hln)
- we now parse the input files with a straming policy
- we added a Meta attribute for explanatory metalinguistic comments
- brg: missing type casts were not inserted (fixed)

21 files changed:

helm/software/lambda-delta/.depend.opt		diff \| blob \| history
helm/software/lambda-delta/Make		diff \| blob \| history
helm/software/lambda-delta/automath/autParser.mly		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/basic_rg/brgUntrusted.ml		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/complete_rg/Make		diff \| blob \| history
helm/software/lambda-delta/complete_rg/crg.ml		diff \| blob \| history
helm/software/lambda-delta/complete_rg/crgOutput.ml		diff \| blob \| history
helm/software/lambda-delta/complete_rg/crgTxt.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/complete_rg/crgTxt.mli	[new file with mode: 0644]	blob
helm/software/lambda-delta/text/Make	[new file with mode: 0644]	blob
helm/software/lambda-delta/text/prova.hln	[new file with mode: 0644]	blob
helm/software/lambda-delta/text/txt.ml	[new file with mode: 0644]	blob
helm/software/lambda-delta/text/txtLexer.mll	[new file with mode: 0644]	blob
helm/software/lambda-delta/text/txtParser.mly	[new file with mode: 0644]	blob
helm/software/lambda-delta/toplevel/top.ml		diff \| blob \| history
helm/software/lambda-delta/xml/ld-html-root.xsl		diff \| blob \| history

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

RSS Atom