projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
2005-06-07 Enrico Tassiadded letin commit | commitdiff | tree | snapshot
2005-06-07 Enrico Tassiadded syntax for letin commit | commitdiff | tree | snapshot
2005-06-07 Enrico Tassi1) Implemented inference of the outtype for empty induc... commit | commitdiff | tree | snapshot
2005-06-07 Enrico Tassichanged match syntax: commit | commitdiff | tree | snapshot
2005-06-07 Enrico Tassiadded whd to match argument in guarded_by_destructors; commit | commitdiff | tree | snapshot
2005-06-07 Enrico Tassiadded Pp of Cast commit | commitdiff | tree | snapshot
2005-06-07 Stefano Zacchiroliadded integration entry commit | commitdiff | tree | snapshot
2005-06-07 Stefano Zacchirolisnapshort commit | commitdiff | tree | snapshot
2005-06-07 Ferruccio Guidicontrol of dependences improved commit | commitdiff | tree | snapshot
2005-06-07 Alberto Griggio*** empty log message *** commit | commitdiff | tree | snapshot
2005-06-07 Andrea AspertiMy two pennies. commit | commitdiff | tree | snapshot
2005-06-06 Stefano Zacchiroli- set monospace buffer using modify_font widget method commit | commitdiff | tree | snapshot
2005-06-06 Luca Padovani* update commit | commitdiff | tree | snapshot
2005-06-06 Luca Padovani* more to do commit | commitdiff | tree | snapshot
2005-06-05 Luca Padovani* added todo file commit | commitdiff | tree | snapshot
2005-06-04 Stefano Zacchirolisnapshot (first version with working pattern matching... commit | commitdiff | tree | snapshot
2005-06-04 Ferruccio Guidia contribution about subset theory in an intuitionistic... commit | commitdiff | tree | snapshot
2005-06-04 Stefano Zacchirolisnapshot commit | commitdiff | tree | snapshot
2005-06-03 Ferruccio Guidicontribution about \lambda-\delta commit | commitdiff | tree | snapshot
2005-06-02 Stefano Zacchirolisnapshot (added typed environment in 2 -> 1 conversion) commit | commitdiff | tree | snapshot
2005-06-02 Stefano Zacchirolisnapshot (first working implementation of parttern... commit | commitdiff | tree | snapshot
2005-06-01 Enrico Tassifix_escaping commit | commitdiff | tree | snapshot
2005-06-01 Enrico Tassireduce with path commit | commitdiff | tree | snapshot
2005-06-01 Enrico Tassipaths trough terms implemented with a nice hack :) commit | commitdiff | tree | snapshot
2005-06-01 Enrico Tassisome cosmetic fixes commit | commitdiff | tree | snapshot
2005-06-01 Enrico Tassifix commit | commitdiff | tree | snapshot
2005-06-01 Enrico Tassiremoved debug prerr_endline commit | commitdiff | tree | snapshot
2005-06-01 Enrico Tassifixed classical non-C programmer misunderstooding of... commit | commitdiff | tree | snapshot
2005-06-01 Enrico Tassifixed intro. commit | commitdiff | tree | snapshot
2005-06-01 Enrico Tassiadded C.Appl [] case commit | commitdiff | tree | snapshot
2005-05-31 Stefano Zacchirolisnapshot (ported to new "typed" ids_to_inner_sort table) commit | commitdiff | tree | snapshot
2005-05-31 Stefano ZacchiroliChanged type of ids_to_inner_sort table used in transfo... commit | commitdiff | tree | snapshot
2005-05-31 Enrico Tassi added comment commit | commitdiff | tree | snapshot
2005-05-31 Stefano Zacchirolisnapshot (first version with [apparently] working mappi... commit | commitdiff | tree | snapshot
2005-05-31 Enrico Tassiimplemented normalize (used in new_metasenv_for_apply) commit | commitdiff | tree | snapshot
2005-05-31 Enrico Tassifixed width fonts commit | commitdiff | tree | snapshot
2005-05-31 Enrico Tassifixed comments commit | commitdiff | tree | snapshot
2005-05-31 Enrico Tassinew shortcuts commit | commitdiff | tree | snapshot
2005-05-31 Andrea Aspertiadded colors commit | commitdiff | tree | snapshot
2005-05-31 Stefano Zacchirolisnapshot (the thing on the doorstep) commit | commitdiff | tree | snapshot
2005-05-31 Andrea Aspertimore verbose case failure message commit | commitdiff | tree | snapshot
2005-05-31 Andrea Aspertiadded chronometer commit | commitdiff | tree | snapshot
2005-05-31 Andrea Aspertiadded automathic aliases for _ind _rec and _rect when... commit | commitdiff | tree | snapshot
2005-05-31 Andrea Aspertifix commit | commitdiff | tree | snapshot
2005-05-31 Enrico Tassiadded automathic aliases for qed and definition commit | commitdiff | tree | snapshot
2005-05-31 Enrico Tassiadded shortcuts commit | commitdiff | tree | snapshot
2005-05-31 Enrico Tassifix commit | commitdiff | tree | snapshot
2005-05-30 Stefano Zacchiroliadded uri_of_term commit | commitdiff | tree | snapshot
2005-05-30 Enrico Tassimah...matita.ml commit | commitdiff | tree | snapshot
2005-05-30 Andrea Aspertifix commit | commitdiff | tree | snapshot
2005-05-30 Andrea Aspertiadded intros n commit | commitdiff | tree | snapshot
2005-05-30 Andrea Aspertiadded intros n. commit | commitdiff | tree | snapshot
2005-05-30 Andrea Aspertiadded automathic aliases. commit | commitdiff | tree | snapshot
2005-05-27 Stefano Zacchiroli- commented out no longer needed macros Redo, Undo... commit | commitdiff | tree | snapshot
2005-05-27 Stefano Zacchirolifixed otags invocation commit | commitdiff | tree | snapshot
2005-05-27 Stefano Zacchirolicommented out no longer needed macros Redo, Undo, Abort commit | commitdiff | tree | snapshot
2005-05-27 Stefano Zacchiroliadded %.annot rule to create type annotation files commit | commitdiff | tree | snapshot
2005-05-27 Enrico Tassiremoved debug prerr_endline commit | commitdiff | tree | snapshot
2005-05-27 Enrico Tassifixed matitac commit | commitdiff | tree | snapshot
2005-05-27 Stefano Zacchirolirefactored modules structure commit | commitdiff | tree | snapshot
2005-05-27 Stefano Zacchiroli* fold left/right implemented commit | commitdiff | tree | snapshot
2005-05-27 Stefano Zacchirolisnapshot commit | commitdiff | tree | snapshot
2005-05-27 Andrea Asperti1. removed obsolete comments commit | commitdiff | tree | snapshot
2005-05-26 Claudio Sacerdoti... Now the links to 7 pages at a time are shown. Cool. commit | commitdiff | tree | snapshot
2005-05-26 Claudio Sacerdoti... 256 chars max ==> 1024 chars max (because of Coq) commit | commitdiff | tree | snapshot
2005-05-26 Stefano Zacchirolifixed issue with explicit named substitutions commit | commitdiff | tree | snapshot
2005-05-26 Claudio Sacerdoti... Bugs fixed: commit | commitdiff | tree | snapshot
2005-05-26 Stefano Zacchirolisnapshot commit | commitdiff | tree | snapshot
2005-05-25 Stefano Zacchirolimultiple bindings inside OPT supported commit | commitdiff | tree | snapshot
2005-05-25 Stefano Zacchirolibugfix: "match" now works also when no type is provided... commit | commitdiff | tree | snapshot
2005-05-25 Stefano Zacchirolilet rec example commit | commitdiff | tree | snapshot
2005-05-25 Stefano Zacchirolisnapshot (first version in which some extensions work... commit | commitdiff | tree | snapshot
2005-05-25 Ferruccio Guidisome work for Gares commit | commitdiff | tree | snapshot
2005-05-25 Enrico Tassifix commit | commitdiff | tree | snapshot
2005-05-25 Enrico Tassifix commit | commitdiff | tree | snapshot
2005-05-25 Enrico Tassiapply now tries both to reduce and to not reduce the... commit | commitdiff | tree | snapshot
2005-05-25 Enrico Tassi\lambda x.x y ----> \lambda x.(x y) commit | commitdiff | tree | snapshot
2005-05-25 Stefano Zacchirolisnapshot commit | commitdiff | tree | snapshot
2005-05-24 Stefano Zacchiroliclean typo commit | commitdiff | tree | snapshot
2005-05-24 Enrico Tassireverted to == commit | commitdiff | tree | snapshot
2005-05-24 Enrico Tassiadded .theory check commit | commitdiff | tree | snapshot
2005-05-24 Enrico Tassifixed missing -syntax when using ocamlopt commit | commitdiff | tree | snapshot
2005-05-24 Enrico Tassifixed precedence of \to commit | commitdiff | tree | snapshot
2005-05-24 Enrico Tassiadded simpl test script commit | commitdiff | tree | snapshot
2005-05-24 Enrico Tassiadded simpl commit | commitdiff | tree | snapshot
2005-05-24 Enrico Tassifixed syntax commit | commitdiff | tree | snapshot
2005-05-24 Enrico Tassinew simpl semantic (now = and not == since you can... commit | commitdiff | tree | snapshot
2005-05-24 Enrico Tassiadded lost elim_intros_tac commit | commitdiff | tree | snapshot
2005-05-24 Andrea Aspertifix commit | commitdiff | tree | snapshot
2005-05-24 Andrea AspertiAdded a new tactic elim_intros (without simpl of the... commit | commitdiff | tree | snapshot
2005-05-24 Andrea Aspertielim -> elim_intros (no simpl) commit | commitdiff | tree | snapshot
2005-05-23 Claudio Sacerdoti... Added sql/drop_mowgli_tables.mysql.sql commit | commitdiff | tree | snapshot
2005-05-23 Stefano Zacchiroliadded rule to generate camlp4 expansion of cicNotationP... commit | commitdiff | tree | snapshot
2005-05-23 Stefano Zacchirolisnapshot commit | commitdiff | tree | snapshot
2005-05-23 Stefano Zacchirolisnapshot commit | commitdiff | tree | snapshot
2005-05-23 Enrico Tassifixed clean that wasn't returning the right list of... commit | commitdiff | tree | snapshot
2005-05-23 Enrico Tassiadded qed commit | commitdiff | tree | snapshot
2005-05-23 Andrea AspertiAdded andrea.ma commit | commitdiff | tree | snapshot
2005-05-22 Stefano Zacchiroliswitched to cdbs for debian/rules (now 2 lines long... commit | commitdiff | tree | snapshot
2005-05-20 Andrea AspertiWhen we unify a Prod against a term t2 which is not... commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.