]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
...
[helm.git] / helm / ocaml /
2005-09-06 Claudio Sacerdoti... Refiner substituted with the type-checker in a case... tree | commitdiff
2005-09-06 Claudio Sacerdoti... ... tree | commitdiff
2005-09-06 Claudio Sacerdoti... Dead code/files removed. tree | commitdiff
2005-09-06 Stefano Zacchiroliremoved debugging prints and better sample tree | commitdiff
2005-09-06 Stefano Zacchiroliadded <include href="foo/bar/baz.xml" /> support tree | commitdiff
2005-09-06 Claudio Sacerdoti... Serious bug fixed: unsharing was not performed over... tree | commitdiff
2005-09-06 Claudio Sacerdoti... Dead code removed. tree | commitdiff
2005-09-05 Claudio Sacerdoti... Unfold tactic generalized to perform zeta-reduction. tree | commitdiff
2005-09-05 Claudio Sacerdoti... locate_in_* functions generalized to handle equalities... tree | commitdiff
2005-09-05 Claudio Sacerdoti... New change in patterns: the pattern "in H" is now inter... tree | commitdiff
2005-09-05 Claudio Sacerdoti... The refined form of a reference to a let-in bound varia... tree | commitdiff
2005-09-05 Stefano Zacchiroliuse uniform naming for referencing cicNotation* modules tree | commitdiff
2005-09-05 Stefano Zacchiroliremoved tedious debugging message tree | commitdiff
2005-09-05 Stefano Zacchiroliavoid generating multiple times the same xref/href tree | commitdiff
2005-09-05 Enrico Tassifix generation of applications of applications. tree | commitdiff
2005-09-05 Enrico Tassiadded @raise in comment (and source) tree | commitdiff
2005-09-05 Claudio Sacerdoti... New strategy for let-in unfolding (aka zeta reduction... tree | commitdiff
2005-09-05 Claudio Sacerdoti... Critical bug fixed: the get_cooked_obj was called on... tree | commitdiff
2005-09-05 Claudio Sacerdoti... Bug fixed: Invalid_argument was raised by List.combine... tree | commitdiff
2005-09-02 Claudio Sacerdoti... Unsharing finally introduced (but just for object proce... tree | commitdiff
2005-09-02 Claudio Sacerdoti... Bug fixed: sorts and implicits were not unshared correctly. tree | commitdiff
2005-09-02 Claudio Sacerdoti... Assert added to check whether an unsharing problem... tree | commitdiff
2005-09-02 Claudio Sacerdoti... Serious bug fixed previously introduced by me in the... tree | commitdiff
2005-09-02 Claudio Sacerdoti... Unused index (because of UNIQUE field count) dropped. tree | commitdiff
2005-09-01 Claudio Sacerdoti... New index refObj_occurrence on refObj. It is required... tree | commitdiff
2005-09-01 Alberto Griggiochanged default parameter values... tree | commitdiff
2005-09-01 Claudio Sacerdoti... Comment added. tree | commitdiff
2005-08-31 Alberto Griggiofixed bug in compute_equality_weight caused by wrong... tree | commitdiff
2005-08-30 Claudio Sacerdoti... Bug fixed: "cic:/dummy_i" is an invalid URI (that used... tree | commitdiff
2005-08-30 Claudio Sacerdoti... A parser for aliases implemented (required by the Whelp). tree | commitdiff
2005-08-30 Claudio Sacerdoti... CicNotationPres self-reference (misteriously accepted... tree | commitdiff
2005-08-29 Claudio Sacerdoti... WARNING: this commit changes the DB representation... tree | commitdiff
2005-08-22 Alberto Griggiosome fixes tree | commitdiff
2005-08-12 Stefano Zacchiroliimproved some comments tree | commitdiff
2005-08-05 Alberto Griggiosome bugs fixed tree | commitdiff
2005-08-01 Alberto Griggiofixed compilation warnings tree | commitdiff
2005-07-28 Claudio Sacerdoti... 1. ProofEngineHelpers.locate_in_term, ProofEngineHelper... tree | commitdiff
2005-07-28 Claudio Sacerdoti... Bug fixed: unfold used to work iff the term to unfold... tree | commitdiff
2005-07-28 Claudio Sacerdoti... arguments of ProofEngineHelpers.replace swapped. tree | commitdiff
2005-07-28 Claudio Sacerdoti... Bug fixed: locate_term_in_conjecture used to raise... tree | commitdiff
2005-07-28 Claudio Sacerdoti... New tactic unfold. tree | commitdiff
2005-07-28 Stefano Zacchiroliadded pretty printing of unicode symbols to TeX like... tree | commitdiff
2005-07-28 Stefano Zacchiroliadded attributes re-factoring item tree | commitdiff
2005-07-28 Stefano Zacchiroliadded reverse mapping from unicode to TeX like macro... tree | commitdiff
2005-07-28 Stefano Zacchiroliworkaround for an assertion failure during rendering... tree | commitdiff
2005-07-27 Stefano Zacchirolifixed cic_notation dependencies tree | commitdiff
2005-07-27 Stefano Zacchirolibetter boxes (with more line breaking hints) for object... tree | commitdiff
2005-07-27 Stefano Zacchiroli*** empty log message *** tree | commitdiff
2005-07-27 Stefano Zacchirolibugfix: added xref on ast built via pattern matching... tree | commitdiff
2005-07-27 Stefano Zacchiroliadded id_of_annterm: Cic.annterm -> Cic.id tree | commitdiff
2005-07-27 Stefano Zacchirolibugfix: no more xref on bound names tree | commitdiff
2005-07-27 Stefano Zacchiroliadded low level rendering attributes (indent, spacing... tree | commitdiff
2005-07-27 Stefano Zacchirolirendering from markup to string tree | commitdiff
2005-07-27 Stefano Zacchiroliimproved debugging pretty printing of xref tree | commitdiff
2005-07-26 Claudio Sacerdoti... locate_in_term generalized to locate_in_conjecture tree | commitdiff
2005-07-26 Claudio Sacerdoti... Comments added. tree | commitdiff
2005-07-26 Claudio Sacerdoti... Implementation of locate_in finished. tree | commitdiff
2005-07-26 Stefano Zacchirolitypo s/\\OF/\\of/ tree | commitdiff
2005-07-26 Stefano Zacchirolifixed typo in helpers for generating hv and hov boxes tree | commitdiff
2005-07-26 Stefano Zacchirolidraft version of locate_in_term tree | commitdiff
2005-07-26 Claudio Sacerdoti... **** Experimental: **** tree | commitdiff
2005-07-26 Claudio Sacerdoti... Bug fixed: list_uniq o List.sort used in the lookup... tree | commitdiff
2005-07-25 Stefano Zacchiroliimplemented transformations on top of notation code tree | commitdiff
2005-07-25 Stefano Zacchirolimoved add_xml_declaration here tree | commitdiff
2005-07-25 Stefano Zacchiroli- addded unicode_of_tex tree | commitdiff
2005-07-25 Claudio Sacerdoti... ... tree | commitdiff
2005-07-22 Alberto Griggioadded optional "paramodulation" parameter to auto to... tree | commitdiff
2005-07-22 Alberto Griggio- better exception handling tree | commitdiff
2005-07-22 Andrea AspertiCicEnvironment.remove did not remove the object from... tree | commitdiff
2005-07-21 Alberto Griggioadded some typechecks to avoid using equations with... tree | commitdiff
2005-07-21 Alberto Griggiodependencies tree | commitdiff
2005-07-21 Alberto Griggioremoved .depend from .cvsignore tree | commitdiff
2005-07-21 Alberto Griggioadded some typechecks to avoid using equations with... tree | commitdiff
2005-07-21 Alberto Griggioadded CicNotation.load_notation call to disambiguate... tree | commitdiff
2005-07-21 Alberto Griggioif paramodulation fails, go on with the normal auto... tree | commitdiff
2005-07-21 Alberto Griggioremoved old broken code tree | commitdiff
2005-07-21 Alberto Griggiointegration with paramodulation tree | commitdiff
2005-07-21 Alberto Griggiomodifications/fixes for the integration with auto tree | commitdiff
2005-07-21 Alberto Griggioentry point of the stand-alone saturate tree | commitdiff
2005-07-21 Alberto Griggioadded paramodulation package tree | commitdiff
2005-07-20 Claudio Sacerdoti... Debugging code commented out. tree | commitdiff
2005-07-20 Claudio Sacerdoti... Empty Box.Text changed to Box.smallskip. tree | commitdiff
2005-07-20 Claudio Sacerdoti... Pretty printing of the disambiguation environment no... tree | commitdiff
2005-07-20 Andrea AspertiAssert false removed (although conceptually correct). tree | commitdiff
2005-07-19 Claudio Sacerdoti... Missing case (Cast) implemented. tree | commitdiff
2005-07-19 Andrea AspertifreshNamesGenerator moved into cic_proof_checking. tree | commitdiff
2005-07-19 Andrea AspertiMoved freshNameGenerator inside cic_proof_checking... tree | commitdiff
2005-07-19 Ferruccio Guidithe decompose tactic is now working tree | commitdiff
2005-07-19 Stefano Zacchirolihandled difference associativity for the same level... tree | commitdiff
2005-07-18 Stefano Zacchiroliadded generation og disambiguator META (future name... tree | commitdiff
2005-07-18 Stefano Zacchiroli- synced notation pretty printing with parsing syntax tree | commitdiff
2005-07-18 Claudio Sacerdoti... ANALYZE TABLE ==> OPTIMIZE TABLE tree | commitdiff
2005-07-18 Stefano Zacchiroli- removed old parser tree | commitdiff
2005-07-18 Stefano Zacchirolimerged cic_notation with disambiguation: good luck! tree | commitdiff
2005-07-18 Alberto Griggioadding library support (not ready yet) tree | commitdiff
2005-07-15 Andrea AspertiNew version of name checking. tree | commitdiff
2005-07-14 Stefano Zacchirolisnapshot, notably: tree | commitdiff
2005-07-14 Luca Padovani* added group box (?) tree | commitdiff
2005-07-14 Stefano Zacchirolibugfix: removed spurious section "helm_registry" from... tree | commitdiff
2005-07-13 Stefano Zacchiroliadded XmlAttrs attribute for specification of xml attri... tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.