]> 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-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
2005-07-13 Stefano Zacchirolibugfix: "LPAREN" vs LPAREN tree | commitdiff
2005-07-13 Stefano Zacchirolisnapshot tree | commitdiff
2005-07-12 Luca Padovanisnapshot tree | commitdiff
2005-07-12 Andrea AspertiAdded a function equations_for_goal similar to signatur... tree | commitdiff
2005-07-11 Alberto Griggionow proofs have the correct type :-) tree | commitdiff
2005-07-11 Luca Padovani* implemented unless tree | commitdiff
2005-07-11 Enrico Tassitentative hack for the incredible DB slowdown. tree | commitdiff
2005-07-11 Claudio Sacerdoti... Bug fixed: the left parameters of a record or inductive... tree | commitdiff
2005-07-11 Luca Padovani* added backtracking in matching code (hairy code!) tree | commitdiff
2005-07-11 Luca Padovani* various bug fix related to the environment returned... tree | commitdiff
2005-07-11 Claudio Sacerdoti... The outtype of the MutCase of the generated elimination... tree | commitdiff
2005-07-11 Claudio Sacerdoti... Bug fixed in check_sort_elimination in the case (not... tree | commitdiff
2005-07-11 Claudio Sacerdoti... Bug fixed: the generated elimination principles used... tree | commitdiff
2005-07-09 Stefano Zacchirolibuilt test_{lexer,parser} per default tree | commitdiff
2005-07-09 Stefano Zacchiroliremoved dependency on gdome2-xslt tree | commitdiff
2005-07-09 Claudio Sacerdoti... Some terms were processed in the wrong context. tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.