]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4c157ac) | patch
- the text model now supports invocations of the entity generator (to
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 23 Feb 2010 12:00:26 +0000 (12:00 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 23 Feb 2010 12:00:26 +0000 (12:00 +0000)
commit55d6dde568f1daf1fa6902428bda7caec147375a
treea0b60a4807aa822971ffc4511565aab870a32ac5tree | snapshot
parent4c157ac5c58f34fffc98289c2d2e71032d584a83commit | diff
- the text model now supports invocations of the entity generator (to
be implemented)
- the XML objects can be exported to a specified directory (via the -x
command line option)
12 files changed:
helm/software/lambda-delta/Makefile 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/complete_rg/crgTxt.ml diff | blob | history
helm/software/lambda-delta/examples/exp_math/L.hln diff | blob | history
helm/software/lambda-delta/examples/exp_math/Makefile diff | blob | history
helm/software/lambda-delta/examples/exp_math/T0.hln diff | blob | history
helm/software/lambda-delta/examples/exp_math/preamble.hln 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/toplevel/top.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.