]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2005-08-29 Claudio Sacerdoti... ...
2005-08-29 Claudio Sacerdoti... ...
2005-08-28 Claudio Sacerdoti... ...
2005-08-24 Claudio Sacerdoti... ...
2005-08-22 Alberto Griggiosome fixes
2005-08-22 Claudio Sacerdoti... ...
2005-08-22 Claudio Sacerdoti... Comment removed.
2005-08-22 Claudio Sacerdoti... Paramodulation bug fixed.
2005-08-22 Andrea AspertiAdded datatypes/constructors.ma
2005-08-22 Andrea AspertiNew entries in nat: factorial.ma minimization.ma primes...
2005-08-22 Andrea AspertiAdded Z/plus.ma e Z/compare.ma.
2005-08-22 Andrea AspertiThe library grows...
2005-08-22 Andrea AspertiAdded q.ma.
2005-08-18 Stefano Zacchiroliready for 0.1.1 release
2005-08-16 Stefano Zacchiroliintegrated Eric's patch for HTTP/1.1 persistant connections
2005-08-12 Stefano Zacchiroliimproved some comments
2005-08-05 Alberto Griggiosome bugs fixed
2005-08-01 Alberto Griggiofixed compilation warnings
2005-08-01 Stefano Zacchiroliadded homepage URL, now we have one
2005-08-01 Stefano Zacchirolibumped standards version
2005-08-01 Stefano Zacchirolido not install empty NEWS file
2005-08-01 Stefano Zacchirolibumped timestemp, closed ITP
2005-07-31 Stefano Zacchirolifilled end user information
2005-07-31 Stefano Zacchirolipackaging cleanup: get rid of ancient debhelpers, use...
2005-07-31 Stefano Zacchiroliignore some autotools stuff
2005-07-31 Stefano Zacchirolilablgtkmathview 0.7.2
2005-07-29 Claudio Sacerdoti... Partial bug fix: every inner type is now added to the...
2005-07-29 Claudio Sacerdoti... 0. core_notation.ma splitted into coq.moo and core_nota...
2005-07-28 Claudio Sacerdoti... This test stresses automatic insertion.
2005-07-28 Claudio Sacerdoti... The logo is now showed in the sequents_viewer window...
2005-07-28 Stefano Zacchiroli- re-factoring: dropped sequentViewer in favour of...
2005-07-28 Claudio Sacerdoti... Logo added to the about dialog.
2005-07-28 Claudio Sacerdoti... 1. ProofEngineHelpers.locate_in_term, ProofEngineHelper...
2005-07-28 Claudio Sacerdoti... New tactic: unfold.
2005-07-28 Claudio Sacerdoti... Bug fixed: unfold used to work iff the term to unfold...
2005-07-28 Claudio Sacerdoti... arguments of ProofEngineHelpers.replace swapped.
2005-07-28 Stefano Zacchirolibugfix: call add_selection_target each time selection...
2005-07-28 Claudio Sacerdoti... Bug fixed: locate_term_in_conjecture used to raise...
2005-07-28 Stefano Zacchiroliadded support for (textual) cut and paste of mathml...
2005-07-28 Claudio Sacerdoti... New tactic unfold.
2005-07-28 Stefano Zacchiroliadded pretty printing of unicode symbols to TeX like...
2005-07-28 Stefano Zacchiroliadded attributes re-factoring item
2005-07-28 Stefano Zacchiroliadded reverse mapping from unicode to TeX like macro...
2005-07-28 Claudio Sacerdoti... ...
2005-07-28 Claudio Sacerdoti... ...
2005-07-28 Stefano Zacchiroliworkaround for an assertion failure during rendering...
2005-07-28 Andrea Aspertiremoved orders_op from library (now in le_arith and...
2005-07-28 Claudio Sacerdoti... ...
2005-07-28 Claudio Sacerdoti... This commit re-commits version 1.61, removing the error...
2005-07-28 Claudio Sacerdoti... REVERT OF MY PREVIOUS COMMIT THAT INTRODUCES A CRITICAL...
2005-07-28 Claudio Sacerdoti... Committing all the recent development of Andrea after...
2005-07-28 Claudio Sacerdoti... More notation.
2005-07-28 Claudio Sacerdoti... Management of automatic insertion of aliases and "goal...
2005-07-28 Claudio Sacerdoti... Code simplification.
2005-07-27 Claudio Sacerdoti... Bug fixed: added a _undoable_action critical section...
2005-07-27 Claudio Sacerdoti... dead code removed
2005-07-27 Enrico Tassifixed matitamake to handle development with names with...
2005-07-27 Stefano Zacchirolirefactored gui handling code so that MatitaMathView...
2005-07-27 Claudio Sacerdoti... ...
2005-07-27 Enrico TassimatitaMisc.ml
2005-07-27 Enrico Tassisafe mkdir implemented
2005-07-27 Stefano Zacchiroliproof of concept implementation of cut and paste from...
2005-07-27 Stefano Zacchirolirenamed development related windows
2005-07-27 Stefano Zacchiroliadded #proofConclusion
2005-07-27 Stefano Zacchirolicosmetic changes
2005-07-27 Stefano Zacchiroliadded get_proof_conclusione and list_tl_at
2005-07-27 Stefano Zacchirolihighlighted notation keywords
2005-07-27 Claudio Sacerdoti... ...
2005-07-27 Stefano Zacchirolifixed cic_notation dependencies
2005-07-27 Stefano Zacchirolibetter boxes (with more line breaking hints) for object...
2005-07-27 Stefano Zacchiroli*** empty log message ***
2005-07-27 Stefano Zacchirolibugfix: added xref on ast built via pattern matching...
2005-07-27 Stefano Zacchiroliadded id_of_annterm: Cic.annterm -> Cic.id
2005-07-27 Stefano Zacchirolibugfix: no more xref on bound names
2005-07-27 Stefano Zacchiroliadded low level rendering attributes (indent, spacing...
2005-07-27 Stefano Zacchirolirendering from markup to string
2005-07-27 Stefano Zacchiroliimproved debugging pretty printing of xref
2005-07-26 Claudio Sacerdoti... "Coq's " prefix added to every interpretation.
2005-07-26 Claudio Sacerdoti... Flickering bug fixed.
2005-07-26 Claudio Sacerdoti... locate_in_term generalized to locate_in_conjecture
2005-07-26 Claudio Sacerdoti... Comments added.
2005-07-26 Claudio Sacerdoti... Bug solved: the #reparent method of Gtk should NOT...
2005-07-26 Claudio Sacerdoti... Implementation of locate_in finished.
2005-07-26 Stefano Zacchirolitypo s/\\OF/\\of/
2005-07-26 Stefano Zacchirolifixed typo in helpers for generating hv and hov boxes
2005-07-26 Stefano Zacchirolidraft version of locate_in_term
2005-07-26 Claudio Sacerdoti... ...
2005-07-26 Stefano Zacchiroliunreleased version of the bindings, with more gtkmathvi...
2005-07-26 Claudio Sacerdoti... ...
2005-07-26 Claudio Sacerdoti... **** Experimental: ****
2005-07-26 Claudio Sacerdoti... typo fixed
2005-07-26 Claudio Sacerdoti... "Coq's " prefix added to every interpretation.
2005-07-26 Claudio Sacerdoti... Bug fixed: list_uniq o List.sort used in the lookup...
2005-07-26 Enrico Tassibigger disambiguate chiuches win
2005-07-26 Enrico Tassi...
2005-07-25 Claudio Sacerdoti... More notation (up to where the open bugs allow me to...
2005-07-25 Claudio Sacerdoti... A little bit more of notation here and there.
2005-07-25 Ferruccio Guidisome more changes and corrections
2005-07-25 Claudio Sacerdoti... Notation for equality used everywhere.
2005-07-25 Claudio Sacerdoti... ...
next