projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
2012-08-27 Wilmer RicciottiEnd of copy.ma commit | commitdiff | tree | snapshot
2012-08-25 Ferruccio Guidiupdate of logo completed! commit | commitdiff | tree | snapshot
2012-08-25 Ferruccio Guidistill updating ... commit | commitdiff | tree | snapshot
2012-08-25 Ferruccio Guidiwe are updating the logo of lambda_delta ... commit | commitdiff | tree | snapshot
2012-08-24 Ferruccio Guidisample table for character classes commit | commitdiff | tree | snapshot
2012-08-24 Ferruccio Guidi- Makefile update commit | commitdiff | tree | snapshot
2012-08-24 Ferruccio Guidi- renaming complete commit | commitdiff | tree | snapshot
2012-08-24 Ferruccio Guidisome renaming ... commit | commitdiff | tree | snapshot
2012-08-23 Ferruccio Guidiwe updated the contribution porting it to the new matit... commit | commitdiff | tree | snapshot
2012-08-22 Claudio Sacerdoti... Preliminary work on (co)inductive types. commit | commitdiff | tree | snapshot
2012-08-15 Wilmer Ricciottiprogress commit | commitdiff | tree | snapshot
2012-08-09 Wilmer RicciottiWork in progress. commit | commitdiff | tree | snapshot
2012-08-08 Wilmer RicciottiAdding GRealize to uni_step. commit | commitdiff | tree | snapshot
2012-08-08 Andrea Aspertiporting to termination commit | commitdiff | tree | snapshot
2012-08-07 Andrea Aspertiguarded realizability commit | commitdiff | tree | snapshot
2012-08-06 Ferruccio Guididependences update commit | commitdiff | tree | snapshot
2012-08-03 Andrea AspertiA compiling version (not complete). commit | commitdiff | tree | snapshot
2012-08-02 Claudio Sacerdoti... Bug fixed: the context generated by l.h.s. binders... commit | commitdiff | tree | snapshot
2012-08-02 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2012-08-02 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2012-08-02 Claudio Sacerdoti... Pretty printing of patterns done almost correctly. commit | commitdiff | tree | snapshot
2012-08-02 Claudio Sacerdoti... Tentative code for Fixpoint. Still to be completed. commit | commitdiff | tree | snapshot
2012-08-02 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2012-08-02 Claudio Sacerdoti... Path fixed. commit | commitdiff | tree | snapshot
2012-08-02 Claudio Sacerdoti... Code extraction branched. commit | commitdiff | tree | snapshot
2012-08-02 Claudio Sacerdoti... Temporary stuff to test code extraction. Running make... commit | commitdiff | tree | snapshot
2012-08-02 Claudio Sacerdoti... 1. Implemented type inference for Fomega to extract... commit | commitdiff | tree | snapshot
2012-08-02 Claudio Sacerdoti... Bugs fixed: commit | commitdiff | tree | snapshot
2012-08-01 Claudio Sacerdoti... Bugs related to pretty printing of names fixed (capital... commit | commitdiff | tree | snapshot
2012-08-01 Claudio Sacerdoti... Tests for code extraction; to be moved elsewhere. commit | commitdiff | tree | snapshot
2012-08-01 Claudio Sacerdoti... Bug fixed: Haskell forces capitalisation. commit | commitdiff | tree | snapshot
2012-08-01 Claudio Sacerdoti... Begin of porting of code extraction to the new Matita. commit | commitdiff | tree | snapshot
2012-07-31 Andrea Aspertiwork in progress commit | commitdiff | tree | snapshot
2012-07-31 Andrea AspertiTermination! commit | commitdiff | tree | snapshot
2012-07-30 Wilmer RicciottiWip commit | commitdiff | tree | snapshot
2012-07-30 Andrea Aspertiwork in progress commit | commitdiff | tree | snapshot
2012-07-29 Ferruccio Guidiupdate in basic_2 commit | commitdiff | tree | snapshot
2012-07-29 Ferruccio Guidi- context free computation for terms and local environments commit | commitdiff | tree | snapshot
2012-07-27 Ferruccio Guidiadditions and corrections to basic_2 commit | commitdiff | tree | snapshot
2012-07-27 Ferruccio Guidi- support for pointwise extensions of a term relation... commit | commitdiff | tree | snapshot
2012-07-27 Wilmer Ricciottiwork in progress commit | commitdiff | tree | snapshot
2012-07-27 Andrea Aspertiwork in progress commit | commitdiff | tree | snapshot
2012-07-26 Ferruccio Guidipolarized binders introduced in basic_2 commit | commitdiff | tree | snapshot
2012-07-26 Ferruccio Guidi- matita: reset_font_size () added after matita.conf... commit | commitdiff | tree | snapshot
2012-07-24 Ferruccio Guidione file was missing ... commit | commitdiff | tree | snapshot
2012-07-23 Ferruccio Guidi- lambda_delta: we updated some notation commit | commitdiff | tree | snapshot
2012-07-22 Ferruccio Guidi- we polarized binders to control zeta reduction commit | commitdiff | tree | snapshot
2012-07-21 Andrea AspertiAn executable version of the tutorial. commit | commitdiff | tree | snapshot
2012-07-20 Wilmer Ricciottiprogress in termination of marks.ma commit | commitdiff | tree | snapshot
2012-07-19 Claudio Sacerdoti... One less warning. commit | commitdiff | tree | snapshot
2012-07-19 Claudio Sacerdoti... Some debugging times exposed. commit | commitdiff | tree | snapshot
2012-07-19 Claudio Sacerdoti... Major speed up improvement after every tactic application. commit | commitdiff | tree | snapshot
2012-07-19 Andrea AspertiFew changes commit | commitdiff | tree | snapshot
2012-07-19 Ferruccio Guidi- intermediate commit to allow debugging of auto tactic... commit | commitdiff | tree | snapshot
2012-07-19 Andrea Aspertiadding tutorial commit | commitdiff | tree | snapshot
2012-07-17 Andrea Aspertiporting to termination commit | commitdiff | tree | snapshot
2012-07-13 Ferruccio Guidi- we added a time specification in the generated web... commit | commitdiff | tree | snapshot
2012-07-13 Ferruccio Guidimore symbols added for lambda_delta commit | commitdiff | tree | snapshot
2012-07-13 Ferruccio Guidi- dynamic type assignment dismissed for now commit | commitdiff | tree | snapshot
2012-07-10 matitawebcommit by user mkmluser commit | commitdiff | tree | snapshot
2012-07-10 matitawebcommit by user mkmluser commit | commitdiff | tree | snapshot
2012-07-10 matitawebcommit by user mkmluser commit | commitdiff | tree | snapshot
2012-07-09 matitawebmanual commit commit | commitdiff | tree | snapshot
2012-07-08 matitawebbug fixes commit | commitdiff | tree | snapshot
2012-07-06 matitawebreverted to previous version (plus anchors) commit | commitdiff | tree | snapshot
2012-07-06 Wilmer Ricciottiadded tick.png commit | commitdiff | tree | snapshot
2012-07-06 Wilmer RicciottiAdded NotationPt.name_of_obj. commit | commitdiff | tree | snapshot
2012-07-06 Wilmer RicciottiCosmetic changes. commit | commitdiff | tree | snapshot
2012-07-06 Wilmer RicciottiBug fixing + cosmetic changes commit | commitdiff | tree | snapshot
2012-07-06 Wilmer Ricciottimanual commit after active hyperlinks commit | commitdiff | tree | snapshot
2012-07-06 Wilmer Ricciottimanual commit | commitdiff | tree | snapshot
2012-07-06 Wilmer Ricciotticommit by user utente commit | commitdiff | tree | snapshot
2012-07-03 Wilmer RicciottiMatitaweb: several improvements in the UI. commit | commitdiff | tree | snapshot
2012-07-03 Wilmer RicciottiMatitaweb: opening a file resets the status. commit | commitdiff | tree | snapshot
2012-06-29 Claudio Sacerdoti... Bug fixed: arguments of a match are (no longer...)... commit | commitdiff | tree | snapshot
2012-06-28 Andrea AspertiNew spec. for advance_both_marks commit | commitdiff | tree | snapshot
2012-06-28 Andrea Aspertiworking on termination commit | commitdiff | tree | snapshot
2012-06-27 Andrea Aspertiremoved a duplicate commit | commitdiff | tree | snapshot
2012-06-27 Andrea AspertiClosed all axioms in turing (but not universal). commit | commitdiff | tree | snapshot
2012-06-21 Wilmer RicciottiHyperlink support. commit | commitdiff | tree | snapshot
2012-06-20 Ferruccio Guidian addition to basic_2 commit | commitdiff | tree | snapshot
2012-06-20 Ferruccio Guidi- star.ma: constructor inj of star conflicts with previ... commit | commitdiff | tree | snapshot
2012-06-18 Andrea Aspertiadv_to_mark_l commit | commitdiff | tree | snapshot
2012-06-18 Andrea Asperticlosing a few axioms commit | commitdiff | tree | snapshot
2012-06-15 Ferruccio Guidiadditions to basic_2 commit | commitdiff | tree | snapshot
2012-06-15 Ferruccio Guidi- relation between native type and atomic arity proced commit | commitdiff | tree | snapshot
2012-06-15 Andrea Aspertimiddot notation commit | commitdiff | tree | snapshot
2012-06-12 Andrea Aspertiadding match_machines and removing trans_to_tuples commit | commitdiff | tree | snapshot
2012-06-12 Andrea Aspertiseveral changes commit | commitdiff | tree | snapshot
2012-06-11 Claudio Sacerdoti... Reindented commit | commitdiff | tree | snapshot
2012-06-11 Claudio Sacerdoti... New nohyps option for /demod/ commit | commitdiff | tree | snapshot
2012-06-08 Claudio Sacerdoti... New flags for demod: commit | commitdiff | tree | snapshot
2012-06-08 Andrea Aspertimove_char.ma commit | commitdiff | tree | snapshot
2012-06-08 Andrea Aspertimerging of char_move_c and char_move_l commit | commitdiff | tree | snapshot
2012-06-08 Andrea AspertiA recompiling version commit | commitdiff | tree | snapshot
2012-06-08 Andrea AspertiDropping a coercion and some hints due to conflicts... commit | commitdiff | tree | snapshot
2012-06-08 Andrea AspertiModifications and refactoring commit | commitdiff | tree | snapshot
2012-06-08 Claudio Sacerdoti... Msg reporting via HLogger in the error window made... commit | commitdiff | tree | snapshot
2012-06-07 Claudio Sacerdoti... Patch to avoid generating _inv_ind_recTX for X the... commit | commitdiff | tree | snapshot
2012-06-07 Claudio Sacerdoti... Sys.Break no longer catched commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.