]> matita.cs.unibo.it Git - helm.git/shortlog
projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
2005-09-26 no authorThis commit was manufactured by cvs2svn to create tag LAST_BEFORE_NEW commit | commitdiff | tree | snapshot
2005-09-26 Alberto Griggio*** empty log message *** commit | commitdiff | tree | snapshot
2005-09-26 Alberto Griggionew signature of auto_tac, with a new optional argument... commit | commitdiff | tree | snapshot
2005-09-26 Alberto Griggioadded apply_tac_verbose_with_subst, returning a Cic... commit | commitdiff | tree | snapshot
2005-09-26 Stefano Zacchiroliadded binary version of coq.moo and the corresponding... commit | commitdiff | tree | snapshot
2005-09-26 Stefano Zacchiroliremoved textual version of coq's moo file commit | commitdiff | tree | snapshot
2005-09-26 Enrico TassiMatitacleanLib.remove_baseuris will remove empty direct... commit | commitdiff | tree | snapshot
2005-09-26 Andrea Aspertipermutation.ma added to the repository. commit | commitdiff | tree | snapshot
2005-09-26 Andrea AspertiSmall bug due to case unsensitiveness in the check... commit | commitdiff | tree | snapshot
2005-09-26 Stefano Zacchirolichanged default divide notation to a/b commit | commitdiff | tree | snapshot
2005-09-26 Stefano Zacchirolibugfix: reash uris embedded in cic appl patterns commit | commitdiff | tree | snapshot
2005-09-26 Stefano Zacchiroli- added integrity checks on .moo files commit | commitdiff | tree | snapshot
2005-09-26 Stefano Zacchirolibetter name for a theorem commit | commitdiff | tree | snapshot
2005-09-26 Stefano Zacchiroliadded magic numbers commit | commitdiff | tree | snapshot
2005-09-26 Stefano Zacchiroliset extlib findlib dependencies commit | commitdiff | tree | snapshot
2005-09-26 Stefano Zacchiroliimplemented the first bunch of useful functions commit | commitdiff | tree | snapshot
2005-09-26 Andrea AspertiMysql ==> HMysql commit | commitdiff | tree | snapshot
2005-09-23 Claudio Sacerdoti... New module HMysql (to abstract over Mysql and make... commit | commitdiff | tree | snapshot
2005-09-23 Claudio Sacerdoti... New module HMysql (to abstract over Mysql and make... commit | commitdiff | tree | snapshot
2005-09-23 Stefano Zacchirolichanged .moo format on disk: no longer plain strings... commit | commitdiff | tree | snapshot
2005-09-23 Claudio Sacerdoti... More profiling code. commit | commitdiff | tree | snapshot
2005-09-23 Claudio Sacerdoti... CicUtil.profile ==> HExtlib.profile commit | commitdiff | tree | snapshot
2005-09-23 Claudio Sacerdoti... CicUtil.profile ==> HExtlib.profile commit | commitdiff | tree | snapshot
2005-09-23 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-09-23 Stefano Zacchirolibugfix: evaluation of object commands is now atomic... commit | commitdiff | tree | snapshot
2005-09-23 Stefano Zacchiroli"verbose" argument of remove is now optional (default... commit | commitdiff | tree | snapshot
2005-09-23 Claudio Sacerdoti... Less feedback during removal of objects. commit | commitdiff | tree | snapshot
2005-09-23 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-09-23 Claudio Sacerdoti... Too many OPTIMIZE TABLES (because of a very stupid... commit | commitdiff | tree | snapshot
2005-09-23 Claudio Sacerdoti... save_object_to_disk profiler fixed commit | commitdiff | tree | snapshot
2005-09-23 Claudio Sacerdoti... Profiling code removed. commit | commitdiff | tree | snapshot
2005-09-23 Claudio Sacerdoti... several "INSERT VALUE" ==> "INSERT VALUES" (more efficient) commit | commitdiff | tree | snapshot
2005-09-23 Claudio Sacerdoti... Profiling code removed. commit | commitdiff | tree | snapshot
2005-09-23 Stefano Zacchiroliavoid generating useless parens in mathml contextes... commit | commitdiff | tree | snapshot
2005-09-23 Stefano Zacchiroliremoved a line of dead code commit | commitdiff | tree | snapshot
2005-09-23 Claudio Sacerdoti... Dead code removed again!!! commit | commitdiff | tree | snapshot
2005-09-23 Stefano Zacchiroliavoid pattern matching on attributed terms since this... commit | commitdiff | tree | snapshot
2005-09-23 Enrico Tassifix commit | commitdiff | tree | snapshot
2005-09-23 Enrico Tassiuniverses are saved to disk commit | commitdiff | tree | snapshot
2005-09-23 Claudio Sacerdoti... The disambiguation now returns the aliases diff. It... commit | commitdiff | tree | snapshot
2005-09-23 Enrico Tassiadded universes list handling commit | commitdiff | tree | snapshot
2005-09-23 Enrico Tassiadded universes commit | commitdiff | tree | snapshot
2005-09-23 Enrico Tassiadded parsing of Type:N commit | commitdiff | tree | snapshot
2005-09-23 Enrico Tassia wrong exception was raised commit | commitdiff | tree | snapshot
2005-09-23 Stefano Zacchirolibugfix for uminus notation, prints parens where needed commit | commitdiff | tree | snapshot
2005-09-23 Enrico Tassiadded support for universes uri ".univ" commit | commitdiff | tree | snapshot
2005-09-23 Claudio Sacerdoti... The disambiguation now returns the aliases diff. It... commit | commitdiff | tree | snapshot
2005-09-23 Andrea Aspertilog.ma renamed into ord.ma commit | commitdiff | tree | snapshot
2005-09-23 Claudio Sacerdoti... The new_aliases argument of the functions alias_diff... commit | commitdiff | tree | snapshot
2005-09-23 Andrea AspertiA few changes to factorization and gcd. commit | commitdiff | tree | snapshot
2005-09-23 Claudio Sacerdoti... Environment replaced by lists of domain and codomain... commit | commitdiff | tree | snapshot
2005-09-22 Claudio Sacerdoti... More notation here and there. commit | commitdiff | tree | snapshot
2005-09-22 Claudio Sacerdoti... More notation here and there: \sup, \divides, \ndivides, ! commit | commitdiff | tree | snapshot
2005-09-22 Claudio Sacerdoti... * Added divides and ndivides commit | commitdiff | tree | snapshot
2005-09-22 Claudio Sacerdoti... '!' is no longer a decorator (to allow a reasonable... commit | commitdiff | tree | snapshot
2005-09-22 Claudio Sacerdoti... More notation here and there. commit | commitdiff | tree | snapshot
2005-09-22 Claudio Sacerdoti... Profiling messages grepped out. commit | commitdiff | tree | snapshot
2005-09-22 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-09-22 Claudio Sacerdoti... Dead code removed commit | commitdiff | tree | snapshot
2005-09-21 Claudio Sacerdoti... More profiling code. commit | commitdiff | tree | snapshot
2005-09-21 Claudio Sacerdoti... This commit removes the slowest identity function ever... commit | commitdiff | tree | snapshot
2005-09-21 Claudio Sacerdoti... We do not longer generate inner-types and inner-sorts... commit | commitdiff | tree | snapshot
2005-09-21 Claudio Sacerdoti... We do not longer generate inner-types and inner-sorts... commit | commitdiff | tree | snapshot
2005-09-21 Stefano Zacchiroliported to the new parser interface (Ulexing.lexbuf... commit | commitdiff | tree | snapshot
2005-09-21 Stefano Zacchiroliuses ligatures (as a sample) commit | commitdiff | tree | snapshot
2005-09-21 Stefano Zacchiroliadded ligatures support commit | commitdiff | tree | snapshot
2005-09-21 Stefano Zacchirolirebuilt commit | commitdiff | tree | snapshot
2005-09-21 Enrico Tassiclean_and_fill optimization commit | commitdiff | tree | snapshot
2005-09-21 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-09-21 Alberto Griggiobugfix on proof construction commit | commitdiff | tree | snapshot
2005-09-21 Claudio Sacerdoti... All the debug_print are now lazy. commit | commitdiff | tree | snapshot
2005-09-21 Claudio Sacerdoti... More debug_print made lazy. commit | commitdiff | tree | snapshot
2005-09-21 Claudio Sacerdoti... 1. profiling code added commit | commitdiff | tree | snapshot
2005-09-20 Claudio Sacerdoti... Profiling did not profile functions that raise an excep... commit | commitdiff | tree | snapshot
2005-09-20 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-09-20 Claudio Sacerdoti... More profiling code added. commit | commitdiff | tree | snapshot
2005-09-20 Claudio Sacerdoti... More profiling code inserted. commit | commitdiff | tree | snapshot
2005-09-20 Stefano Zacchiroliadded non-builtin notation for exists commit | commitdiff | tree | snapshot
2005-09-20 Stefano Zacchirolichanged ast representation of exists commit | commitdiff | tree | snapshot
2005-09-20 Stefano Zacchirolipretty printing of literals is now subject to the debug... commit | commitdiff | tree | snapshot
2005-09-20 Stefano Zacchirolichanged ast representation of exists, now an 'exists... commit | commitdiff | tree | snapshot
2005-09-20 Stefano Zacchirolibugfix in default magic handling: consider as having... commit | commitdiff | tree | snapshot
2005-09-20 Stefano Zacchiroli- bugfix: eta abstractions ignores attributed node... commit | commitdiff | tree | snapshot
2005-09-20 Stefano Zacchirolimore refere to bindings in env type definition commit | commitdiff | tree | snapshot
2005-09-20 Enrico Tassifixed matitadep: now it should consider ALL depndencies commit | commitdiff | tree | snapshot
2005-09-20 Enrico Tassiadded a minimal parser to extract informations relevant... commit | commitdiff | tree | snapshot
2005-09-20 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-09-20 Enrico Tassiall initialization code is now in the new matitaInit... commit | commitdiff | tree | snapshot
2005-09-20 Enrico Tassimatitadep now parses notation. commit | commitdiff | tree | snapshot
2005-09-20 Enrico Tassidevelopment windows now avoids doing an anction selecti... commit | commitdiff | tree | snapshot
2005-09-19 Claudio Sacerdoti... * Obsolete debugging comments removed commit | commitdiff | tree | snapshot
2005-09-19 Claudio Sacerdoti... Notation for "ex" introduced. It is the same as the... commit | commitdiff | tree | snapshot
2005-09-19 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-09-19 Claudio Sacerdoti... More profiling code. commit | commitdiff | tree | snapshot
2005-09-19 Claudio Sacerdoti... Great speed-up in alias_diff (about 3x). commit | commitdiff | tree | snapshot
2005-09-19 Claudio Sacerdoti... A bit of profiling functions added here and there. commit | commitdiff | tree | snapshot
2005-09-19 Claudio Sacerdoti... Spurious interpretation removed. commit | commitdiff | tree | snapshot
2005-09-19 Claudio Sacerdoti... Profiling disabled. commit | commitdiff | tree | snapshot
2005-09-19 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2005-09-19 Claudio Sacerdoti... This commit (partially) removes a big source of ineffic... commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.