]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a580ff5) | patch
- we now add the kernel options in the preamble of the URI hierarchy
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 5 Jan 2010 19:13:40 +0000 (19:13 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 5 Jan 2010 19:13:40 +0000 (19:13 +0000)
commit3f6af93003bef461be59c8d4c96009c631f0c2e7
tree8bbb3a944235e876e887bf7ec3efdd7fceae7960tree | snapshot
parenta580ff5c627c4148cdd3649ead20f4fac0f78be8commit | diff
- we now add the kernel options in the preamble of the URI hierarchy
- we now quote the identifiers by default to make them NMTOKENS but we added a command line option to disable this quoting (it can be time consuming)
helm/software/lambda-delta/Makefile diff | blob | history
helm/software/lambda-delta/Makefile.common diff | blob | history
helm/software/lambda-delta/automath/autLexer.mll diff | blob | history
helm/software/lambda-delta/basic_ag/bag.ml diff | blob | history
helm/software/lambda-delta/basic_rg/brg.ml diff | blob | history
helm/software/lambda-delta/basic_rg/brgOutput.ml diff | blob | history
helm/software/lambda-delta/complete_rg/crg.ml diff | blob | history
helm/software/lambda-delta/complete_rg/crgAut.ml 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.