]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_notation
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
ocaml 3.09 transition
[helm.git] / helm / ocaml / cic_notation /
2005-11-22 Stefano Zacchirolisupport pretty printing of Cic.Implicit tree | commitdiff
2005-11-21 Stefano Zacchirolisplit to easy inclusion tree | commitdiff
2005-11-21 Stefano Zacchirolitypo tree | commitdiff
2005-11-21 Stefano Zacchirolifixed URI regexp so that URIs containing '-' are allowed tree | commitdiff
2005-11-18 Stefano Zacchiroliadded support for enabling/disabling (pretty printing... tree | commitdiff
2005-11-15 Stefano Zacchirolibetter output formatting tree | commitdiff
2005-11-15 Stefano Zacchiroliremoved grammar rule which used to enable things linke... tree | commitdiff
2005-11-15 Enrico Tassifixed self and removed more DUMMY... only one left tree | commitdiff
2005-11-15 Enrico Tassiadded print_grammar tree | commitdiff
2005-11-15 Enrico Tassiremoved duplicate entry tree | commitdiff
2005-11-07 Claudio Sacerdoti... Syntactic change: tree | commitdiff
2005-11-04 Stefano Zacchiroliligature expansion now considers also tex macros tree | commitdiff
2005-11-04 Stefano Zacchiroliadded ligatures expansion support functions tree | commitdiff
2005-11-04 Stefano Zacchirolibetter distinction of (* *) and (** *) comments tree | commitdiff
2005-10-27 Claudio Sacerdoti... ... tree | commitdiff
2005-10-26 Stefano Zacchiroliimproved Makefile tree | commitdiff
2005-10-25 Claudio Sacerdoti... Syntax change: tree | commitdiff
2005-10-25 Stefano Zacchirolinew tacticals tree | commitdiff
2005-10-10 Stefano Zacchiroliadded level2 <-> level3 transformations tree | commitdiff
2005-10-06 Stefano Zacchiroliignore usual *tex crap tree | commitdiff
2005-10-06 Stefano Zacchiroliadded Makefile tree | commitdiff
2005-10-06 Stefano Zacchirolicompleted instantiatian of level 2 patterns from level 1 tree | commitdiff
2005-10-05 Stefano Zacchiroliadded metadata "commands" tree | commitdiff
2005-10-05 Stefano Zacchiroliuncommented find_cic_appl_pattern_uris tree | commitdiff
2005-10-03 Luca Padovaniincomplete snapshot .... tree | commitdiff
2005-10-02 Luca Padovani* well-formedness constraints tree | commitdiff
2005-10-02 Luca Padovani* added well-formedness rules for level 2 patterns tree | commitdiff
2005-10-01 Luca Padovani* added pattern matching of level 2 terms tree | commitdiff
2005-09-29 Luca Padovani* required for the blob icon tree | commitdiff
2005-09-29 Luca Padovani* added concrete syntax for level 2 tree | commitdiff
2005-09-29 Luca Padovani* snapshot tree | commitdiff
2005-09-29 Luca Padovani* required for texing it tree | commitdiff
2005-09-29 Luca Padovani+ well-formedness of level 1 patterns tree | commitdiff
2005-09-28 Luca Padovani* first version of the specification tree | commitdiff
2005-09-28 Stefano Zacchirolibetter precedence handling, should remove useless parens tree | commitdiff
2005-09-27 Stefano Zacchirolichanged precedence/associativeness handling: relative... tree | commitdiff
2005-09-27 Stefano Zacchiroliadded/exported pp_pos & pp_attribute tree | commitdiff
2005-09-27 Stefano Zacchirolimore fine grained debug printing tree | commitdiff
2005-09-27 Stefano Zacchirolichanged type of ids_to_uris table to (Cic.id, UriManage... tree | commitdiff
2005-09-27 Stefano ZacchiroliBetter handling of idref propagation, no more Href... tree | commitdiff
2005-09-26 Stefano Zacchirolifixed typo tree | commitdiff
2005-09-26 Stefano Zacchirolistrip heading '\' on Mo s tree | commitdiff
2005-09-26 Stefano Zacchiroliremoved some dead code tree | commitdiff
2005-09-26 Alberto Griggionew signature of auto_tac, with a new optional argument... tree | commitdiff
2005-09-26 Stefano Zacchirolibugfix: reash uris embedded in cic appl patterns tree | commitdiff
2005-09-26 Stefano Zacchiroliadded magic numbers tree | commitdiff
2005-09-23 Claudio Sacerdoti... New module HMysql (to abstract over Mysql and make... tree | commitdiff
2005-09-23 Claudio Sacerdoti... ... tree | commitdiff
2005-09-23 Stefano Zacchiroliavoid generating useless parens in mathml contextes... tree | commitdiff
2005-09-23 Stefano Zacchiroliremoved a line of dead code tree | commitdiff
2005-09-23 Stefano Zacchiroliavoid pattern matching on attributed terms since this... tree | commitdiff
2005-09-23 Enrico Tassiadded universes tree | commitdiff
2005-09-22 Claudio Sacerdoti... '!' is no longer a decorator (to allow a reasonable... tree | commitdiff
2005-09-21 Stefano Zacchiroliadded ligatures support tree | commitdiff
2005-09-21 Stefano Zacchirolirebuilt tree | commitdiff
2005-09-21 Claudio Sacerdoti... All the debug_print are now lazy. tree | commitdiff
2005-09-20 Stefano Zacchirolichanged ast representation of exists tree | commitdiff
2005-09-20 Stefano Zacchirolipretty printing of literals is now subject to the debug... tree | commitdiff
2005-09-20 Stefano Zacchirolichanged ast representation of exists, now an 'exists... tree | commitdiff
2005-09-20 Stefano Zacchirolibugfix in default magic handling: consider as having... tree | commitdiff
2005-09-20 Stefano Zacchiroli- bugfix: eta abstractions ignores attributed node... tree | commitdiff
2005-09-20 Stefano Zacchirolimore refere to bindings in env type definition tree | commitdiff
2005-09-20 Enrico Tassiadded a minimal parser to extract informations relevant... tree | commitdiff
2005-09-19 Stefano Zacchiroli- bugfix: when backtracking restore the appropriate... tree | commitdiff
2005-09-14 Stefano Zacchirolidone some items tree | commitdiff
2005-09-14 Stefano Zacchiroliadded hyperlinks on case pattern heads and outtype tree | commitdiff
2005-09-13 Stefano Zacchirolifixed "let .. in" rendering, adding the break between... tree | commitdiff
2005-09-12 Claudio Sacerdoti... core_notation.ma ==> core_notation.moo tree | commitdiff
2005-09-12 Stefano Zacchiroli- exported CPS iterator visit_magic tree | commitdiff
2005-09-12 Stefano ZacchiroliFilled pre-generated notation levels with productions... tree | commitdiff
2005-09-12 Stefano Zacchirolidone some items tree | commitdiff
2005-09-12 Stefano Zacchirolicommented Record type constructor tree | commitdiff
2005-09-08 Stefano Zacchiroliimplemented lazy disambiguation of tactics arguments... tree | commitdiff
2005-09-06 Stefano Zacchirolibugfix: avoid losing attributes on boxes which have... tree | commitdiff
2005-09-06 Stefano Zacchiroliremoved dead code tree | commitdiff
2005-09-06 Stefano Zacchiroliadded {get,set}_attr tree | commitdiff
2005-09-06 Stefano Zacchiroliadded {get,set,pp}_attr tree | commitdiff
2005-09-05 Claudio Sacerdoti... New change in patterns: the pattern "in H" is now inter... tree | commitdiff
2005-09-05 Stefano Zacchiroliuse uniform naming for referencing cicNotation* modules tree | commitdiff
2005-09-05 Stefano Zacchiroliremoved tedious debugging message tree | commitdiff
2005-09-05 Stefano Zacchiroliavoid generating multiple times the same xref/href tree | commitdiff
2005-08-30 Claudio Sacerdoti... CicNotationPres self-reference (misteriously accepted... tree | commitdiff
2005-07-28 Claudio Sacerdoti... New tactic unfold. tree | commitdiff
2005-07-28 Stefano Zacchiroliadded pretty printing of unicode symbols to TeX like... tree | commitdiff
2005-07-28 Stefano Zacchiroliadded attributes re-factoring item tree | commitdiff
2005-07-28 Stefano Zacchiroliworkaround for an assertion failure during rendering... tree | commitdiff
2005-07-27 Stefano Zacchiroli*** empty log message *** tree | commitdiff
2005-07-27 Stefano Zacchirolibugfix: added xref on ast built via pattern matching... tree | commitdiff
2005-07-27 Stefano Zacchirolibugfix: no more xref on bound names tree | commitdiff
2005-07-27 Stefano Zacchiroliadded low level rendering attributes (indent, spacing... tree | commitdiff
2005-07-27 Stefano Zacchirolirendering from markup to string tree | commitdiff
2005-07-27 Stefano Zacchiroliimproved debugging pretty printing of xref tree | commitdiff
2005-07-26 Stefano Zacchirolitypo s/\\OF/\\of/ tree | commitdiff
2005-07-26 Stefano Zacchirolifixed typo in helpers for generating hv and hov boxes tree | commitdiff
2005-07-26 Claudio Sacerdoti... Bug fixed: list_uniq o List.sort used in the lookup... tree | commitdiff
2005-07-25 Stefano Zacchiroliimplemented transformations on top of notation code tree | commitdiff
2005-07-22 Alberto Griggioadded optional "paramodulation" parameter to auto to... tree | commitdiff
2005-07-19 Ferruccio Guidithe decompose tactic is now working tree | commitdiff
2005-07-19 Stefano Zacchirolihandled difference associativity for the same level... tree | commitdiff
2005-07-18 Stefano Zacchiroli- synced notation pretty printing with parsing syntax tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.