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