]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita
fixed, it seems the new handling of hints in some rare cases made inference stupid
[helm.git] / helm / software / matita /
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
2008-11-17 Enrico Tassiall ex done
2008-11-16 Enrico Tassi...
2008-11-16 Enrico Tassifixed
2008-11-16 Enrico Tassicommented out unfinished proof
2008-11-15 Enrico Tassibetter spacing
2008-11-15 Enrico Tassiapply rule (lem EM) works
2008-11-15 Claudio Sacerdoti... New bug.
2008-11-15 Enrico Tassino more prove in palette
2008-11-15 Enrico Tassifixed or-in-left
2008-11-15 Enrico Tassifixed not-e
2008-11-15 Claudio Sacerdoti... Another bug.
2008-11-15 Claudio Sacerdoti... This commit shows a bug.
2008-11-15 Enrico Tassialmost ready
2008-11-15 Enrico Tassirules fixed
2008-11-15 Enrico Tassimake all/clean implemented
2008-11-15 Enrico Tassihousekeeping
2008-11-15 Enrico Tassihousekeeping
2008-11-15 Enrico Tassihouse keeping
2008-11-15 Enrico Tassinatural deduction palette
2008-11-14 Enrico Tassitest 4 luo
next