]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita
added margin option to the pp
[helm.git] / helm / software / matita /
2009-03-11 Enrico Tassimore examples
2009-03-10 Ferruccio Guidiadded some commented debugging instructions :)
2009-03-10 Enrico Tassinotation ++
2009-03-09 Enrico Tassi...
2009-03-06 Claudio Sacerdoti... Minor improvements in pretty-printing.
2009-03-05 Claudio Sacerdoti... New version: only new nodes are normalized; moreover...
2009-03-02 Claudio Sacerdoti... ...
2009-03-02 Claudio Sacerdoti... New version.
2009-03-02 Claudio Sacerdoti... New version.
2009-03-02 Claudio Sacerdoti... New version.
2009-03-02 Claudio Sacerdoti... New version.
2009-03-02 Claudio Sacerdoti... New version.
2009-03-02 Claudio Sacerdoti... New version.
2009-03-02 Claudio Sacerdoti... New version.
2009-03-02 Claudio Sacerdoti... New version.
2009-03-02 Claudio Sacerdoti... First version.
2009-03-02 Claudio Sacerdoti... Old algorithm moved to old to leave place to the new...
2009-03-02 Ferruccio GuidicicInspect: node count fixed
2009-03-02 Ferruccio Guidiuri renaming and new nodes count
2009-03-02 Ferruccio Guidisome renaming to comply with new naming policy ...
2009-02-17 Ferruccio Guidi- Coq/preamble: missing alias added
2009-02-16 Enrico Tassisome notational experiments
2009-02-15 Enrico Tassi...
2009-02-15 Enrico Tassiminor changes to make the library compile after wilmers...
2009-02-13 Wilmer RicciottiAxiomatization of real numbers (work in progress)
2009-02-11 Enrico Tassi...
2009-02-09 Enrico Tassib:action are now considered as m:maction and thus are...
2009-02-06 Enrico Tassi...
2009-02-05 Enrico Tassi...
2009-02-03 Enrico Tassisome work to speed up the system
2009-02-02 Enrico Tassi...
2009-02-02 Claudio Sacerdoti... Hmmm, going too low.
2009-02-02 Claudio Sacerdoti... ...
2009-02-01 Claudio Sacerdoti... Towards fullness.
2009-02-01 Claudio Sacerdoti... Renaming.
2009-02-01 Claudio Sacerdoti... Renaming.
2009-01-29 Enrico Tassimore polishing
2009-01-29 Enrico Tassi...
2009-01-28 Enrico Tassisome work
2009-01-28 Enrico Tassi...
2009-01-28 Enrico Tassi...
2009-01-28 Enrico Tassi...
2009-01-28 Enrico Tassi...
2009-01-27 Enrico Tassimaction, mpadded and mstyle added to documentation
2009-01-26 Enrico Tassiminor fixes
2009-01-26 Enrico Tassimaction support added to notation, adopted for = AKA...
2009-01-23 Ferruccio GuidiOEIS sequence identifier found for P(n)
2009-01-22 Claudio Sacerdoti... TODO
2009-01-21 Enrico Tassisome minor fixes
2009-01-21 Enrico Tassia bit of work done while travelling to padova
2009-01-19 Enrico Tassi- new notation.ma file with local and common notation
2009-01-19 Claudio Sacerdoti... ...
2009-01-19 Claudio Sacerdoti... ...
2009-01-19 Enrico Tassiall pullbacks are attempted in sequence, removed many...
2009-01-18 Claudio Sacerdoti... universe inconsistency fixed
2009-01-18 Claudio Sacerdoti... SUBSETS_full up to universe inconsistency
2009-01-17 Claudio Sacerdoti... faithful
2009-01-17 Claudio Sacerdoti... CAT2
2009-01-16 Enrico Tassi...
2009-01-16 Claudio Sacerdoti... Sambin's result holds trivially since most of the field...
2009-01-16 Claudio Sacerdoti... basic topologies are trivially o-basic topologies
2009-01-16 Claudio Sacerdoti... 1. new coercion(s) from CPropi to CProp
2009-01-15 Enrico Tassithe new coercion behaviour (variants + composition...
2009-01-15 Enrico Tassiadded notation for 'Vdash
2009-01-14 Claudio Sacerdoti... o_continous_relations are really o_relation_pair.....
2009-01-14 Claudio Sacerdoti... o-basic_pairs are indeed examples of o-basic_topologies!
2009-01-13 Enrico Tassimany changes regarding coercions:
2009-01-13 Claudio Sacerdoti... - Added new output in standard C.
2009-01-12 Claudio Sacerdoti... Some work on o-algebras towards the proof that a and...
2009-01-08 Claudio Sacerdoti... The new coercion from SET to Type0 with higher priority...
2009-01-08 Enrico Tassimore composites to make all happy!
2009-01-08 Enrico Tassieq over SET1 and SET no longer used
2009-01-08 Enrico Tassisome more if/fi conversion due to the new . binding
2009-01-08 Enrico Tassiunary_morphism_N : seoidN -> setoidN -> setoidN (was...
2009-01-08 Enrico Tassivirtuals for () removed and bound to 'o'
2009-01-08 Claudio Sacerdoti... Just a snapshot.
2009-01-06 Enrico Tassicoercions reordering implemented
2009-01-06 Enrico Tassiupdated
2009-01-06 Claudio Sacerdoti... More work on concrete spaces.
2009-01-06 Claudio Sacerdoti... Some work on concrete spaces.
2009-01-06 Claudio Sacerdoti... Cool: only 8 universes in use.
2009-01-06 Claudio Sacerdoti... 1) Some reorganization.
2009-01-06 Claudio Sacerdoti... Some renaming to avoid confusion between saturations...
2009-01-06 Claudio Sacerdoti... Fixing universe levels for saturations and (partially...
2009-01-06 Claudio Sacerdoti... The functor from BP to OBP has been defined (but no...
2009-01-06 Claudio Sacerdoti... Ok, even if not stated formally, now we know that the...
2009-01-06 Claudio Sacerdoti... orelation_of_relation preserves equality and identities.
2009-01-06 Claudio Sacerdoti... Basic pairs restored; require renaming to use them...
2009-01-06 Claudio Sacerdoti... Some progress: everything works well now.
2009-01-06 Claudio Sacerdoti... Ooops, I forgot to commit this in the previous 3-4...
2009-01-06 Claudio Sacerdoti... An hint moved to the right place.
2009-01-06 Claudio Sacerdoti... No more daemons, no more exTs.
2009-01-06 Claudio Sacerdoti... Great: some significant progress in fixing universe...
2009-01-05 Enrico Tassiadded help on virtuals and UTF-8 equivalence classes
2009-01-05 Enrico Tassiexpand ligatures after \n too
2009-01-05 Enrico Tassiadded := -> \def
2009-01-05 Enrico Tassiadded some memory to virtuals eq classes
2009-01-04 Claudio Sacerdoti... ...
2009-01-04 Claudio Sacerdoti... 1. CProp_n fixed to be equal to Type_n to better unders...
2009-01-04 Claudio Sacerdoti... Snapshot to try to understand something.
next