]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita
1) GrafiteAst.NEval => GrafiteAst.NReduce
[helm.git] / helm / software / matita /
2008-12-28 Claudio Sacerdoti... The universe inconsistency comes from big union, that...
2008-12-28 Claudio Sacerdoti... Proof that \Omega \sup A is an overlap algebra, up...
2008-12-28 Claudio Sacerdoti... o-algebra defined again
2008-12-28 Claudio Sacerdoti... Categories and subsets compile again, hopefully with...
2008-12-28 Claudio Sacerdoti... WARNING: partial commit to try to understand something.
2008-12-26 Claudio Sacerdoti... Some more fixes. Boring and stupid!
2008-12-26 Claudio Sacerdoti... Some fixes.
2008-12-26 Claudio Sacerdoti... O-Basic Topologies do form a category.
2008-12-26 Claudio Sacerdoti... A few more lines.
2008-12-26 Claudio Sacerdoti... Some notes by Giovanni.
2008-12-26 Claudio Sacerdoti... Some notes by Giovanni.
2008-12-24 Enrico Tassiadded some virtuals
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...
next