]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6d87fb7) | patch
* no more %% comments
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 14 Jun 2005 16:19:09 +0000 (16:19 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 14 Jun 2005 16:19:09 +0000 (16:19 +0000)
commite9e2307fe3477f6179971d16583fd92e74feb3cb
tree2041fad48568fda6ce0962ba266142f8b2b8a466tree | snapshot
parent6d87fb7123730dbd87fa76853489a3c533eed03ecommit | diff
* no more %% comments
* parsed comments must start with "(**b" where b is any blank
  and must be termianted by "*)"
helm/ocaml/cic_disambiguation/cicTextualLexer2.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.