]> 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
1. interface of replace generalized to patterns
[helm.git] / helm / ocaml / cic_disambiguation /
2005-06-27 Claudio Sacerdoti... A few other tactics made available to matita. tree | commitdiff
2005-06-27 Claudio Sacerdoti... New argument (the identifier) to generalize. tree | commitdiff
2005-06-27 Claudio Sacerdoti... New argument (the hypothesis name) for cut. tree | commitdiff
2005-06-27 Enrico Tassisupport for _ in binders, and a more coplex pattern... tree | commitdiff
2005-06-27 Claudio Sacerdoti... More tactics or tactic arguments made available to... tree | commitdiff
2005-06-27 Claudio Sacerdoti... More tactics are now available to matita. tree | commitdiff
2005-06-27 Enrico Tassifixed LApply pretty printing tree | commitdiff
2005-06-25 Ferruccio Guidifirs wrking (?) version of lapply tree | commitdiff
2005-06-24 Claudio Sacerdoti... Asts generalized: a lot of tactics where restricted... tree | commitdiff
2005-06-23 Claudio Sacerdoti... The discriminate tactic accepts a term, not only an... tree | commitdiff
2005-06-23 Claudio Sacerdoti... 1 .Tactic generalize ported to patterns and activated... tree | commitdiff
2005-06-17 Enrico Tassiconcrete syntax for goal patterns tree | commitdiff
2005-06-17 Claudio Sacerdoti... more strings to UriManager.uri tree | commitdiff
2005-06-17 Claudio Sacerdoti... many strings that are supposed to be URIs are now UriMa... tree | commitdiff
2005-06-15 Claudio Sacerdoti... The `Record class now records also the name of the... tree | commitdiff
2005-06-15 Claudio Sacerdoti... Bug fixed: parsing errors were ignored by matitac since... tree | commitdiff
2005-06-15 Ferruccio Guidibeginning of the tactics lapply and fwd tree | commitdiff
2005-06-15 Claudio Sacerdoti... Big commit and major code clean-up: tree | commitdiff
2005-06-14 Claudio Sacerdoti... * no more %% comments tree | commitdiff
2005-06-14 Claudio Sacerdoti... parentheses allowed inside comments tree | commitdiff
2005-06-14 Claudio Sacerdoti... test_lexer and test_parser compiled by default tree | commitdiff
2005-06-14 Enrico Tassiremoved ocaml-pxp tree | commitdiff
2005-06-10 Enrico Tassiadded records tree | commitdiff
2005-06-10 Claudio Sacerdoti... The type of the left parameters of an inductive type... tree | commitdiff
2005-06-10 Claudio Sacerdoti... The user is no longer obliged to give the types for... tree | commitdiff
2005-06-10 Claudio Sacerdoti... More debugging infos. tree | commitdiff
2005-06-08 Claudio Sacerdoti... The type of a top-level "let rec" can be optional. tree | commitdiff
2005-06-08 Claudio Sacerdoti... New syntax (again) for let rec binders: tree | commitdiff
2005-06-08 Claudio Sacerdoti... New lighter syntax for "let rec". tree | commitdiff
2005-06-08 Claudio Sacerdoti... Bug fixed: a symbol must be formed of just one (unicode... tree | commitdiff
2005-06-07 Enrico Tassiadded syntax for letin tree | commitdiff
2005-06-07 Enrico Tassichanged match syntax: tree | commitdiff
2005-06-01 Enrico Tassipaths trough terms implemented with a nice hack :) tree | commitdiff
2005-06-01 Enrico Tassifixed intro. tree | commitdiff
2005-05-31 Enrico Tassifixed comments tree | commitdiff
2005-05-27 Stefano Zacchirolicommented out no longer needed macros Redo, Undo, Abort tree | commitdiff
2005-05-27 Enrico Tassiremoved debug prerr_endline tree | commitdiff
2005-05-26 Stefano Zacchirolifixed issue with explicit named substitutions tree | commitdiff
2005-05-25 Stefano Zacchirolibugfix: "match" now works also when no type is provided... tree | commitdiff
2005-05-25 Enrico Tassi\lambda x.x y ----> \lambda x.(x y) tree | commitdiff
2005-05-24 Enrico Tassifixed precedence of \to tree | commitdiff
2005-05-24 Enrico Tassifixed syntax tree | commitdiff
2005-05-19 Enrico Tassifix tree | commitdiff
2005-05-17 Enrico Tassifixed Whelp stuff tree | commitdiff
2005-05-16 Enrico Tassiadded comments tree | commitdiff
2005-05-06 Enrico Tassiadded syntax for rewrite (TODO no rewrite-in-Hyp syntax) tree | commitdiff
2005-05-03 Enrico Tassiadded instance tree | commitdiff
2005-05-02 Enrico Tassiattached auto tree | commitdiff
2005-05-02 Enrico Tassiadded ast for Match tree | commitdiff
2005-04-29 Enrico TassiUniverseInconsistency is now wrapper by CicRefine.type_... tree | commitdiff
2005-04-29 Enrico Tassicatched UniverseInconsistency tree | commitdiff
2005-04-28 Enrico Tassimoved "hint" from Command to Macro tree | commitdiff
2005-04-27 Stefano Zacchirolimerged changes from the svn fork by me and Enrico tree | commitdiff
2005-04-22 Stefano Zacchirolimade context and metasenv parameters of trivial disambi... tree | commitdiff
2005-04-22 Stefano Zacchiroliadded Trivial module with a disambiguate_term implement... tree | commitdiff
2005-04-21 Stefano Zacchirolisplit precedence level of binders: \lambda has higher... tree | commitdiff
2005-04-21 Stefano Zacchiroli(hopefully) final decision on precedence levels: tree | commitdiff
2005-04-20 Stefano Zacchirolichanged binding strength of some parsing entries: tree | commitdiff
2005-02-10 Stefano Zacchiroliadapted to optional comment lexer interface tree | commitdiff
2005-02-10 Stefano Zacchiroli- fix in intro parsing tree | commitdiff
2005-02-04 Stefano Zacchiroliparameterized lexer so that comment tokens could be... tree | commitdiff
2005-02-01 Stefano Zacchirolienriched error message tree | commitdiff
2005-02-01 Enrico Tassireverder change. no more owner passed to the locate. tree | commitdiff
2005-02-01 Enrico Tassiadded owner support to the disambiguator (now locate... tree | commitdiff
2005-02-01 Enrico TassiAdded Coer/Coercions print_kind tree | commitdiff
2005-01-31 Enrico Tassiadded basedir and improved let{rec} syntax tree | commitdiff
2005-01-31 Enrico Tassibetter debug prints tree | commitdiff
2005-01-25 Enrico Tassi- removed applyStylesheets tree | commitdiff
2005-01-21 Enrico Tassi- Changed ApplyTransformation API to return both the... tree | commitdiff
2005-01-21 Stefano Zacchirolisyntax changes: "." at the end of the phrase instead... tree | commitdiff
2005-01-21 Stefano Zacchiroliattributes support tree | commitdiff
2005-01-20 Stefano Zacchiroliadded URI concrete syntax tree | commitdiff
2005-01-20 Stefano Zacchiroliadded cmdline alias "command" for "tactica" tree | commitdiff
2005-01-18 Stefano Zacchiroliadded script support tree | commitdiff
2005-01-18 Stefano Zacchiroliadded latex style comment, with start token "%%" tree | commitdiff
2005-01-17 Enrico Tassinew cicEnvironment implementation tree | commitdiff
2005-01-11 Stefano Zacchiroliadded syntax for URIs tree | commitdiff
2004-12-09 Stefano Zacchiroli(first) complete implementation of (mutual) (co)inducti... tree | commitdiff
2004-12-09 Stefano Zacchiroli- enriched Parse_error exception with error location tree | commitdiff
2004-12-01 Enrico TassiAdded universes handling. The PRE_UNIVERSES tag may... tree | commitdiff
2004-11-15 Stefano Zacchirolichanged reduction tactics ast tree | commitdiff
2004-11-11 Stefano Zacchiroliadded dummy entry in CicAst: UserInput tree | commitdiff
2004-11-10 Stefano Zacchirolidisabled debugging info tree | commitdiff
2004-11-10 Stefano Zacchiroliparse Baseuri command tree | commitdiff
2004-11-03 Stefano Zacchirolino longer use Dbi module but directly use Mysql module... tree | commitdiff
2004-11-03 Stefano Zacchiroliadded Auto parsing tree | commitdiff
2004-10-22 Stefano Zacchiroli- no longer depends on MQueryMisc for term_of_uri tree | commitdiff
2004-10-22 Stefano Zacchiroli- use CicUtil.term_of_uri instead of deprecated HelmLib... tree | commitdiff
2004-10-22 Stefano Zacchiroli- bugfix: sequences like ".(" are now lexed, correctly, as tree | commitdiff
2004-10-22 Stefano Zacchiroliuse helm-cic_textual_parser2 findlib package when build... tree | commitdiff
2004-10-11 Stefano Zacchirolimoved utf8 macro handling to the new module Utf8Macros tree | commitdiff
2004-10-04 Stefano Zacchiroli- removed mandatory parens for application tree | commitdiff
2004-10-04 Stefano Zacchiroli"in" and "and" are now keywords tree | commitdiff
2004-09-09 Stefano Zacchiroliported to pxp 1.1.95's event parser tree | commitdiff
2004-08-05 Stefano Zacchiroliported location handling to camlp4 3.08 tree | commitdiff
2004-07-01 Stefano Zacchiroliadded (commented) benchmarking code for the disambiguat... tree | commitdiff
2004-06-28 Andrea Aspertiuse get_obj to retrieve cic objects instead of typecheck tree | commitdiff
2004-06-01 Enrico Tassinew universes implementation tree | commitdiff
2004-05-13 Ferruccio Guidi- some code patched tree | commitdiff
2004-05-04 Stefano Zacchiroli- moved up in the grammar precedences command entry... tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.