]> matita.cs.unibo.it Git - helm.git/history - helm
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
spotted missing times notation
[helm.git] / helm /
2005-09-28 Stefano Zacchirolispotted missing times notation tree | commitdiff
2005-09-27 Stefano Zacchirolifixed some english typos tree | commitdiff
2005-09-27 Stefano Zacchirolichanged precedence/associativeness handling: relative... tree | commitdiff
2005-09-27 Stefano Zacchiroliadded/exported pp_pos & pp_attribute tree | commitdiff
2005-09-27 Stefano Zacchiroliremoved .annot files (files containing type annotations... tree | commitdiff
2005-09-27 Andrea Aspertismall error in nth_prime. tree | commitdiff
2005-09-27 Andrea AspertiNew entry: fermat's little theorem (almost complete). tree | commitdiff
2005-09-27 Stefano Zacchirolimore fine grained debug printing tree | commitdiff
2005-09-27 Stefano Zacchirolichanged type of ids_to_uris table to (Cic.id, UriManage... tree | commitdiff
2005-09-27 Stefano ZacchiroliBetter handling of idref propagation, no more Href... tree | commitdiff
2005-09-27 Stefano Zacchirolimoved list_uniq to the extlib tree | commitdiff
2005-09-27 Stefano Zacchiroliadded support for multiple idrefs tree | commitdiff
2005-09-27 Stefano Zacchiroliadded list_uniq tree | commitdiff
2005-09-27 Stefano Zacchirolicompleted use of \mod and / notation tree | commitdiff
2005-09-26 Claudio Sacerdoti... ... tree | commitdiff
2005-09-26 Claudio Sacerdoti... coq.moo is now automatically generated. New targets: tree | commitdiff
2005-09-26 Enrico Tassifix WE HAVE NO UNIVERSE tree | commitdiff
2005-09-26 Stefano Zacchirolifixed typo tree | commitdiff
2005-09-26 Enrico Tassi./matitaclean all removes all tree | commitdiff
2005-09-26 Stefano Zacchirolistrip heading '\' on Mo s tree | commitdiff
2005-09-26 Stefano Zacchiroliremoved some dead code tree | commitdiff
2005-09-26 Stefano Zacchiroliif a node has an xref use it for cut and paste, no... tree | commitdiff
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 Stefano Zacchiroliadded override for \circ (notation for function composi... 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 Claudio Sacerdoti... Unification enhanchement: tree | commitdiff
2005-09-26 Claudio Sacerdoti... Inclusion path fixed. tree | commitdiff
2005-09-26 Alberto Griggionew signature of auto_tac, with a new optional argument... tree | commitdiff
2005-09-26 Alberto Griggionew paramodulation tree | commitdiff
2005-09-26 Alberto Griggio*** empty log message *** tree | commitdiff
2005-09-26 Alberto Griggionew signature of auto_tac, with a new optional argument... tree | commitdiff
2005-09-26 Alberto Griggioadded apply_tac_verbose_with_subst, returning a Cic... 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 Andrea AspertiSmall bug due to case unsensitiveness in the check... tree | commitdiff
2005-09-26 Stefano Zacchirolichanged default divide notation to a/b tree | commitdiff
2005-09-26 Stefano Zacchirolibugfix: reash uris embedded in cic appl patterns 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-26 Stefano Zacchiroliadded magic numbers tree | commitdiff
2005-09-26 Stefano Zacchiroliset extlib findlib dependencies tree | commitdiff
2005-09-26 Stefano Zacchiroliimplemented the first bunch of useful functions tree | commitdiff
2005-09-26 Andrea AspertiMysql ==> HMysql tree | commitdiff
2005-09-23 Claudio Sacerdoti... New module HMysql (to abstract over Mysql and make... 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... More profiling code. tree | commitdiff
2005-09-23 Claudio Sacerdoti... CicUtil.profile ==> HExtlib.profile tree | commitdiff
2005-09-23 Claudio Sacerdoti... CicUtil.profile ==> HExtlib.profile tree | commitdiff
2005-09-23 Claudio Sacerdoti... ... 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 Claudio Sacerdoti... Profiling code removed. tree | commitdiff
2005-09-23 Claudio Sacerdoti... several "INSERT VALUE" ==> "INSERT VALUES" (more efficient) tree | commitdiff
2005-09-23 Claudio Sacerdoti... Profiling code removed. tree | commitdiff
2005-09-23 Stefano Zacchiroliavoid generating useless parens in mathml contextes... tree | commitdiff
2005-09-23 Stefano Zacchiroliremoved a line of dead code tree | commitdiff
2005-09-23 Claudio Sacerdoti... Dead code removed again!!! tree | commitdiff
2005-09-23 Stefano Zacchiroliavoid pattern matching on attributed terms since this... 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 Enrico Tassiadded universes list handling tree | commitdiff
2005-09-23 Enrico Tassiadded universes tree | commitdiff
2005-09-23 Enrico Tassiadded parsing of Type:N tree | commitdiff
2005-09-23 Enrico Tassia wrong exception was raised tree | commitdiff
2005-09-23 Stefano Zacchirolibugfix for uminus notation, prints parens where needed tree | commitdiff
2005-09-23 Enrico Tassiadded support for universes uri ".univ" tree | commitdiff
2005-09-23 Claudio Sacerdoti... The disambiguation now returns the aliases diff. It... 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-23 Claudio Sacerdoti... Environment replaced by lists of domain and codomain... 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... * Added divides and ndivides tree | commitdiff
2005-09-22 Claudio Sacerdoti... '!' is no longer a decorator (to allow a reasonable... 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-22 Claudio Sacerdoti... Dead code removed tree | commitdiff
2005-09-21 Claudio Sacerdoti... More profiling code. tree | commitdiff
2005-09-21 Claudio Sacerdoti... This commit removes the slowest identity function ever... tree | commitdiff
2005-09-21 Claudio Sacerdoti... We do not longer generate inner-types and inner-sorts... 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-21 Stefano Zacchiroliadded ligatures support tree | commitdiff
2005-09-21 Stefano Zacchirolirebuilt tree | commitdiff
2005-09-21 Enrico Tassiclean_and_fill optimization tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.