]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a3b9fc7) | patch
txtLexer: bug fix in parsing the string tokens
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 6 Aug 2010 10:21:49 +0000 (10:21 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 6 Aug 2010 10:21:49 +0000 (10:21 +0000)
commit2b1375e4b44e2ef351a6341a5bb0a4823e8daae5
treeacb61cb21f0a6e0435ebc582af46fd1903f167c3tree | snapshot
parenta3b9fc77770f42070632bcb575546678025e09b2commit | diff
txtLexer: bug fix in parsing the string tokens
library: we now export the "meta" attribute
crgXml: crg exportation factorized and alpha conversion now works
crgBrg: we now mark the abstraction and the reverse translation works
ld.dtd: updated to export crg contents
19 files changed:
helm/software/lambda-delta/.depend.opt diff | blob | history
helm/software/lambda-delta/common/Make diff | blob | history
helm/software/lambda-delta/common/alpha.ml [new file with mode: 0644] blob
helm/software/lambda-delta/common/alpha.mli [new file with mode: 0644] blob
helm/software/lambda-delta/common/entity.ml diff | blob | history
helm/software/lambda-delta/common/library.ml diff | blob | history
helm/software/lambda-delta/common/library.mli diff | blob | history
helm/software/lambda-delta/common/marks.ml [new file with mode: 0644] blob
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/crgBrg.ml diff | blob | history
helm/software/lambda-delta/complete_rg/crgBrg.mli diff | blob | history
helm/software/lambda-delta/complete_rg/crgOutput.ml diff | blob | history
helm/software/lambda-delta/complete_rg/crgOutput.mli diff | blob | history
helm/software/lambda-delta/complete_rg/crgXml.ml [new file with mode: 0644] blob
helm/software/lambda-delta/complete_rg/crgXml.mli [new file with mode: 0644] blob
helm/software/lambda-delta/text/txtLexer.mll diff | blob | history
helm/software/lambda-delta/toplevel/top.ml diff | blob | history
helm/software/lambda-delta/xml/ld.dtd diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.