| 2005-06-10 |
Enrico Tassi | added records pp, ast and fixed a bug in match with... |
tree | commitdiff |
| 2005-06-10 |
Claudio Sacerdoti... | Got rid of a few warnings. |
tree | commitdiff |
| 2005-06-07 |
Stefano Zacchiroli | implemented attributes pretty printing |
tree | commitdiff |
| 2005-06-01 |
Enrico Tassi | paths trough terms implemented with a nice hack :) |
tree | commitdiff |
| 2005-05-31 |
Stefano Zacchiroli | Changed type of ids_to_inner_sort table used in transfo... |
tree | commitdiff |
| 2005-05-27 |
Stefano Zacchiroli | commented out no longer needed macros Redo, Undo, Abort |
tree | commitdiff |
| 2005-05-27 |
Enrico Tassi | removed debug prerr_endline |
tree | commitdiff |
| 2005-05-18 |
Enrico Tassi | fixed some TODO in content2pres |
tree | commitdiff |
| 2005-05-17 |
Enrico Tassi | fixed Whelp stuff |
tree | commitdiff |
| 2005-05-16 |
Enrico Tassi | some hacks to make the sequent window pretty nice |
tree | commitdiff |
| 2005-05-06 |
Enrico Tassi | added syntax for rewrite (TODO no rewrite-in-Hyp syntax) |
tree | commitdiff |
| 2005-05-03 |
Enrico Tassi | fix for instance |
tree | commitdiff |
| 2005-05-02 |
Enrico Tassi | attached auto |
tree | commitdiff |
| 2005-05-02 |
Enrico Tassi | added ast for Match |
tree | commitdiff |
| 2005-04-28 |
Enrico Tassi | moved "hint" from Command to Macro |
tree | commitdiff |
| 2005-04-27 |
Stefano Zacchiroli | merged changes from the svn fork by me and Enrico |
tree | commitdiff |
| 2005-03-09 |
Stefano Zacchiroli | added support for open terms in check |
tree | commitdiff |
| 2005-02-10 |
Stefano Zacchiroli | factorized tacticals separator and terminator |
tree | commitdiff |
| 2005-02-08 |
Stefano Zacchiroli | added boxml namespace |
tree | commitdiff |
| 2005-02-04 |
Stefano Zacchiroli | rebuilt |
tree | commitdiff |
| 2005-02-02 |
Stefano Zacchiroli | - implemented inductive type rendering |
tree | commitdiff |
| 2005-02-01 |
Stefano Zacchiroli | removed useless parameter uri from mml_of_cic_object |
tree | commitdiff |
| 2005-02-01 |
Stefano Zacchiroli | added mathml_ns |
tree | commitdiff |
| 2005-02-01 |
Enrico Tassi | added `Coer print_kind |
tree | commitdiff |
| 2005-02-01 |
Enrico Tassi | cosmetic fix to pp_location |
tree | commitdiff |
| 2005-01-31 |
Enrico Tassi | added Basedir Ast |
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 Zacchiroli | uniformed prototype of mml_of_cic_{object,sequent} |
tree | commitdiff |
| 2005-01-21 |
Stefano Zacchiroli | attributes support (not yet in the pretty printer) |
tree | commitdiff |
| 2005-01-21 |
Stefano Zacchiroli | - attributes support |
tree | commitdiff |
| 2005-01-20 |
Stefano Zacchiroli | rendering fixes: |
tree | commitdiff |
| 2005-01-20 |
Stefano Zacchiroli | - helmns -> helm_ns |
tree | commitdiff |
| 2005-01-20 |
Stefano Zacchiroli | added cast rendering (used in check window by gTopLevel... |
tree | commitdiff |
| 2005-01-18 |
Stefano Zacchiroli | added pp_location (pretty printer of ast location) |
tree | commitdiff |
| 2005-01-17 |
Enrico Tassi | new cicEnvironment implementation |
tree | commitdiff |
| 2005-01-11 |
Stefano Zacchiroli | added syntax for URIs |
tree | commitdiff |
| 2005-01-11 |
Stefano Zacchiroli | added search commands |
tree | commitdiff |
| 2005-01-11 |
Stefano Zacchiroli | - added pack/unpack over AST of terms |
tree | commitdiff |
| 2005-01-11 |
Stefano Zacchiroli | - added pack/unpack over AST of terms |
tree | commitdiff |
| 2004-12-09 |
Stefano Zacchiroli | implemented pretty printer for (mutual) (co)inductive... |
tree | commitdiff |
| 2004-12-09 |
Stefano Zacchiroli | addded inductive definition to AST |
tree | commitdiff |
| 2004-12-01 |
Enrico Tassi | Added universes handling. The PRE_UNIVERSES tag may... |
tree | commitdiff |
| 2004-11-15 |
Stefano Zacchiroli | changed reduction tactics ast |
tree | commitdiff |
| 2004-11-11 |
Stefano Zacchiroli | added dummy entry in CicAst: UserInput |
tree | commitdiff |
| 2004-11-10 |
Stefano Zacchiroli | added Baseuri command |
tree | commitdiff |
| 2004-11-03 |
Stefano Zacchiroli | added Auto and Hint tactic |
tree | commitdiff |
| 2004-11-02 |
Luca Padovani | * substitution are not rendered by default, an action... |
tree | commitdiff |
| 2004-10-22 |
Stefano Zacchiroli | added Hint "tactic" |
tree | commitdiff |
| 2004-10-15 |
Stefano Zacchiroli | removed some old debugging messages |
tree | commitdiff |
| 2004-10-13 |
Stefano Zacchiroli | transformations no longer use Content_expression, but... |
tree | commitdiff |
| 2004-10-13 |
Stefano Zacchiroli | pretty printed Absurd's term |
tree | commitdiff |
| 2004-10-13 |
Stefano Zacchiroli | added term argument to absurd |
tree | commitdiff |
| 2004-10-04 |
Stefano Zacchiroli | added Undo/Redo commands |
tree | commitdiff |
| 2004-10-04 |
Stefano Zacchiroli | - fixed "Blue" vs "blue" typo |
tree | commitdiff |
| 2004-10-04 |
Stefano Zacchiroli | - handle Box.Space in textual pretty printing |
tree | commitdiff |
| 2004-09-28 |
Luca Padovani | * the transformations have been ported so to generate... |
tree | commitdiff |
| 2004-08-05 |
Stefano Zacchiroli | ported location handling to camlp4 3.08 |
tree | commitdiff |
| 2004-08-05 |
Stefano Zacchiroli | fixed some invalid backslash escapes |
tree | commitdiff |
| 2004-05-04 |
Stefano Zacchiroli | removed traliling dot in command pretty printer, now... |
tree | commitdiff |
| 2004-04-30 |
Stefano Zacchiroli | added Abort and Check commands |
tree | commitdiff |
| 2004-04-30 |
Stefano Zacchiroli | embedded commands ast into tacticals ast |
tree | commitdiff |
| 2004-04-29 |
Stefano Zacchiroli | moved here initialization code (previously in gTopLevel... |
tree | commitdiff |
| 2004-04-28 |
Stefano Zacchiroli | added a TODO comment |
tree | commitdiff |
| 2004-04-23 |
Enrico Tassi | Universes introduction |
tree | commitdiff |
| 2004-03-05 |
Claudio Sacerdoti... | \Assign and \subst to match the parser. |
tree | commitdiff |
| 2004-03-05 |
Claudio Sacerdoti... | MutCase branches must be parsed and printed using ... |
tree | commitdiff |
| 2004-03-05 |
Claudio Sacerdoti... | Branch of MutCase must be parsed and printed using... |
tree | commitdiff |
| 2004-03-05 |
Claudio Sacerdoti... | Syntax of explicit named substitions syncronized with... |
tree | commitdiff |
| 2004-03-02 |
Stefano Zacchiroli | differentieted empty substitution list from no substitu... |
tree | commitdiff |
| 2004-02-26 |
Stefano Zacchiroli | added command and script ASTs with _debugging_only_... |
tree | commitdiff |
| 2004-02-24 |
Claudio Sacerdoti... | More uris ported to V8.0. |
tree | commitdiff |
| 2004-02-24 |
Claudio Sacerdoti... | More V8.0 uris. |
tree | commitdiff |
| 2004-02-24 |
Claudio Sacerdoti... | Partial porting to V8 URIs. |
tree | commitdiff |
| 2004-02-23 |
Stefano Zacchiroli | added a space between term and "using" keyword |
tree | commitdiff |
| 2004-02-23 |
Stefano Zacchiroli | commented out a debugging message |
tree | commitdiff |
| 2004-02-23 |
Stefano Zacchiroli | Rinv typo fix |
tree | commitdiff |
| 2004-02-19 |
Andrea Asperti | Adding tacticAst2Box (pretty printer for tactical,... |
tree | commitdiff |
| 2004-02-18 |
Stefano Zacchiroli | fixed cosmetic typos during pretty printing |
tree | commitdiff |
| 2004-02-18 |
Claudio Sacerdoti... | Bug fixed: Helm_registry was used not enough lazily... |
tree | commitdiff |
| 2004-02-17 |
Stefano Zacchiroli | added copyright info |
tree | commitdiff |
| 2004-02-17 |
Stefano Zacchiroli | removed useless Mpresentation module |
tree | commitdiff |
| 2004-02-17 |
Stefano Zacchiroli | moved away tactics and tacticals |
tree | commitdiff |
| 2004-02-17 |
Stefano Zacchiroli | added tactics and tacticals (heavily bugged) |
tree | commitdiff |
| 2004-02-17 |
Claudio Sacerdoti... | Porting of applyStylesheets.ml to Helm_registry. |
tree | commitdiff |
| 2004-02-16 |
Stefano Zacchiroli | - added arrow notation |
tree | commitdiff |
| 2004-02-13 |
Stefano Zacchiroli | inductive type ident optional in mutcase |
tree | commitdiff |
| 2004-02-13 |
Andrea Asperti | new (box based) pretty printer |
tree | commitdiff |
| 2004-02-11 |
Stefano Zacchiroli | ported to helm registry |
tree | commitdiff |
| 2004-02-05 |
Stefano Zacchiroli | added \to notation for anonymous binders Pi and Lambda |
tree | commitdiff |
| 2004-02-04 |
Stefano Zacchiroli | moved here CicAst and pretty printer |
tree | commitdiff |
| 2004-01-26 |
Andrea Asperti | Notation for Case revisited and completed. |
tree | commitdiff |
| 2004-01-22 |
Andrea Asperti | Added all transformations for sequents. |
tree | commitdiff |
| 2003-12-02 |
Ferruccio Guidi | sort CProp added |
tree | commitdiff |
| 2003-10-07 |
Luca Padovani | * removed currified constructors everywhere. A bug... |
tree | commitdiff |
| 2003-09-23 |
Claudio Sacerdoti... | BU_Conversion + omit-conclusion is a mess. I have parti... |
tree | commitdiff |
| 2003-09-13 |
Stefano Zacchiroli | added notation for reals 0, 1, n |
tree | commitdiff |
| 2003-09-05 |
Stefano Zacchiroli | added notation for Ropp and Rinv |
tree | commitdiff |
| 2003-09-05 |
Claudio Sacerdoti... | Notation for Rdiv and Rminus. |
tree | commitdiff |
| 2003-09-05 |
Claudio Sacerdoti... | Debugging infos removed. |
tree | commitdiff |
| next |
projects / helm.git / history