]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_disambiguation/cicTextualParser2.ml
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
made executable again
[helm.git] / helm / ocaml / cic_disambiguation / cicTextualParser2.ml
2005-07-18 Stefano Zacchiroli- removed old parser commit | commitdiff
2005-07-08 Enrico Tassiadded Variant theorem flavour commit | commitdiff
2005-07-07 Claudio Sacerdoti... Bug fixed: uris can contain '-' (e.g. cic:/Sophia-Antip... commit | commitdiff
2005-07-06 Claudio Sacerdoti... 1. tactical "try_tacticals" renamed to "first" commit | commitdiff
2005-07-06 Claudio Sacerdoti... * Bug fixed: "tac." was parsed as Seq [tac] commit | commitdiff
2005-07-05 Ferruccio Guidiname specifications added for elim_intros, elim_intros_... commit | commitdiff
2005-07-04 Claudio Sacerdoti... New command default "foo" uri1 ... urin commit | commitdiff
2005-07-04 Claudio Sacerdoti... "include" command implemented. commit | commitdiff
2005-07-01 Enrico Tassion is now a keyword (needed in let rec) commit | commitdiff
2005-07-01 Claudio Sacerdoti... Syntax of patterns changed again to make it non-ambiguous: commit | commitdiff
2005-06-30 Claudio Sacerdoti... The pattern of a fold cannot have the "wanted" part... commit | commitdiff
2005-06-30 Claudio Sacerdoti... Signature and concrete syntax of fold fixed. commit | commitdiff
2005-06-30 Ferruccio Guidilapply and fwd improved commit | commitdiff
2005-06-30 Claudio Sacerdoti... 1. rewrite_* and rewrite_back_* merged into one function commit | commitdiff
2005-06-29 Claudio Sacerdoti... 1. new syntax for patterns: commit | commitdiff
2005-06-28 Enrico Tassiadded Drop commit | commitdiff
2005-06-28 Claudio Sacerdoti... New argument for LApply: the ident for the generated... commit | commitdiff
2005-06-27 Claudio Sacerdoti... A few other tactics made available to matita. commit | commitdiff
2005-06-27 Claudio Sacerdoti... New argument (the identifier) to generalize. commit | commitdiff
2005-06-27 Claudio Sacerdoti... New argument (the hypothesis name) for cut. commit | commitdiff
2005-06-27 Enrico Tassisupport for _ in binders, and a more coplex pattern... commit | commitdiff
2005-06-27 Claudio Sacerdoti... More tactics or tactic arguments made available to... commit | commitdiff
2005-06-27 Claudio Sacerdoti... More tactics are now available to matita. commit | commitdiff
2005-06-27 Enrico Tassifixed LApply pretty printing commit | commitdiff
2005-06-25 Ferruccio Guidifirs wrking (?) version of lapply commit | commitdiff
2005-06-24 Claudio Sacerdoti... Asts generalized: a lot of tactics where restricted... commit | commitdiff
2005-06-23 Claudio Sacerdoti... The discriminate tactic accepts a term, not only an... commit | commitdiff
2005-06-23 Claudio Sacerdoti... 1 .Tactic generalize ported to patterns and activated... commit | commitdiff
2005-06-17 Enrico Tassiconcrete syntax for goal patterns commit | commitdiff
2005-06-17 Claudio Sacerdoti... more strings to UriManager.uri commit | commitdiff
2005-06-15 Claudio Sacerdoti... Bug fixed: parsing errors were ignored by matitac since... commit | commitdiff
2005-06-15 Ferruccio Guidibeginning of the tactics lapply and fwd commit | commitdiff
2005-06-15 Claudio Sacerdoti... Big commit and major code clean-up: commit | commitdiff
2005-06-10 Enrico Tassiadded records commit | commitdiff
2005-06-10 Claudio Sacerdoti... The type of the left parameters of an inductive type... commit | commitdiff
2005-06-10 Claudio Sacerdoti... The user is no longer obliged to give the types for... commit | commitdiff
2005-06-08 Claudio Sacerdoti... The type of a top-level "let rec" can be optional. commit | commitdiff
2005-06-08 Claudio Sacerdoti... New syntax (again) for let rec binders: commit | commitdiff
2005-06-08 Claudio Sacerdoti... New lighter syntax for "let rec". commit | commitdiff
2005-06-07 Enrico Tassiadded syntax for letin commit | commitdiff
2005-06-07 Enrico Tassichanged match syntax: commit | commitdiff
2005-06-01 Enrico Tassipaths trough terms implemented with a nice hack :) commit | commitdiff
2005-06-01 Enrico Tassifixed intro. commit | commitdiff
2005-05-27 Stefano Zacchirolicommented out no longer needed macros Redo, Undo, Abort commit | commitdiff
2005-05-27 Enrico Tassiremoved debug prerr_endline commit | commitdiff
2005-05-26 Stefano Zacchirolifixed issue with explicit named substitutions commit | commitdiff
2005-05-25 Enrico Tassi\lambda x.x y ----> \lambda x.(x y) commit | commitdiff
2005-05-24 Enrico Tassifixed precedence of \to commit | commitdiff
2005-05-24 Enrico Tassifixed syntax commit | commitdiff
2005-05-17 Enrico Tassifixed Whelp stuff commit | commitdiff
2005-05-16 Enrico Tassiadded comments commit | commitdiff
2005-05-06 Enrico Tassiadded syntax for rewrite (TODO no rewrite-in-Hyp syntax) commit | commitdiff
2005-05-03 Enrico Tassiadded instance commit | commitdiff
2005-05-02 Enrico Tassiattached auto commit | commitdiff
2005-05-02 Enrico Tassiadded ast for Match commit | commitdiff
2005-04-28 Enrico Tassimoved "hint" from Command to Macro commit | commitdiff
2005-04-27 Stefano Zacchirolimerged changes from the svn fork by me and Enrico commit | commitdiff
2005-04-21 Stefano Zacchirolisplit precedence level of binders: \lambda has higher... commit | commitdiff
2005-04-21 Stefano Zacchiroli(hopefully) final decision on precedence levels: commit | commitdiff
2005-04-20 Stefano Zacchirolichanged binding strength of some parsing entries: commit | commitdiff
2005-02-10 Stefano Zacchiroli- fix in intro parsing commit | commitdiff
2005-02-04 Stefano Zacchiroliparameterized lexer so that comment tokens could be... commit | commitdiff
2005-02-01 Enrico TassiAdded Coer/Coercions print_kind commit | commitdiff
2005-01-31 Enrico Tassiadded basedir and improved let{rec} syntax commit | commitdiff
2005-01-25 Enrico Tassi- removed applyStylesheets commit | commitdiff
2005-01-21 Enrico Tassi- Changed ApplyTransformation API to return both the... commit | commitdiff
2005-01-21 Stefano Zacchirolisyntax changes: "." at the end of the phrase instead... commit | commitdiff
2005-01-20 Stefano Zacchiroliadded URI concrete syntax commit | commitdiff
2005-01-18 Stefano Zacchiroliadded script support commit | commitdiff
2004-12-09 Stefano Zacchiroli(first) complete implementation of (mutual) (co)inducti... commit | commitdiff
2004-12-09 Stefano Zacchiroli- enriched Parse_error exception with error location commit | commitdiff
2004-11-15 Stefano Zacchirolichanged reduction tactics ast commit | commitdiff
2004-11-10 Stefano Zacchiroliparse Baseuri command commit | commitdiff
2004-11-03 Stefano Zacchiroliadded Auto parsing commit | commitdiff
2004-10-22 Stefano Zacchiroli- use CicUtil.term_of_uri instead of deprecated HelmLib... commit | commitdiff
2004-10-11 Stefano Zacchirolimoved utf8 macro handling to the new module Utf8Macros commit | commitdiff
2004-10-04 Stefano Zacchiroli- removed mandatory parens for application commit | commitdiff
2004-08-05 Stefano Zacchiroliported location handling to camlp4 3.08 commit | commitdiff
2004-05-04 Stefano Zacchiroli- moved up in the grammar precedences command entry... commit | commitdiff
2004-04-30 Stefano Zacchiroli- moved command as sub-entries of tactical grammars... commit | commitdiff
2004-04-29 Stefano Zacchiroli- added a configuration variable for selecting between... commit | commitdiff
2004-04-28 Stefano Zacchiroli- split logic operators away from aritmetic ones so... commit | commitdiff
2004-03-22 Stefano Zacchirolicosmetic alignment change commit | commitdiff
2004-03-22 Claudio Sacerdoti... - power notation commit | commitdiff
2004-03-02 Stefano Zacchiroli- ported to latest CicAst.Ident format (Some [] <>... commit | commitdiff
2004-03-02 Stefano Zacchiroliadded cast concrete syntax commit | commitdiff
2004-02-26 Stefano Zacchiroliadded support for commands and scripts commit | commitdiff
2004-02-23 Stefano Zacchirolibugfix in "elim ... using" tactical ("using" is a keyword) commit | commitdiff
2004-02-23 Stefano Zacchiroliadded a lot of notation: arithmetic operators, relation... commit | commitdiff
2004-02-20 Stefano Zacchirolibugfix: "in" is an IDENT, not a keyword commit | commitdiff
2004-02-18 Stefano Zacchiroli- bugfix in term grammar: lowered precedence level... commit | commitdiff
2004-02-17 Stefano Zacchiroliadded tactic and tactical (still heavily bugged!!!) commit | commitdiff
2004-02-16 Stefano Zacchirolisolved a precedence issue between binders and arrows commit | commitdiff
2004-02-13 Stefano Zacchiroliinductive type ident optional in mutcase commit | commitdiff
2004-02-05 Stefano Zacchiroliadded ( ) notation for binders commit | commitdiff
2004-02-04 Stefano Zacchiroli- added support for implicit in concrete syntax commit | commitdiff
2004-02-03 Stefano Zacchirolis/LocatedTerm/AnnotatedTerm + various annotations/ commit | commitdiff
2004-02-02 Stefano Zacchiroli- added entries for capture variables parsing commit | commitdiff
2004-01-30 Stefano Zacchiroli- typo bugfix: INT token no longer exists commit | commitdiff
2004-01-27 Andrea Aspertitest for empty string given, if so return Environment... commit | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.