]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5280ec9) | patch
- ld-html-root: ported to permanent lambda-delta url
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 2 Jan 2011 15:47:01 +0000 (15:47 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 2 Jan 2011 15:47:01 +0000 (15:47 +0000)
commitfa5cd121c672589afc0ac8ddd5d184897a38c7c6
treec39c5f301bd6cdbc25fb13a5f2cf6702d42d3139tree | snapshot
parent5280ec9794de75e63ffc01bddf1756ebcca02be0commit | diff
- ld-html-root: ported to permanent lambda-delta url
- ld.dtd: we can specify a language encoding for the metalinguistic
annotation, moreover we export the metalinguistic classification
- the other files are modified in order to support this feature
12 files changed:
helm/software/lambda-delta/Makefile.common diff | blob | history
helm/software/lambda-delta/src/automath/autCrg.ml diff | blob | history
helm/software/lambda-delta/src/common/entity.ml diff | blob | history
helm/software/lambda-delta/src/complete_rg/crgOutput.ml diff | blob | history
helm/software/lambda-delta/src/text/txt.ml diff | blob | history
helm/software/lambda-delta/src/text/txtCrg.ml diff | blob | history
helm/software/lambda-delta/src/text/txtLexer.mll diff | blob | history
helm/software/lambda-delta/src/text/txtParser.mly diff | blob | history
helm/software/lambda-delta/src/xml/xmlLibrary.ml diff | blob | history
helm/software/lambda-delta/src/xml/xmlLibrary.mli diff | blob | history
helm/software/lambda-delta/xml/ld-html-root.xsl diff | blob | history
helm/software/lambda-delta/xml/ld.dtd diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.