]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_disambiguation/cicTextualLexer2.ml
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
made executable again
[helm.git] / helm / ocaml / cic_disambiguation / cicTextualLexer2.ml
2005-07-18 Stefano Zacchiroli- removed old parser commit | commitdiff
2005-07-07 Claudio Sacerdoti... Bug fixed: uris can contain '-' (e.g. cic:/Sophia-Antip... commit | commitdiff
2005-07-05 Ferruccio Guidiname specifications added for elim_intros, elim_intros_... commit | commitdiff
2005-07-01 Enrico Tassion is now a keyword (needed in let rec) commit | commitdiff
2005-06-27 Claudio Sacerdoti... New argument (the hypothesis name) for cut. commit | commitdiff
2005-06-25 Ferruccio Guidifirs wrking (?) version of lapply commit | commitdiff
2005-06-14 Claudio Sacerdoti... * no more %% comments commit | commitdiff
2005-06-14 Claudio Sacerdoti... parentheses allowed inside comments commit | commitdiff
2005-06-08 Claudio Sacerdoti... Bug fixed: a symbol must be formed of just one (unicode... commit | commitdiff
2005-06-01 Enrico Tassipaths trough terms implemented with a nice hack :) commit | commitdiff
2005-05-31 Enrico Tassifixed comments commit | commitdiff
2005-05-16 Enrico Tassiadded comments commit | commitdiff
2005-04-27 Stefano Zacchirolimerged changes from the svn fork by me and Enrico commit | commitdiff
2005-02-04 Stefano Zacchiroliparameterized lexer so that comment tokens could be... commit | commitdiff
2005-01-18 Stefano Zacchiroliadded latex style comment, with start token "%%" commit | commitdiff
2005-01-11 Stefano Zacchiroliadded syntax for URIs commit | commitdiff
2004-10-22 Stefano Zacchiroli- bugfix: sequences like ".(" are now lexed, correctly, as commit | commitdiff
2004-10-11 Stefano Zacchirolimoved utf8 macro handling to the new module Utf8Macros commit | commitdiff
2004-10-04 Stefano Zacchiroli"in" and "and" are now keywords commit | commitdiff
2004-08-05 Stefano Zacchiroliported location handling to camlp4 3.08 commit | commitdiff
2004-02-26 Stefano Zacchiroliadded support for commands and scripts commit | commitdiff
2004-02-10 Stefano Zacchiroliadded "'" as a valid (continuation) identifier character commit | commitdiff
2004-02-09 Stefano Zacchirolino longer use marshalled table for unicode macros commit | commitdiff
2004-02-04 Stefano Zacchiroli- added support for implicit in concrete syntax commit | commitdiff
2004-01-24 Stefano Zacchiroli- factorized DisambiguateChoices module commit | commitdiff
2004-01-24 Stefano Zacchirolicollapsed parens in a singol token commit | commitdiff
2004-01-23 Stefano Zacchirolirenamed modules so that they are more consistent with... commit | commitdiff
Unnamed repository; edit this file 'description' to name the repository.