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