]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
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
2005-09-15 Stefano Zacchirolibugfix: default "false" used to set the _true_ uri ...
2005-09-14 Stefano Zacchirolifixed a finalization issue for connections closed twice
2005-09-14 Enrico Tassibugfixes:
2005-09-14 Stefano Zacchirolidone some items
2005-09-14 Stefano Zacchiroliadded hyperlinks on case pattern heads and outtype
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 Claudio Sacerdoti... Enabling/disabling profiling is now controlled by a...
2005-09-13 Enrico Tassiwe have to pass back lastmeta and not newmeta (newmeta...
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 Zacchirolifixed "let .. in" rendering, adding the break between...
2005-09-13 Stefano Zacchiroli- changed moo representation in MatitaTypes.status...
2005-09-13 Stefano Zacchirolicosmetic changes
2005-09-13 Stefano Zacchirolifixed dummy_floc
2005-09-13 Stefano Zacchiroli- fixed dummy_floc (now in DisambiguateTypes)
2005-09-13 Stefano Zacchiroliadded moo dumping debug item
2005-09-13 Stefano Zacchiroliremove matitamake binaries on clean
2005-09-13 Stefano Zacchiroliadded "commands_of_environment"
2005-09-13 Stefano Zacchiroliregenerated
2005-09-13 Stefano Zacchirolimoved dummy_floc from Disambiguate to DisambiguateTypes...
2005-09-13 Claudio Sacerdoti... ...
2005-09-13 Claudio Sacerdoti... ...
2005-09-13 Claudio Sacerdoti... Test fixed.
2005-09-13 Claudio Sacerdoti... Two bugs fixed in the apply tactic:
2005-09-12 Claudio Sacerdoti... cic_textual_parser2 ==> cic_disambiguation
2005-09-12 Claudio Sacerdoti... cic_textual_parser2 ==> cic_disambiguation
2005-09-12 Claudio Sacerdoti... core_notation.ma ==> core_notation.moo
2005-09-12 Stefano Zacchiroliremoved left-spacing of 2 em for '(' (useful only for...
2005-09-12 Stefano Zacchiroli- de-ALB-ing
2005-09-12 Stefano Zacchirolicic_textual_parser2 -> cic_disambiguation
2005-09-12 Stefano Zacchiroliremoved debugging print
2005-09-12 Stefano Zacchiroliremoved work-arounds for poor disambiguation, which...
2005-09-12 Stefano ZacchiroliAdded support for multiple disambiguation passes.
2005-09-12 Stefano Zacchiroliadded support for multi-aliases in disambiguation envir...
2005-09-12 Stefano Zacchiroliadded use_coercions flag (imperative :-(, non re-entran...
2005-09-12 Claudio Sacerdoti... Comment removed.
2005-09-12 Claudio Sacerdoti... ...
2005-09-12 Claudio Sacerdoti... ...
2005-09-12 Stefano Zacchiroli- exported CPS iterator visit_magic
2005-09-12 Stefano ZacchiroliFilled pre-generated notation levels with productions...
2005-09-12 Stefano Zacchirolidone some items
2005-09-12 Stefano Zacchirolicommented Record type constructor
2005-09-12 Claudio Sacerdoti... An old note (that goes back to July) integrated in...
2005-09-09 Enrico Tassithe case Appl Meta vs t was not executed in case t...
2005-09-09 Enrico Tassiworkaround for sequent viewer flickering
2005-09-09 Enrico Tassiadded left/right
2005-09-08 Claudio Sacerdoti... ...
2005-09-08 Stefano Zacchiroliremoved some debugging prints
2005-09-08 Stefano Zacchiroliitems related to lazy parsing
2005-09-08 Stefano Zacchiroliimplemented lazy disambiguation of tactics arguments...
2005-09-08 Stefano Zacchiroliadded set_metasenv on proof_status
2005-09-08 Stefano Zacchiroli- uses runtime base dir to reference logo with qed
2005-09-08 Stefano Zacchiroliremoved some dead code
2005-09-08 Stefano Zacchirolitests changing under a binder
2005-09-08 Stefano Zacchiroliuses Map.equal to compare universes
2005-09-08 Stefano Zacchirolicompleted test
2005-09-07 Claudio Sacerdoti... Unsharing bugs fixed.
2005-09-07 Claudio Sacerdoti... Unsharing bug due to a very stupid typo fixed.
2005-09-07 Claudio Sacerdoti... ...
next