]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_disambiguation
added cast rendering (used in check window by gTopLevel/matita)
[helm.git] / helm / ocaml / cic_disambiguation /
2005-01-20 Stefano Zacchiroliadded URI concrete syntax
2005-01-20 Stefano Zacchiroliadded cmdline alias "command" for "tactica"
2005-01-18 Stefano Zacchiroliadded script support
2005-01-18 Stefano Zacchiroliadded latex style comment, with start token "%%"
2005-01-17 Enrico Tassinew cicEnvironment implementation
2005-01-11 Stefano Zacchiroliadded syntax for URIs
2004-12-09 Stefano Zacchiroli(first) complete implementation of (mutual) (co)inducti...
2004-12-09 Stefano Zacchiroli- enriched Parse_error exception with error location
2004-12-01 Enrico TassiAdded universes handling. The PRE_UNIVERSES tag may...
2004-11-15 Stefano Zacchirolichanged reduction tactics ast
2004-11-11 Stefano Zacchiroliadded dummy entry in CicAst: UserInput
2004-11-10 Stefano Zacchirolidisabled debugging info
2004-11-10 Stefano Zacchiroliparse Baseuri command
2004-11-03 Stefano Zacchirolino longer use Dbi module but directly use Mysql module...
2004-11-03 Stefano Zacchiroliadded Auto parsing
2004-10-22 Stefano Zacchiroli- no longer depends on MQueryMisc for term_of_uri
2004-10-22 Stefano Zacchiroli- use CicUtil.term_of_uri instead of deprecated HelmLib...
2004-10-22 Stefano Zacchiroli- bugfix: sequences like ".(" are now lexed, correctly, as
2004-10-22 Stefano Zacchiroliuse helm-cic_textual_parser2 findlib package when build...
2004-10-11 Stefano Zacchirolimoved utf8 macro handling to the new module Utf8Macros
2004-10-04 Stefano Zacchiroli- removed mandatory parens for application
2004-10-04 Stefano Zacchiroli"in" and "and" are now keywords
2004-09-09 Stefano Zacchiroliported to pxp 1.1.95's event parser
2004-08-05 Stefano Zacchiroliported location handling to camlp4 3.08
2004-07-01 Stefano Zacchiroliadded (commented) benchmarking code for the disambiguat...
2004-06-28 Andrea Aspertiuse get_obj to retrieve cic objects instead of typecheck
2004-06-01 Enrico Tassinew universes implementation
2004-05-13 Ferruccio Guidi- some code patched
2004-05-04 Stefano Zacchiroli- moved up in the grammar precedences command entry...
2004-04-30 Stefano Zacchiroli- moved command as sub-entries of tactical grammars...
2004-04-29 Stefano Zacchiroli- added a configuration variable for selecting between...
2004-04-28 Stefano Zacchiroliadded extra "id" parameter for input_or_locate_uri...
2004-04-28 Stefano Zacchiroli- split logic operators away from aritmetic ones so...
2004-04-23 Enrico TassiUniverses introduction
2004-04-22 Stefano Zacchiroliadded (and used) some type shorthands
2004-04-22 Stefano Zacchiroli- added some type shorthands
2004-04-22 Stefano Zacchirolirebuit
2004-04-19 Stefano Zacchiroliuse PxpHelmConf
2004-04-01 Stefano Zacchiroliremoved an out of date comment
2004-03-26 Claudio Sacerdoti... tex notation enabled
2004-03-22 Stefano Zacchirolicosmetic alignment change
2004-03-22 Claudio Sacerdoti... - power notation
2004-03-05 Claudio Sacerdoti... Refine now raises only RefineFailure, AssertFailure...
2004-03-05 Claudio Sacerdoti... Debugging code removed.
2004-03-02 Stefano Zacchiroli- ported to latest CicAst.Ident format (Some [] <>...
2004-03-02 Stefano Zacchiroliadded cast concrete syntax
2004-03-02 Claudio Sacerdoti... The disambiguation now returns a list of interpretations.
2004-02-26 Stefano Zacchiroliadded support for commands and scripts
2004-02-26 Stefano Zacchiroliadded vim modeline for encoding=utf8
2004-02-26 Claudio Sacerdoti... ...
2004-02-26 Claudio Sacerdoti... eqT removed.
2004-02-24 Stefano Zacchiroliadded binary {positive,integer} notation
2004-02-24 Claudio Sacerdoti... Porting URIs to V8.0.
2004-02-24 Claudio Sacerdoti... Partial porting to V8 URIs.
2004-02-23 Stefano Zacchirolibugfix in "elim ... using" tactical ("using" is a keyword)
2004-02-23 Stefano Zacchiroliadded a lot of notation: arithmetic operators, relation...
2004-02-20 Stefano Zacchirolibugfix: "in" is an IDENT, not a keyword
2004-02-19 Andrea AspertiMinor modification in test_parser (to use the new prett...
2004-02-18 Stefano Zacchiroli- bugfix in term grammar: lowered precedence level...
2004-02-18 Stefano Zacchirolicatch parse error exception and show them to the user...
2004-02-17 Stefano Zacchiroliadded tactic and tactical (still heavily bugged!!!)
2004-02-16 Stefano Zacchirolisolved a precedence issue between binders and arrows
2004-02-16 Stefano Zacchirolido not use tex notation per default (used only by tex...
2004-02-16 Stefano Zacchiroliuse BoxPp
2004-02-13 Stefano Zacchiroliinductive type ident optional in mutcase
2004-02-11 Stefano Zacchiroliported to new logger
2004-02-10 Claudio Sacerdoti... Explicit Named Substitutions now supported.
2004-02-10 Stefano Zacchiroliadded "'" as a valid (continuation) identifier character
2004-02-09 Stefano Zacchirolino longer use marshalled table for unicode macros
2004-02-09 Stefano Zacchiroliuse CicAstPp
2004-02-06 Stefano Zacchiroliadded annotations to Cic.Implicit
2004-02-05 Stefano Zacchirolibugfix: use rev_uniq also on non-located term
2004-02-05 Stefano Zacchiroliuse a dummy location when no location is provided
2004-02-05 Stefano Zacchiroliadded ( ) notation for binders
2004-02-05 Claudio Sacerdoti... Added a TODO (to catch only the right exceptions instea...
2004-02-04 Stefano Zacchiroliported to CicAst
2004-02-04 Stefano Zacchiroli- sorted domain which hopefully avoids exponential...
2004-02-04 Stefano Zacchirolimoved Ast in cic_transformations/
2004-02-04 Stefano Zacchiroli- added support for implicit in concrete syntax
2004-02-03 Stefano Zacchirolis/LocatedTerm/AnnotatedTerm + various annotations/
2004-02-03 Claudio Sacerdoti... More debug informations.
2004-02-02 Claudio Sacerdoti... Substitution no longer returned from CicRefine.type_of_aux
2004-02-02 Stefano Zacchiroliported to latest Ast changes (mainly capture_variable...
2004-02-02 Stefano Zacchiroli- added entries for capture variables parsing
2004-02-02 Stefano Zacchiroli- added capture_variable entry and Cic.names here and...
2004-02-02 Stefano Zacchiroli- changed ast for pattern matching so that type annotat...
2004-01-30 Stefano Zacchiroli- typo bugfix: INT token no longer exists
2004-01-30 Stefano Zacchiroli- removed ancient refine exception
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
next