]> matita.cs.unibo.it Git - helm.git/history - helm
several "INSERT VALUE" ==> "INSERT VALUES" (more efficient)
[helm.git] / helm /
2005-09-23 Claudio Sacerdoti... several "INSERT VALUE" ==> "INSERT VALUES" (more efficient)
2005-09-23 Claudio Sacerdoti... Profiling code removed.
2005-09-23 Stefano Zacchiroliavoid generating useless parens in mathml contextes...
2005-09-23 Stefano Zacchiroliremoved a line of dead code
2005-09-23 Claudio Sacerdoti... Dead code removed again!!!
2005-09-23 Stefano Zacchiroliavoid pattern matching on attributed terms since this...
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 Enrico Tassiadded universes list handling
2005-09-23 Enrico Tassiadded universes
2005-09-23 Enrico Tassiadded parsing of Type:N
2005-09-23 Enrico Tassia wrong exception was raised
2005-09-23 Stefano Zacchirolibugfix for uminus notation, prints parens where needed
2005-09-23 Enrico Tassiadded support for universes uri ".univ"
2005-09-23 Claudio Sacerdoti... The disambiguation now returns the aliases diff. It...
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-23 Claudio Sacerdoti... Environment replaced by lists of domain and codomain...
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... * Added divides and ndivides
2005-09-22 Claudio Sacerdoti... '!' is no longer a decorator (to allow a reasonable...
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-22 Claudio Sacerdoti... Dead code removed
2005-09-21 Claudio Sacerdoti... More profiling code.
2005-09-21 Claudio Sacerdoti... This commit removes the slowest identity function ever...
2005-09-21 Claudio Sacerdoti... We do not longer generate inner-types and inner-sorts...
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-21 Stefano Zacchiroliadded ligatures support
2005-09-21 Stefano Zacchirolirebuilt
2005-09-21 Enrico Tassiclean_and_fill optimization
2005-09-21 Claudio Sacerdoti... ...
2005-09-21 Alberto Griggiobugfix on proof construction
2005-09-21 Claudio Sacerdoti... All the debug_print are now lazy.
2005-09-21 Claudio Sacerdoti... More debug_print made lazy.
2005-09-21 Claudio Sacerdoti... 1. profiling code added
2005-09-20 Claudio Sacerdoti... Profiling did not profile functions that raise an excep...
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 Stefano Zacchirolichanged ast representation of exists
2005-09-20 Stefano Zacchirolipretty printing of literals is now subject to the debug...
2005-09-20 Stefano Zacchirolichanged ast representation of exists, now an 'exists...
2005-09-20 Stefano Zacchirolibugfix in default magic handling: consider as having...
2005-09-20 Stefano Zacchiroli- bugfix: eta abstractions ignores attributed node...
2005-09-20 Stefano Zacchirolimore refere to bindings in env type definition
2005-09-20 Enrico Tassifixed matitadep: now it should consider ALL depndencies
2005-09-20 Enrico Tassiadded a minimal parser to extract informations relevant...
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... Profiling disabled.
2005-09-19 Claudio Sacerdoti... ...
2005-09-19 Claudio Sacerdoti... This commit (partially) removes a big source of ineffic...
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 Stefano Zacchiroli- bugfix: when backtracking restore the appropriate...
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-19 Claudio Sacerdoti... Profiling code commented out.
2005-09-19 Claudio Sacerdoti... CicUtil.profile made even more polymorphic.
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-16 Stefano Zacchiroliadded entites/overrides for leq, geq, nleq, ngeq, to
2005-09-16 Stefano Zacchirolire-generated
2005-09-16 Stefano Zacchiroliuses Hashtbl.replace instead of Hashtbl.add so that:
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... Yet another implementation of the single aliases /...
2005-09-15 Claudio Sacerdoti... ...
2005-09-15 Stefano Zacchiroliimproved discriminate test: check if it works on induct...
2005-09-15 Stefano Zacchirolibugfix in discriminate: now works also with inductive...
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 Zacchiroliuniformed ppmetasenv to other pp* methods: substs are...
2005-09-15 Stefano Zacchirolimoved matita logo in the right place
next