]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/contribs/LAMBDA-TYPES
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
a) update with upstream version
[helm.git] / helm / software / matita / contribs / LAMBDA-TYPES /
2008-07-12 Ferruccio Guidilibrarian: retrieval of buildable files speeded up... tree | commitdiff
2008-07-04 Ferruccio Guidi- Procedural: bug fix in rendering the application... tree | commitdiff
2008-07-02 Ferruccio Guidi- new tactic applyP for use in the *P*rocedural script... tree | commitdiff
2008-07-01 Ferruccio Guidi- lambda-delta: some speed up (not very much :) actually) tree | commitdiff
2008-06-22 Ferruccio Guidi- grafiteParser.ml: the callback invocation was displaced tree | commitdiff
2008-06-19 Ferruccio Guidi- Procedural: we now check that an eliminator opens... tree | commitdiff
2008-05-27 Enrico Tassi... tree | commitdiff
2008-05-27 Enrico Tassismarter lexer needed by lambda-delta that is splitting... tree | commitdiff
2008-05-26 Ferruccio Guidi- some bugs fixed in the domain-based preorders on... tree | commitdiff
2008-03-23 Ferruccio GuidicicNotationPp: fixed letin syntax (now typeless) tree | commitdiff
2008-03-22 Enrico Tassifreescale moved under contribs. contribs made relocatable tree | commitdiff
2008-03-20 Ferruccio GuidiBase-2 is not compiling properly and is excluded for now tree | commitdiff
2008-03-19 Ferruccio GuidiProcedural : added some missing cases tree | commitdiff
2008-03-18 Ferruccio GuidiLAMBDA-TYPES: level 2 dependences are now correct,... tree | commitdiff
2008-03-18 Ferruccio GuidiProcedural : tentative update to the new letin cic... tree | commitdiff
2008-03-09 Ferruccio GuidiLAMBDA-TYPES: some more generation lemmas and some... tree | commitdiff
2008-03-05 Ferruccio Guidisome corrections and additions tree | commitdiff
2008-03-04 Ferruccio Guidicomponents/library: dotdothack removed tree | commitdiff
2008-02-29 Ferruccio Guidiwe added the classic substitution function tree | commitdiff
2008-02-26 Ferruccio GuidiLAMBDA-TYPES: added wf3 (legal context predicate); tree | commitdiff
2008-02-24 Ferruccio Guidi$(H) added :) tree | commitdiff
2008-02-24 Ferruccio GuidiLAMBDA-TYPES: dependences calculation improved tree | commitdiff
2008-02-23 Ferruccio GuidiLAMBDA-TYPES: tree | commitdiff
2008-02-22 Ferruccio Guidi- added some options to matitadep: -stdout and -exclude tree | commitdiff
2008-02-21 Ferruccio Guidisvn:ignores fixed tree | commitdiff
2008-02-20 Ferruccio Guidi-onepass option removed from Makefile to comile Base... tree | commitdiff
2008-02-20 Ferruccio GuidiLambdaDelta-1 regenerated as a subdevel ov LAMBDA-TYPES tree | commitdiff
2008-02-19 Ferruccio Guididependences needed a fix :) tree | commitdiff
2008-02-19 Ferruccio Guidiwe are moving the devel root one dir level up tree | commitdiff
2008-02-13 Ferruccio Guidibaseuris removed from files tree | commitdiff
2008-02-13 Ferruccio Guidifixed dependences tree | commitdiff
2008-02-13 Ferruccio Guidirenaming tree | commitdiff
2008-02-13 Ferruccio Guidirenaming tree | commitdiff
2008-02-12 Ferruccio Guidirenaming tree | commitdiff
2008-02-12 Ferruccio Guidiregeneration with new results tree | commitdiff
2008-02-12 Enrico Tassifixed path for matitadep tree | commitdiff
2008-01-10 Enrico TassiBIG FAT WARNING: DEVELOPMENTS DIE HERE tree | commitdiff
2007-11-10 Ferruccio Guidiold subst tactics removed. New destruct tactic used... tree | commitdiff
2007-11-07 Ferruccio Guidi- bug fix in destruct tree | commitdiff
2007-10-13 Ferruccio Guidi- some new auxiliary lemmas tree | commitdiff
2007-09-22 Ferruccio Guidi- system flag now forks for matitadep too tree | commitdiff
2007-09-13 Ferruccio Guidithe published devels must be removed from the tests tree | commitdiff
2007-09-11 Ferruccio GuidilibrarySync - we do not generate the object attributes... tree | commitdiff
2007-09-05 Ferruccio Guidi- matitaInit matitaprover matitadep matitamake: tree | commitdiff
2007-07-26 Ferruccio Guidimakefiles updated tree | commitdiff
2007-07-25 Ferruccio Guidimakefile updated tree | commitdiff
2007-07-25 Ferruccio Guidimatitac: We do not generate the .moo and .lexicon of... tree | commitdiff
2007-07-23 Ferruccio Guidiautobatch parameters reajusted tree | commitdiff
2007-07-14 Ferruccio Guidinew definitions and new theorems tree | commitdiff
2007-06-26 Ferruccio Guidisome old auto yurned into autobatch tree | commitdiff
2007-05-25 Enrico Tassiauto --> autobatch tree | commitdiff
2007-05-20 Ferruccio GuidiapplyTransformation: added debugging information tree | commitdiff
2007-05-18 Ferruccio Guidi- new devel contribs/LAMBDA-TYPES/Base-2 with the autom... tree | commitdiff
2007-04-28 Ferruccio GuidiAMBDA-TYPES: some improvements. subst now fully exploited tree | commitdiff
2007-04-27 Ferruccio GuidiLAMBDA-TYPES: some improvements tree | commitdiff
2007-04-17 Enrico TassiRT_BASEDIR changed to a sensible path tree | commitdiff
2007-02-19 Ferruccio GuidiUnified-Sub: lift_comm completed tree | commitdiff
2007-02-17 Ferruccio Guidicontribs: some improvements tree | commitdiff
2007-02-15 Ferruccio Guidicontribs: some improvements tree | commitdiff
2007-02-14 Ferruccio Guidisome improvements tree | commitdiff
2007-02-12 Ferruccio Guidiunified: some theorems on Lift started tree | commitdiff
2007-02-11 Ferruccio GuidiUnified: INC and BEq removed tree | commitdiff
2007-02-08 Claudio Sacerdoti... * 'default "equality"' command changed to consider... tree | commitdiff
2007-02-08 Ferruccio Guididevelopments fixup tree | commitdiff
2007-02-08 Ferruccio GuidiUnified refactored tree | commitdiff
2007-02-08 Ferruccio Guididefinitions fixup tree | commitdiff
2007-02-07 Ferruccio Guidirefactoring tree | commitdiff
2007-02-07 Ferruccio GuidiLevel-1 refactored tree | commitdiff
2007-02-07 Ferruccio Guidirefactoring tree | commitdiff
2007-02-07 Ferruccio Guidirefactoring tree | commitdiff
2007-02-02 Ferruccio Guidiadded preamble file in LambdaDelta and improved theory... tree | commitdiff
2007-02-02 Ferruccio GuidiThe baseuris changed tree | commitdiff
2007-02-01 Ferruccio GuidiLevel-1: regenerated with differnt baseuris tree | commitdiff
2007-01-24 Ferruccio Guiditactics.mli: regenerated tree | commitdiff
2007-01-22 Ferruccio Guidisome patches tree | commitdiff
2007-01-19 Ferruccio GuidiUnified: refactoring tree | commitdiff
2007-01-18 Ferruccio GuidiUnified: refactoring tree | commitdiff
2007-01-18 Ferruccio GuidiUnified refactoring tree | commitdiff
2007-01-18 Ferruccio GuidiUnified: refactoring tree | commitdiff
2007-01-10 Ferruccio Guidiattributes now in the proof status: commit 4 tree | commitdiff
2006-12-22 Ferruccio Guidilegacy development created tree | commitdiff
2006-12-22 Ferruccio Guidi- sc3/props.ma sc3/arity.ma: dependences fixed tree | commitdiff
2006-12-21 Enrico Tassiadded some missing includes tree | commitdiff
2006-12-09 Ferruccio Guidiwe exported some inversors from coq tree | commitdiff
2006-12-08 Ferruccio Guidinew makefiles tree | commitdiff
2006-12-07 Ferruccio Guidinew theorems added. does not comile well yet :(( proble... tree | commitdiff
2006-12-01 Ferruccio Guidiprova.ma: baseuri fixed tree | commitdiff
2006-10-29 Ferruccio GuidiLevel-1/LambdaDelta now compiles fine tree | commitdiff
2006-10-25 Ferruccio Guiditill some patches tree | commitdiff
2006-10-25 Ferruccio Guidithe incomplete proofs were axiomatized tree | commitdiff
2006-10-25 Ferruccio Guidisome patches. still does not compile properly tree | commitdiff
2006-10-25 Claudio Sacerdoti... /home/fguidi/... => ../../... tree | commitdiff
2006-10-25 Ferruccio Guidiwe removed about 100 match-with costruction turning... tree | commitdiff
2006-10-17 Ferruccio Guidinew objects for the LambdaDelta development (4th conjec... tree | commitdiff
2006-10-17 Ferruccio Guidimore new objects for the LambdaDelta contribution tree | commitdiff
2006-10-12 Ferruccio Guidifiles with newest objects (to be included in the respec... tree | commitdiff
2006-10-10 Ferruccio Guidimakefiles fixups tree | commitdiff
2006-10-10 Claudio Sacerdoti... fguidi removed from RT in makefiles tree | commitdiff
2006-09-18 Ferruccio Guidilast problem elegantly resolved! tree | commitdiff
2006-09-15 Ferruccio Guidiuseless files removed tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.