]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/contribs
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
many fixes to setoids for re, 16.1 almost done
[helm.git] / helm / software / matita / contribs /
2009-06-23 Enrico Tassiremoved problem not in UEQ tree | commitdiff
2009-06-22 denesAdded problems from CASC 208 tree | commitdiff
2009-06-22 denesRegenerated problems with corrected tptp2grafite tree | commitdiff
2009-06-19 Wilmer RicciottiMore improvements. tree | commitdiff
2009-06-18 denesFixed stupid path tree | commitdiff
2009-06-18 denesAdded script useful for running benchmarks tree | commitdiff
2009-06-15 Enrico Tassitacticals are really tactics now, they have an AST... tree | commitdiff
2009-06-12 Enrico Tassi-ng implemented tree | commitdiff
2009-06-11 Ferruccio Guidi- some depend files fixed tree | commitdiff
2009-06-09 Ferruccio Guidi- Procedural: more support for the Debug inline option... tree | commitdiff
2009-06-05 Ferruccio Guidi- Procedural convertible rewrites in the conclusion... tree | commitdiff
2009-06-05 Wilmer Ricciotti- replaced part1a/defn with the version based on induct... tree | commitdiff
2009-06-03 Wilmer RicciottiUpdate, using induction/inversion. tree | commitdiff
2009-06-01 Andrea AspertiThis works for me tree | commitdiff
2009-05-29 Wilmer RicciottiPOPLmark part 1a using the de Bruijn encoding. tree | commitdiff
2009-05-25 Enrico Tassinasty change in the lexer/parser: tree | commitdiff
2009-05-19 Enrico Tassi... tree | commitdiff
2009-05-19 Enrico Tassiregenerated tree | commitdiff
2009-05-19 Enrico Tassisome horn+equality problems tree | commitdiff
2009-05-13 Andrea AspertiVia un'altra linea... tree | commitdiff
2009-05-13 Andrea AspertiSempre piu' breve tree | commitdiff
2009-05-12 Ferruccio Guidi- Procedural: we now reconstruct "let H := v in t"... tree | commitdiff
2009-05-11 Andrea AspertiMore automation tree | commitdiff
2009-05-06 Ferruccio GuidiLAMBDA-TYPES: mma's recommitted because inline syntax... tree | commitdiff
2009-05-06 Ferruccio Guidi- cicUtil: is_sober now detects folded applications tree | commitdiff
2009-05-05 Ferruccio Guidi- hExtlib: new function "list_assoc_all" tree | commitdiff
2009-05-01 Ferruccio Guidi- librarian: 3 bugs fixed in the building system: tree | commitdiff
2009-04-28 Enrico Tassihuge commit in automation: tree | commitdiff
2009-04-27 Ferruccio GuidimatitacLib: bugfix in .moo generation tree | commitdiff
2009-04-22 Ferruccio Guidi- transcript: we have now two styles of mma's from... tree | commitdiff
2009-04-21 Ferruccio Guidi- MatitaMisc: we factorized here the function out_pream... tree | commitdiff
2009-04-16 Ferruccio GuidiProcedural: we corrected two errors about the handling... tree | commitdiff
2009-04-15 Ferruccio Guidi- transcript: bugfix tree | commitdiff
2009-04-14 Ferruccio Guidi- Procedural: generation of "exact" is now complete tree | commitdiff
2009-04-09 Ferruccio Guidi- character: we adjusted some "autobatch" parameters tree | commitdiff
2009-04-06 Ferruccio Guidi- external quantification removed (will be reintroduced... tree | commitdiff
2009-04-06 Ferruccio Guidilimits: reorganized and attached to nightly tests ... tree | commitdiff
2009-04-05 Ferruccio Guidi- Procedural: now we generate the exact tactic (in... tree | commitdiff
2009-03-26 Enrico Tassi... tree | commitdiff
2009-03-19 Claudio Sacerdoti... ... tree | commitdiff
2009-03-12 Claudio Sacerdoti... More details on the proof. tree | commitdiff
2009-03-12 Claudio Sacerdoti... New algorithm based on in-place modification of the... tree | commitdiff
2009-03-11 Ferruccio GuidiProcedural: id tactics are not counted, ie they are... tree | commitdiff
2009-03-06 Claudio Sacerdoti... Minor improvements in pretty-printing. tree | commitdiff
2009-03-05 Claudio Sacerdoti... New version: only new nodes are normalized; moreover... tree | commitdiff
2009-03-02 Claudio Sacerdoti... ... tree | commitdiff
2009-03-02 Claudio Sacerdoti... New version. tree | commitdiff
2009-03-02 Claudio Sacerdoti... New version. tree | commitdiff
2009-03-02 Claudio Sacerdoti... New version. tree | commitdiff
2009-03-02 Claudio Sacerdoti... New version. tree | commitdiff
2009-03-02 Claudio Sacerdoti... New version. tree | commitdiff
2009-03-02 Claudio Sacerdoti... New version. tree | commitdiff
2009-03-02 Claudio Sacerdoti... New version. tree | commitdiff
2009-03-02 Claudio Sacerdoti... New version. tree | commitdiff
2009-03-02 Claudio Sacerdoti... First version. tree | commitdiff
2009-03-02 Claudio Sacerdoti... Old algorithm moved to old to leave place to the new... tree | commitdiff
2009-03-02 Ferruccio GuidicicInspect: node count fixed tree | commitdiff
2009-03-02 Ferruccio Guidiuri renaming and new nodes count tree | commitdiff
2009-03-02 Ferruccio Guidisome renaming to comply with new naming policy ... tree | commitdiff
2009-02-17 Ferruccio Guidi- Coq/preamble: missing alias added tree | commitdiff
2009-02-11 Enrico Tassi... tree | commitdiff
2009-02-06 Enrico Tassi... tree | commitdiff
2009-02-03 Enrico Tassisome work to speed up the system tree | commitdiff
2009-02-02 Enrico Tassi... tree | commitdiff
2009-02-02 Claudio Sacerdoti... Hmmm, going too low. tree | commitdiff
2009-02-02 Claudio Sacerdoti... ... tree | commitdiff
2009-02-01 Claudio Sacerdoti... Towards fullness. tree | commitdiff
2009-02-01 Claudio Sacerdoti... Renaming. tree | commitdiff
2009-02-01 Claudio Sacerdoti... Renaming. tree | commitdiff
2009-01-29 Enrico Tassimore polishing tree | commitdiff
2009-01-29 Enrico Tassi... tree | commitdiff
2009-01-28 Enrico Tassisome work tree | commitdiff
2009-01-28 Enrico Tassi... tree | commitdiff
2009-01-28 Enrico Tassi... tree | commitdiff
2009-01-28 Enrico Tassi... tree | commitdiff
2009-01-26 Enrico Tassiminor fixes tree | commitdiff
2009-01-23 Ferruccio GuidiOEIS sequence identifier found for P(n) tree | commitdiff
2009-01-22 Claudio Sacerdoti... TODO tree | commitdiff
2009-01-21 Enrico Tassisome minor fixes tree | commitdiff
2009-01-21 Enrico Tassia bit of work done while travelling to padova tree | commitdiff
2009-01-19 Enrico Tassi- new notation.ma file with local and common notation tree | commitdiff
2009-01-19 Claudio Sacerdoti... ... tree | commitdiff
2009-01-19 Claudio Sacerdoti... ... tree | commitdiff
2009-01-19 Enrico Tassiall pullbacks are attempted in sequence, removed many... tree | commitdiff
2009-01-18 Claudio Sacerdoti... universe inconsistency fixed tree | commitdiff
2009-01-18 Claudio Sacerdoti... SUBSETS_full up to universe inconsistency tree | commitdiff
2009-01-17 Claudio Sacerdoti... faithful tree | commitdiff
2009-01-17 Claudio Sacerdoti... CAT2 tree | commitdiff
2009-01-16 Claudio Sacerdoti... Sambin's result holds trivially since most of the field... tree | commitdiff
2009-01-16 Claudio Sacerdoti... basic topologies are trivially o-basic topologies tree | commitdiff
2009-01-16 Claudio Sacerdoti... 1. new coercion(s) from CPropi to CProp tree | commitdiff
2009-01-15 Enrico Tassithe new coercion behaviour (variants + composition... tree | commitdiff
2009-01-14 Claudio Sacerdoti... o_continous_relations are really o_relation_pair..... tree | commitdiff
2009-01-14 Claudio Sacerdoti... o-basic_pairs are indeed examples of o-basic_topologies! tree | commitdiff
2009-01-13 Enrico Tassimany changes regarding coercions: tree | commitdiff
2009-01-13 Claudio Sacerdoti... - Added new output in standard C. tree | commitdiff
2009-01-12 Claudio Sacerdoti... Some work on o-algebras towards the proof that a and... tree | commitdiff
2009-01-08 Claudio Sacerdoti... The new coercion from SET to Type0 with higher priority... tree | commitdiff
2009-01-08 Enrico Tassimore composites to make all happy! tree | commitdiff
2009-01-08 Enrico Tassieq over SET1 and SET no longer used tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.