]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_disambiguation
s/List.find.../CicUtil.lookup_meta/
[helm.git] / helm / ocaml / cic_disambiguation /
2004-01-27 Ferruccio Guidiopt goal fixed
2004-01-27 Andrea Aspertitest for empty string given, if so return Environment...
2004-01-27 Stefano Zacchirolisample aliases language
2004-01-24 Stefano Zacchiroli- factorized DisambiguateChoices module
2004-01-24 Stefano Zacchirolisplit a term0 rule for dinamycally change top-level...
2004-01-24 Stefano Zacchirolicollapsed parens in a singol token
2004-01-24 Stefano Zacchiroliadded tex notation
2004-01-24 Stefano Zacchirolitex notation for compatibility with texTermEditor
2004-01-23 Stefano Zacchiroliported to new module names
2004-01-23 Stefano Zacchirolihandle Cic.Anonymous
2004-01-23 Stefano Zacchirolirenamed modules so that they are more consistent with...
2004-01-23 Stefano Zacchiroliimplemented interface for gTopLevel
2004-01-23 Stefano Zacchirolimoved term_of_uri in cic/
2004-01-22 Stefano Zacchiroliadded false test
2004-01-22 Stefano Zacchiroliadded some match examples/regtests
2004-01-22 Stefano Zacchirolilocated parse error message
2004-01-22 Stefano Zacchiroli- bugfix: raise an Invalid_choice insteda of a generic...
2004-01-19 Stefano Zacchirolisnapshot, almost working
2004-01-14 Stefano Zacchirolistill a working copy, now towards a cleaner implementat...
2003-12-15 Stefano Zacchirolinew experimental cic textual parser: checkin