| 2005-09-21 |
Stefano Zacchiroli | rebuilt |
tree | commitdiff |
| 2005-09-21 |
Claudio Sacerdoti... | All the debug_print are now lazy. |
tree | commitdiff |
| 2005-09-20 |
Stefano Zacchiroli | changed ast representation of exists |
tree | commitdiff |
| 2005-09-20 |
Stefano Zacchiroli | pretty printing of literals is now subject to the debug... |
tree | commitdiff |
| 2005-09-20 |
Stefano Zacchiroli | changed ast representation of exists, now an 'exists... |
tree | commitdiff |
| 2005-09-20 |
Stefano Zacchiroli | bugfix 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 Zacchiroli | more refere to bindings in env type definition |
tree | commitdiff |
| 2005-09-20 |
Enrico Tassi | added 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 Zacchiroli | done some items |
tree | commitdiff |
| 2005-09-14 |
Stefano Zacchiroli | added hyperlinks on case pattern heads and outtype |
tree | commitdiff |
| 2005-09-13 |
Stefano Zacchiroli | fixed "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 Zacchiroli | Filled pre-generated notation levels with productions... |
tree | commitdiff |
| 2005-09-12 |
Stefano Zacchiroli | done some items |
tree | commitdiff |
| 2005-09-12 |
Stefano Zacchiroli | commented Record type constructor |
tree | commitdiff |
| 2005-09-08 |
Stefano Zacchiroli | implemented lazy disambiguation of tactics arguments... |
tree | commitdiff |
| 2005-09-06 |
Stefano Zacchiroli | bugfix: avoid losing attributes on boxes which have... |
tree | commitdiff |
| 2005-09-06 |
Stefano Zacchiroli | removed dead code |
tree | commitdiff |
| 2005-09-06 |
Stefano Zacchiroli | added {get,set}_attr |
tree | commitdiff |
| 2005-09-06 |
Stefano Zacchiroli | added {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 Zacchiroli | use uniform naming for referencing cicNotation* modules |
tree | commitdiff |
| 2005-09-05 |
Stefano Zacchiroli | removed tedious debugging message |
tree | commitdiff |
| 2005-09-05 |
Stefano Zacchiroli | avoid 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 Zacchiroli | added pretty printing of unicode symbols to TeX like... |
tree | commitdiff |
| 2005-07-28 |
Stefano Zacchiroli | added attributes re-factoring item |
tree | commitdiff |
| 2005-07-28 |
Stefano Zacchiroli | workaround for an assertion failure during rendering... |
tree | commitdiff |
| 2005-07-27 |
Stefano Zacchiroli | *** empty log message *** |
tree | commitdiff |
| 2005-07-27 |
Stefano Zacchiroli | bugfix: added xref on ast built via pattern matching... |
tree | commitdiff |
| 2005-07-27 |
Stefano Zacchiroli | bugfix: no more xref on bound names |
tree | commitdiff |
| 2005-07-27 |
Stefano Zacchiroli | added low level rendering attributes (indent, spacing... |
tree | commitdiff |
| 2005-07-27 |
Stefano Zacchiroli | rendering from markup to string |
tree | commitdiff |
| 2005-07-27 |
Stefano Zacchiroli | improved debugging pretty printing of xref |
tree | commitdiff |
| 2005-07-26 |
Stefano Zacchiroli | typo s/\\OF/\\of/ |
tree | commitdiff |
| 2005-07-26 |
Stefano Zacchiroli | fixed 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 Zacchiroli | implemented transformations on top of notation code |
tree | commitdiff |
| 2005-07-22 |
Alberto Griggio | added optional "paramodulation" parameter to auto to... |
tree | commitdiff |
| 2005-07-19 |
Ferruccio Guidi | the decompose tactic is now working |
tree | commitdiff |
| 2005-07-19 |
Stefano Zacchiroli | handled difference associativity for the same level... |
tree | commitdiff |
| 2005-07-18 |
Stefano Zacchiroli | - synced notation pretty printing with parsing syntax |
tree | commitdiff |
| 2005-07-18 |
Stefano Zacchiroli | merged cic_notation with disambiguation: good luck! |
tree | commitdiff |
| 2005-07-14 |
Stefano Zacchiroli | snapshot, notably: |
tree | commitdiff |
| 2005-07-14 |
Luca Padovani | * added group box (?) |
tree | commitdiff |
| 2005-07-13 |
Stefano Zacchiroli | added XmlAttrs attribute for specification of xml attri... |
tree | commitdiff |
| 2005-07-13 |
Stefano Zacchiroli | bugfix: "LPAREN" vs LPAREN |
tree | commitdiff |
| 2005-07-13 |
Stefano Zacchiroli | snapshot |
tree | commitdiff |
| 2005-07-12 |
Luca Padovani | snapshot |
tree | commitdiff |
| 2005-07-11 |
Luca Padovani | * implemented unless |
tree | commitdiff |
| 2005-07-11 |
Luca Padovani | * added backtracking in matching code (hairy code!) |
tree | commitdiff |
| 2005-07-11 |
Luca Padovani | * various bug fix related to the environment returned... |
tree | commitdiff |
| 2005-07-09 |
Stefano Zacchiroli | built test_{lexer,parser} per default |
tree | commitdiff |
| 2005-07-08 |
Stefano Zacchiroli | snapshot |
tree | commitdiff |
| 2005-07-08 |
Stefano Zacchiroli | snapshot |
tree | commitdiff |
| 2005-07-06 |
Claudio Sacerdoti... | -rectypes missing for native code compilation |
tree | commitdiff |
| 2005-07-05 |
Stefano Zacchiroli | snapshot |
tree | commitdiff |
| 2005-07-05 |
Stefano Zacchiroli | snapshot |
tree | commitdiff |
| 2005-06-17 |
Claudio Sacerdoti... | more strings to UriManager.uri |
tree | commitdiff |
| 2005-06-08 |
Stefano Zacchiroli | snapshot (minor changes) |
tree | commitdiff |
| 2005-06-07 |
Luca Padovani | * generate list elements in correct order |
tree | commitdiff |
| 2005-06-07 |
Stefano Zacchiroli | added integration entry |
tree | commitdiff |
| 2005-06-07 |
Stefano Zacchiroli | snapshort |
tree | commitdiff |
| 2005-06-06 |
Luca Padovani | * update |
tree | commitdiff |
| 2005-06-06 |
Luca Padovani | * more to do |
tree | commitdiff |
| 2005-06-05 |
Luca Padovani | * added todo file |
tree | commitdiff |
| 2005-06-04 |
Stefano Zacchiroli | snapshot (first version with working pattern matching... |
tree | commitdiff |
| 2005-06-04 |
Stefano Zacchiroli | snapshot |
tree | commitdiff |
| 2005-06-02 |
Stefano Zacchiroli | snapshot (added typed environment in 2 -> 1 conversion) |
tree | commitdiff |
| 2005-06-02 |
Stefano Zacchiroli | snapshot (first working implementation of parttern... |
tree | commitdiff |
| 2005-05-31 |
Stefano Zacchiroli | snapshot (ported to new "typed" ids_to_inner_sort table) |
tree | commitdiff |
| 2005-05-31 |
Stefano Zacchiroli | snapshot (first version with [apparently] working mappi... |
tree | commitdiff |
| 2005-05-31 |
Stefano Zacchiroli | snapshot (the thing on the doorstep) |
tree | commitdiff |
| 2005-05-27 |
Stefano Zacchiroli | refactored modules structure |
tree | commitdiff |
| 2005-05-27 |
Stefano Zacchiroli | * fold left/right implemented |
tree | commitdiff |
| 2005-05-27 |
Stefano Zacchiroli | snapshot |
tree | commitdiff |
| 2005-05-26 |
Stefano Zacchiroli | snapshot |
tree | commitdiff |
| 2005-05-25 |
Stefano Zacchiroli | multiple bindings inside OPT supported |
tree | commitdiff |
| 2005-05-25 |
Stefano Zacchiroli | snapshot (first version in which some extensions work... |
tree | commitdiff |
| 2005-05-25 |
Stefano Zacchiroli | snapshot |
tree | commitdiff |
| 2005-05-24 |
Enrico Tassi | fixed missing -syntax when using ocamlopt |
tree | commitdiff |
| 2005-05-23 |
Stefano Zacchiroli | added rule to generate camlp4 expansion of cicNotationP... |
tree | commitdiff |
| 2005-05-23 |
Stefano Zacchiroli | snapshot |
tree | commitdiff |
| 2005-05-23 |
Stefano Zacchiroli | snapshot |
tree | commitdiff |
| 2005-05-19 |
Stefano Zacchiroli | unified grammars and lexers in a single one |
tree | commitdiff |
| 2005-05-18 |
Stefano Zacchiroli | snapshot (implemented level 3 grammar) |
tree | commitdiff |
| 2005-05-18 |
Stefano Zacchiroli | snapshot, notably: |
tree | commitdiff |
| 2005-05-17 |
Stefano Zacchiroli | snapshot, notably: |
tree | commitdiff |
| 2005-05-17 |
Stefano Zacchiroli | first check-in of cic_notation |
tree | commitdiff |
|
projects / helm.git / history