]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_disambiguation
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
added extra "id" parameter for input_or_locate_uri callback
[helm.git] / helm / ocaml / cic_disambiguation /
2004-04-28 Stefano Zacchiroliadded extra "id" parameter for input_or_locate_uri... tree | commitdiff
2004-04-28 Stefano Zacchiroli- split logic operators away from aritmetic ones so... tree | commitdiff
2004-04-23 Enrico TassiUniverses introduction tree | commitdiff
2004-04-22 Stefano Zacchiroliadded (and used) some type shorthands tree | commitdiff
2004-04-22 Stefano Zacchiroli- added some type shorthands tree | commitdiff
2004-04-22 Stefano Zacchirolirebuit tree | commitdiff
2004-04-19 Stefano Zacchiroliuse PxpHelmConf tree | commitdiff
2004-04-01 Stefano Zacchiroliremoved an out of date comment tree | commitdiff
2004-03-26 Claudio Sacerdoti... tex notation enabled tree | commitdiff
2004-03-22 Stefano Zacchirolicosmetic alignment change tree | commitdiff
2004-03-22 Claudio Sacerdoti... - power notation tree | commitdiff
2004-03-05 Claudio Sacerdoti... Refine now raises only RefineFailure, AssertFailure... tree | commitdiff
2004-03-05 Claudio Sacerdoti... Debugging code removed. tree | commitdiff
2004-03-02 Stefano Zacchiroli- ported to latest CicAst.Ident format (Some [] <>... tree | commitdiff
2004-03-02 Stefano Zacchiroliadded cast concrete syntax tree | commitdiff
2004-03-02 Claudio Sacerdoti... The disambiguation now returns a list of interpretations. tree | commitdiff
2004-02-26 Stefano Zacchiroliadded support for commands and scripts tree | commitdiff
2004-02-26 Stefano Zacchiroliadded vim modeline for encoding=utf8 tree | commitdiff
2004-02-26 Claudio Sacerdoti... ... tree | commitdiff
2004-02-26 Claudio Sacerdoti... eqT removed. tree | commitdiff
2004-02-24 Stefano Zacchiroliadded binary {positive,integer} notation tree | commitdiff
2004-02-24 Claudio Sacerdoti... Porting URIs to V8.0. tree | commitdiff
2004-02-24 Claudio Sacerdoti... Partial porting to V8 URIs. tree | commitdiff
2004-02-23 Stefano Zacchirolibugfix in "elim ... using" tactical ("using" is a keyword) tree | commitdiff
2004-02-23 Stefano Zacchiroliadded a lot of notation: arithmetic operators, relation... tree | commitdiff
2004-02-20 Stefano Zacchirolibugfix: "in" is an IDENT, not a keyword tree | commitdiff
2004-02-19 Andrea AspertiMinor modification in test_parser (to use the new prett... tree | commitdiff
2004-02-18 Stefano Zacchiroli- bugfix in term grammar: lowered precedence level... tree | commitdiff
2004-02-18 Stefano Zacchirolicatch parse error exception and show them to the user... tree | commitdiff
2004-02-17 Stefano Zacchiroliadded tactic and tactical (still heavily bugged!!!) tree | commitdiff
2004-02-16 Stefano Zacchirolisolved a precedence issue between binders and arrows tree | commitdiff
2004-02-16 Stefano Zacchirolido not use tex notation per default (used only by tex... tree | commitdiff
2004-02-16 Stefano Zacchiroliuse BoxPp tree | commitdiff
2004-02-13 Stefano Zacchiroliinductive type ident optional in mutcase tree | commitdiff
2004-02-11 Stefano Zacchiroliported to new logger tree | commitdiff
2004-02-10 Claudio Sacerdoti... Explicit Named Substitutions now supported. tree | commitdiff
2004-02-10 Stefano Zacchiroliadded "'" as a valid (continuation) identifier character tree | commitdiff
2004-02-09 Stefano Zacchirolino longer use marshalled table for unicode macros tree | commitdiff
2004-02-09 Stefano Zacchiroliuse CicAstPp tree | commitdiff
2004-02-06 Stefano Zacchiroliadded annotations to Cic.Implicit tree | commitdiff
2004-02-05 Stefano Zacchirolibugfix: use rev_uniq also on non-located term tree | commitdiff
2004-02-05 Stefano Zacchiroliuse a dummy location when no location is provided tree | commitdiff
2004-02-05 Stefano Zacchiroliadded ( ) notation for binders tree | commitdiff
2004-02-05 Claudio Sacerdoti... Added a TODO (to catch only the right exceptions instea... tree | commitdiff
2004-02-04 Stefano Zacchiroliported to CicAst tree | commitdiff
2004-02-04 Stefano Zacchiroli- sorted domain which hopefully avoids exponential... tree | commitdiff
2004-02-04 Stefano Zacchirolimoved Ast in cic_transformations/ tree | commitdiff
2004-02-04 Stefano Zacchiroli- added support for implicit in concrete syntax tree | commitdiff
2004-02-03 Stefano Zacchirolis/LocatedTerm/AnnotatedTerm + various annotations/ tree | commitdiff
2004-02-03 Claudio Sacerdoti... More debug informations. tree | commitdiff
2004-02-02 Claudio Sacerdoti... Substitution no longer returned from CicRefine.type_of_aux tree | commitdiff
2004-02-02 Stefano Zacchiroliported to latest Ast changes (mainly capture_variable... tree | commitdiff
2004-02-02 Stefano Zacchiroli- added entries for capture variables parsing tree | commitdiff
2004-02-02 Stefano Zacchiroli- added capture_variable entry and Cic.names here and... tree | commitdiff
2004-02-02 Stefano Zacchiroli- changed ast for pattern matching so that type annotat... tree | commitdiff
2004-01-30 Stefano Zacchiroli- typo bugfix: INT token no longer exists tree | commitdiff
2004-01-30 Stefano Zacchiroli- removed ancient refine exception tree | commitdiff
2004-01-27 Ferruccio Guidiopt goal fixed tree | commitdiff
2004-01-27 Andrea Aspertitest for empty string given, if so return Environment... tree | commitdiff
2004-01-27 Stefano Zacchirolisample aliases language tree | commitdiff
2004-01-24 Stefano Zacchiroli- factorized DisambiguateChoices module tree | commitdiff
2004-01-24 Stefano Zacchirolisplit a term0 rule for dinamycally change top-level... tree | commitdiff
2004-01-24 Stefano Zacchirolicollapsed parens in a singol token tree | commitdiff
2004-01-24 Stefano Zacchiroliadded tex notation tree | commitdiff
2004-01-24 Stefano Zacchirolitex notation for compatibility with texTermEditor tree | commitdiff
2004-01-23 Stefano Zacchiroliported to new module names tree | commitdiff
2004-01-23 Stefano Zacchirolihandle Cic.Anonymous tree | commitdiff
2004-01-23 Stefano Zacchirolirenamed modules so that they are more consistent with... tree | commitdiff
2004-01-23 Stefano Zacchiroliimplemented interface for gTopLevel tree | commitdiff
2004-01-23 Stefano Zacchirolimoved term_of_uri in cic/ tree | commitdiff
2004-01-22 Stefano Zacchiroliadded false test tree | commitdiff
2004-01-22 Stefano Zacchiroliadded some match examples/regtests tree | commitdiff
2004-01-22 Stefano Zacchirolilocated parse error message tree | commitdiff
2004-01-22 Stefano Zacchiroli- bugfix: raise an Invalid_choice insteda of a generic... tree | commitdiff
2004-01-19 Stefano Zacchirolisnapshot, almost working tree | commitdiff
2004-01-14 Stefano Zacchirolistill a working copy, now towards a cleaner implementat... tree | commitdiff
2003-12-15 Stefano Zacchirolinew experimental cic textual parser: checkin tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.