]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita
Composite coercions are here!
[helm.git] / helm / software / matita /
2008-12-22 Claudio Sacerdoti... Just copied here from formal_topologies.ma.
2008-12-22 Claudio Sacerdoti... More (ugly) work.
2008-12-22 Enrico Tassi...
2008-12-22 Enrico TassiBeginning of o-basic_topologies.
2008-12-22 Enrico TassiSome clean up.
2008-12-22 Enrico TassiConcrete Spaces defined but... they require about 20m...
2008-12-22 Enrico Tassi1 more lemma
2008-12-22 Enrico Tassione line
2008-12-22 Enrico Tassisome work
2008-12-22 Claudio Sacerdoti... ums got rid of
2008-12-21 Claudio Sacerdoti... 1) no more DAEMONS
2008-12-21 Enrico Tassimerged commits, the same proof is missing :-(
2008-12-21 Enrico Tassibleah
2008-12-21 Claudio Sacerdoti... Using the new category SET.
2008-12-21 Claudio Sacerdoti... New category SET (whose objects are setoids).
2008-12-19 Enrico Tassibetter pp of virtuals
2008-12-19 Enrico Tassi...
2008-12-19 Enrico Tassi...
2008-12-19 Enrico Tassifix exponentiation
2008-12-19 Enrico Tassigo notation go!
2008-12-19 Enrico Tassifixed, it seems the new handling of hints in some rare...
2008-12-19 Enrico Tassi...
2008-12-19 Enrico Tassi...
2008-12-19 Enrico Tassiadded aliases for _ and fixed greek leters thanks to...
2008-12-19 Enrico Tassi....
2008-12-18 Claudio Sacerdoti... Many axioms are now proved... using many more (but...
2008-12-18 Enrico Tassi...
2008-12-17 Enrico Tassifoo overlap
2008-12-17 Enrico Tassifoo overlap
2008-12-17 Enrico Tassi....
2008-12-16 Enrico Tassihints work better now
2008-12-16 Enrico Tassiauto expansion of \tex macros added as a switch in...
2008-12-16 Enrico Tassiadded one asser
2008-12-15 Wilmer RicciottiSome changes to the pullback test, for debugging
2008-12-15 Enrico Tassiuse named types to force some constraints asap
2008-12-15 Enrico Tassi...
2008-12-14 Claudio Sacerdoti... The library is no longer automatically used during...
2008-12-14 Enrico Tassi...
2008-12-14 Enrico Tassi...
2008-12-12 Claudio Sacerdoti... ...
2008-12-12 Claudio Sacerdoti... A parser (and a scanner) to import "~C" files into...
2008-12-12 Claudio Sacerdoti... ...
2008-12-12 Claudio Sacerdoti... 1. new expressions AND, OR, XOR
2008-12-12 Enrico Tassi...
2008-12-12 Enrico Tassithanks to the new fixes to notation, I can define ...
2008-12-09 Enrico Tassiadded an exception
2008-12-09 Enrico Tassifixed notation
2008-12-09 Enrico Tassioption to collapse all tex macros implemented
2008-12-08 Claudio Sacerdoti... A (boring and long) once-in-a-life exercise on proving...
2008-12-08 Enrico Tassinon active but almost working implementation of \TeX...
2008-12-08 Enrico Tassialt-l for not working nymore for \fox where x was in...
2008-12-08 Enrico Tassibetter replacement for \\def
2008-12-08 Enrico Tassi3.5 -> 35 to help crappy latex
2008-12-07 Claudio Sacerdoti... New exception considered.
2008-12-07 Enrico Tassibetter images
2008-12-06 Enrico Tassinew concept of virtuals, defined only in the gui that...
2008-12-05 Claudio Sacerdoti... new exception captured
2008-12-05 Claudio Sacerdoti... Case-sensitive fixes.
2008-12-04 Enrico Tassihousekeeping:
2008-12-04 Enrico TassiBug fixed: pretty-printing of aliases when the OK butto...
2008-12-03 Claudio Sacerdoti... The aliases and multi_aliases in the lexicon status...
2008-12-01 Enrico Tassi0.5.6 almost ok
2008-12-01 Enrico Tassiall done
2008-12-01 Enrico Tassimore ex and more notation
2008-12-01 Enrico Tassibetter doc
2008-11-30 Enrico Tassinatural deduction support for lemmas with premises
2008-11-28 Ferruccio GuidicicDischarge: final fixup. Now correctly processes...
2008-11-28 Enrico Tassinew disambiguator almost attached
2008-11-28 Enrico Tassi...
2008-11-28 Enrico Tassivirtualbox guide almost ok
2008-11-28 Enrico Tassi...
2008-11-27 Enrico Tassi1. grafiteDisambiguator => multiPassDisambiguator
2008-11-26 Enrico Tassidisambiguation even more abstracted
2008-11-25 Enrico Tassi...
2008-11-25 Ferruccio GuidicicUtil: we moved here pp_term from proceduralHelpers
2008-11-25 Enrico Tassi...
2008-11-25 Enrico Tassi...
2008-11-25 Enrico Tassimore on the livecd in the manual
2008-11-24 Enrico Tassi....
2008-11-24 Enrico Tassi...
2008-11-24 Enrico Tassiformal topologies
2008-11-24 Enrico Tassifix some non tex symbols
2008-11-22 Enrico Tassiprint an error message if graphviz is not found
2008-11-22 Enrico Tassiif gnome-help is not installed, prints an error message
2008-11-22 Enrico Tassibetter manual generation
2008-11-21 Enrico Tassiloc * lazy string -> (loc * string) lazy
2008-11-20 Enrico Tassi...
2008-11-20 Enrico Tassi...
2008-11-20 Enrico Tassi...
2008-11-20 Enrico Tassidama almost ok
2008-11-20 Enrico Tassi...
2008-11-20 Enrico Tassi...
2008-11-20 Enrico Tassireverted
2008-11-20 Enrico Tassidama into the library
2008-11-19 Enrico Tassix2sx declared as coercion and used when possible
2008-11-19 Enrico Tassirenaming
2008-11-19 Enrico Tassi...
2008-11-17 Enrico Tassi...
2008-11-17 Enrico Tassi...
2008-11-17 Enrico Tassiexercises ready
next