]> matita.cs.unibo.it Git - helm.git/history - helm/matita
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
coq.moo is now automatically generated
[helm.git] / helm / matita /
2005-09-26 Claudio Sacerdoti... coq.moo is now automatically generated tree | commitdiff
2005-09-26 Stefano Zacchirolifunction composition notation tree | commitdiff
2005-09-26 Claudio Sacerdoti... Coq's existential fixed. tree | commitdiff
2005-09-26 Stefano Zacchirolidiv and mod notation ('%' and '\mod') tree | commitdiff
2005-09-26 Claudio Sacerdoti... matitatop.opt should not be generated tree | commitdiff
2005-09-26 Claudio Sacerdoti... Unification enhanchement. tree | commitdiff
2005-09-26 Alberto Griggionew signature of auto_tac, with a new optional argument... tree | commitdiff
2005-09-26 Stefano Zacchiroliadded binary version of coq.moo and the corresponding... tree | commitdiff
2005-09-26 Stefano Zacchiroliremoved textual version of coq's moo file tree | commitdiff
2005-09-26 Enrico TassiMatitacleanLib.remove_baseuris will remove empty direct... tree | commitdiff
2005-09-26 Andrea Aspertipermutation.ma added to the repository. tree | commitdiff
2005-09-26 Stefano Zacchirolichanged default divide notation to a/b tree | commitdiff
2005-09-26 Stefano Zacchiroli- added integrity checks on .moo files tree | commitdiff
2005-09-26 Stefano Zacchirolibetter name for a theorem tree | commitdiff
2005-09-23 Claudio Sacerdoti... New module HMysql (to abstract over Mysql and make... tree | commitdiff
2005-09-23 Stefano Zacchirolichanged .moo format on disk: no longer plain strings... tree | commitdiff
2005-09-23 Claudio Sacerdoti... CicUtil.profile ==> HExtlib.profile tree | commitdiff
2005-09-23 Stefano Zacchirolibugfix: evaluation of object commands is now atomic... tree | commitdiff
2005-09-23 Stefano Zacchiroli"verbose" argument of remove is now optional (default... tree | commitdiff
2005-09-23 Claudio Sacerdoti... Less feedback during removal of objects. tree | commitdiff
2005-09-23 Claudio Sacerdoti... ... tree | commitdiff
2005-09-23 Claudio Sacerdoti... Too many OPTIMIZE TABLES (because of a very stupid... tree | commitdiff
2005-09-23 Claudio Sacerdoti... save_object_to_disk profiler fixed tree | commitdiff
2005-09-23 Enrico Tassifix tree | commitdiff
2005-09-23 Enrico Tassiuniverses are saved to disk tree | commitdiff
2005-09-23 Claudio Sacerdoti... The disambiguation now returns the aliases diff. It... tree | commitdiff
2005-09-23 Stefano Zacchirolibugfix for uminus notation, prints parens where needed tree | commitdiff
2005-09-23 Andrea Aspertilog.ma renamed into ord.ma tree | commitdiff
2005-09-23 Claudio Sacerdoti... The new_aliases argument of the functions alias_diff... tree | commitdiff
2005-09-23 Andrea AspertiA few changes to factorization and gcd. tree | commitdiff
2005-09-22 Claudio Sacerdoti... More notation here and there. tree | commitdiff
2005-09-22 Claudio Sacerdoti... More notation here and there: \sup, \divides, \ndivides, ! tree | commitdiff
2005-09-22 Claudio Sacerdoti... More notation here and there. tree | commitdiff
2005-09-22 Claudio Sacerdoti... Profiling messages grepped out. tree | commitdiff
2005-09-22 Claudio Sacerdoti... ... tree | commitdiff
2005-09-21 Claudio Sacerdoti... We do not longer generate inner-types and inner-sorts... tree | commitdiff
2005-09-21 Stefano Zacchiroliported to the new parser interface (Ulexing.lexbuf... tree | commitdiff
2005-09-21 Stefano Zacchiroliuses ligatures (as a sample) tree | commitdiff
2005-09-20 Claudio Sacerdoti... ... tree | commitdiff
2005-09-20 Claudio Sacerdoti... More profiling code added. tree | commitdiff
2005-09-20 Claudio Sacerdoti... More profiling code inserted. tree | commitdiff
2005-09-20 Stefano Zacchiroliadded non-builtin notation for exists tree | commitdiff
2005-09-20 Enrico Tassifixed matitadep: now it should consider ALL depndencies tree | commitdiff
2005-09-20 Claudio Sacerdoti... ... tree | commitdiff
2005-09-20 Enrico Tassiall initialization code is now in the new matitaInit... tree | commitdiff
2005-09-20 Enrico Tassimatitadep now parses notation. tree | commitdiff
2005-09-20 Enrico Tassidevelopment windows now avoids doing an anction selecti... tree | commitdiff
2005-09-19 Claudio Sacerdoti... * Obsolete debugging comments removed tree | commitdiff
2005-09-19 Claudio Sacerdoti... Notation for "ex" introduced. It is the same as the... tree | commitdiff
2005-09-19 Claudio Sacerdoti... ... tree | commitdiff
2005-09-19 Claudio Sacerdoti... More profiling code. tree | commitdiff
2005-09-19 Claudio Sacerdoti... Great speed-up in alias_diff (about 3x). tree | commitdiff
2005-09-19 Claudio Sacerdoti... A bit of profiling functions added here and there. tree | commitdiff
2005-09-19 Claudio Sacerdoti... Spurious interpretation removed. tree | commitdiff
2005-09-19 Claudio Sacerdoti... ... tree | commitdiff
2005-09-19 Stefano Zacchiroliadded list.ma tree | commitdiff
2005-09-19 Stefano Zacchiroli- avoid catching top level exceptions when the relevant... tree | commitdiff
2005-09-19 Stefano Zacchirolisplitted command line arguments among debugging and... tree | commitdiff
2005-09-19 Stefano Zacchiroli- added support for -debug, which avoid catching top... tree | commitdiff
2005-09-19 Claudio Sacerdoti... Removed final question marks from {apply|elim|rewrite}s. tree | commitdiff
2005-09-19 Claudio Sacerdoti... Some code that used to avoid a fixed bug removed. tree | commitdiff
2005-09-19 Claudio Sacerdoti... ... tree | commitdiff
2005-09-19 Claudio Sacerdoti... .ma inclusions corrected/minimized tree | commitdiff
2005-09-16 Enrico Tassiadded a function to reorder the metasenv. tree | commitdiff
2005-09-16 Claudio Sacerdoti... ... tree | commitdiff
2005-09-16 Claudio Sacerdoti... ... tree | commitdiff
2005-09-16 Stefano Zacchiroliadded notation for: nleq, ngeq, nless, and ngtr tree | commitdiff
2005-09-16 Stefano Zacchiroliadded notation for nleq, nlgt, ... tree | commitdiff
2005-09-15 Claudio Sacerdoti... Yet another implementation of the single aliases /... tree | commitdiff
2005-09-15 Claudio Sacerdoti... "bool.ma" is now always included before "logic.ma"... tree | commitdiff
2005-09-15 Claudio Sacerdoti... ... tree | commitdiff
2005-09-15 Stefano Zacchiroliimproved discriminate test: check if it works on induct... tree | commitdiff
2005-09-15 Stefano Zacchiroliadded \neq notation tree | commitdiff
2005-09-15 Stefano Zacchirolibugfix: save "~" backup together with the non-~ version... tree | commitdiff
2005-09-15 Stefano Zacchiroliadded -debug flag which avoid catching top-level except... tree | commitdiff
2005-09-15 Stefano Zacchiroli- changed command line interface of cicbrowser so that... tree | commitdiff
2005-09-15 Stefano Zacchirolimoved matita logo in the right place tree | commitdiff
2005-09-14 Enrico Tassibugfixes: tree | commitdiff
2005-09-14 Stefano Zacchirolienable selections and href handling on elements having... tree | commitdiff
2005-09-14 Andrea AspertiProduct, pair and projections. tree | commitdiff
2005-09-14 Andrea Aspertifactorization.ma tree | commitdiff
2005-09-14 Andrea AspertiNew version of the library. nth_prime, gcd, log. tree | commitdiff
2005-09-13 Claudio Sacerdoti... Bug fixed: when several instances are tried during... tree | commitdiff
2005-09-13 Stefano Zacchirolivalid baseuri in template tree | commitdiff
2005-09-13 Stefano Zacchirolino longer use absolute path for naming notebook labels tree | commitdiff
2005-09-13 Stefano Zacchirolifixed parsing of --x=x ("'uminus" is now right associative) tree | commitdiff
2005-09-13 Claudio Sacerdoti... New policy for the disambiguation passes. tree | commitdiff
2005-09-13 Claudio Sacerdoti... useless alias removed tree | commitdiff
2005-09-13 Stefano Zacchiroliremoved a comment/bug report about let..in rendering... tree | commitdiff
2005-09-13 Stefano Zacchiroli- changed moo representation in MatitaTypes.status... tree | commitdiff
2005-09-13 Stefano Zacchirolicosmetic changes tree | commitdiff
2005-09-13 Stefano Zacchirolifixed dummy_floc tree | commitdiff
2005-09-13 Stefano Zacchiroli- fixed dummy_floc (now in DisambiguateTypes) tree | commitdiff
2005-09-13 Stefano Zacchiroliadded moo dumping debug item tree | commitdiff
2005-09-13 Stefano Zacchiroliremove matitamake binaries on clean tree | commitdiff
2005-09-13 Claudio Sacerdoti... ... tree | commitdiff
2005-09-13 Claudio Sacerdoti... ... tree | commitdiff
2005-09-13 Claudio Sacerdoti... Test fixed. tree | commitdiff
2005-09-12 Stefano Zacchiroliremoved left-spacing of 2 em for '(' (useful only for... tree | commitdiff
2005-09-12 Stefano Zacchiroli- de-ALB-ing tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.