]> matita.cs.unibo.it Git - helm.git/history - helm
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
- removed mandatory parens for application
[helm.git] / helm /
2004-10-04 Stefano Zacchiroli- removed mandatory parens for application tree | commitdiff
2004-10-04 Stefano Zacchiroli"in" and "and" are now keywords tree | commitdiff
2004-10-04 Stefano Zacchirolisplitted History module out of StatefulProofEngine tree | commitdiff
2004-10-04 Stefano Zacchiroli- splitted out History module tree | commitdiff
2004-10-04 Stefano Zacchirolixmldiff's META tree | commitdiff
2004-10-04 Stefano Zacchirolimoved xmldiff module away from gTopLevel tree | commitdiff
2004-10-04 Stefano Zacchirolisnapshot tree | commitdiff
2004-10-01 Stefano Zacchirolisnapshot tree | commitdiff
2004-10-01 Stefano Zacchirolisnapshot tree | commitdiff
2004-09-29 Stefano Zacchirolibumped deps to 0.6.4 tree | commitdiff
2004-09-29 Stefano Zacchirolibumped version to 0.6.4 tree | commitdiff
2004-09-28 Luca Padovani* minor correction to make the new mathml widget work... tree | commitdiff
2004-09-28 Luca Padovani* the transformations have been ported so to generate... tree | commitdiff
2004-09-27 Luca Padovani* removed PREDICATES tree | commitdiff
2004-09-20 Stefano Zacchiroliadded initial_status tree | commitdiff
2004-09-20 Stefano Zacchirolifixed parse error for ocaml 3.08 tree | commitdiff
2004-09-17 Ferruccio Guidimeta_closed added tree | commitdiff
2004-09-17 Stefano Zacchirolifixed cictheory:/ bug (thanks Lionel for the patch) tree | commitdiff
2004-09-16 Claudio Sacerdoti... The jsmenu is now under CVS. tree | commitdiff
2004-09-14 Luca Padovani* the click signal now acts on both maction (MathML... tree | commitdiff
2004-09-09 Ferruccio Guidinow should run also when the db is down (untested) tree | commitdiff
2004-09-09 Stefano Zacchirolibumped deps on ocamlnet to 0.98 tree | commitdiff
2004-09-09 Stefano Zacchiroliported to ocamlnet 0.98 tree | commitdiff
2004-09-09 Stefano Zacchiroliported to latest lablgtkmathview tree | commitdiff
2004-09-09 Stefano Zacchiroliported to pxp 1.1.95's event parser tree | commitdiff
2004-09-09 Stefano Zacchiroliadded hyperlinks for getalluris/ in help message tree | commitdiff
2004-09-08 Stefano Zacchirolifixed some illegal backslash escapes tree | commitdiff
2004-09-06 Ferruccio Guidibug in constraint generation for variables fixed tree | commitdiff
2004-09-06 Andrea AspertiCorrected bug about the generation of constraitns:... tree | commitdiff
2004-09-01 Andrea AspertiBug fixing: the call to MQueryMisc.wrong_xpointer_forma... tree | commitdiff
2004-08-27 Stefano Zacchiroliported to ocaml 3.08 tree | commitdiff
2004-08-25 Stefano Zacchirolidebian version 0.0.6-6 tree | commitdiff
2004-08-25 Stefano Zacchirolidebian version 0.6.3-2 tree | commitdiff
2004-08-05 Stefano Zacchiroliported location handling to camlp4 3.08 tree | commitdiff
2004-08-05 Stefano Zacchirolifixed some invalid backslash escapes tree | commitdiff
2004-08-05 Stefano Zacchirolifixed some illegal backslash escapes tree | commitdiff
2004-08-05 Stefano Zacchirolifixed .mli syntax for polymorphic methods (apparently... tree | commitdiff
2004-08-05 Stefano Zacchirolifixed some invalid backslash escapes tree | commitdiff
2004-07-31 Luca Padovani* porting to gtkmathview 0.6.3 tree | commitdiff
2004-07-30 Luca Padovani* fixed bug of multiple selections tree | commitdiff
2004-07-29 Stefano Zacchiroli(pre-)porting to gtkmathview 0.6.3 && ocaml 3.08 tree | commitdiff
2004-07-27 Luca Padovani* update to version 0.6.4 of the widget tree | commitdiff
2004-07-27 Stefano Zacchiroliported to ocaml 3.08 tree | commitdiff
2004-07-26 Stefano Zacchiroliported debian stuff to ocaml 3.08 tree | commitdiff
2004-07-20 Andrea AspertiThe type substitution has been moved into Cic. tree | commitdiff
2004-07-20 Andrea AspertiSubst has been added to the kernel. tree | commitdiff
2004-07-15 Luca Padovani* split evil let definition (ic, oc) = ... into two... tree | commitdiff
2004-07-13 Matteo SelmiModified filtering function tree | commitdiff
2004-07-05 Claudio Sacerdoti... cleanURI now removes also the part that follows the... tree | commitdiff
2004-07-05 Claudio Sacerdoti... The URI passed to the control frame must be clean ... tree | commitdiff
2004-07-05 Claudio Sacerdoti... The part after # must be removed for the control frame. tree | commitdiff
2004-07-05 Stefano ZacchiroliBug fixed: beta_expand did not perform any recursion... tree | commitdiff
2004-07-05 Stefano Zacchirolicommeted out some debugging instructions tree | commitdiff
2004-07-05 Stefano Zacchirolicommented out some debugging instructions tree | commitdiff
2004-07-02 Claudio Sacerdoti... Bug fixed: eta_expand did not perform any recursion... tree | commitdiff
2004-07-02 Claudio Sacerdoti... Bug fixed: the beta_expansion function did not lift... tree | commitdiff
2004-07-01 Andrea Asperti... tree | commitdiff
2004-07-01 Stefano ZacchiroliNew handling of substitution: tree | commitdiff
2004-07-01 Stefano Zacchiroliadded (commented) benchmarking code for the disambiguat... tree | commitdiff
2004-06-28 Andrea Aspertiremoved a useless test on explicit substitutions on... tree | commitdiff
2004-06-28 Andrea Aspertiuse get_obj to retrieve cic objects instead of typecheck tree | commitdiff
2004-06-28 Andrea Aspertifixed typo tree | commitdiff
2004-06-28 Andrea Asperti- new implementation of the apply case in fo_unif using... tree | commitdiff
2004-06-22 Stefano Zacchiroliugliness changes: tree | commitdiff
2004-06-18 Matteo SelmiCorrections to "auto" tactic tree | commitdiff
2004-06-18 Claudio Sacerdoti... elim_tac rewritten almost entirely. It is now based... tree | commitdiff
2004-06-18 Claudio Sacerdoti... Added new function compare_metasenvs. tree | commitdiff
2004-06-18 Claudio Sacerdoti... Comments changed. tree | commitdiff
2004-06-18 Claudio Sacerdoti... - In the case (?i args) vs term the term is now eta... tree | commitdiff
2004-06-18 Claudio Sacerdoti... New syntax. tree | commitdiff
2004-06-18 Claudio Sacerdoti... Fourier URIs changed in V8. tree | commitdiff
2004-06-17 Claudio Sacerdoti... - moogle replaces the old search engine tree | commitdiff
2004-06-17 Stefano Zacchirolibugfix: ignore proof checker output tree | commitdiff
2004-06-16 Claudio Sacerdoti... atmost/atleast/exactly constraints are now used only... tree | commitdiff
2004-06-16 Stefano Zacchiroliin the particular case of simple searches, Andrea atmos... tree | commitdiff
2004-06-16 Andrea Aspertifirst moogle commit tree | commitdiff
2004-06-10 Claudio Sacerdoti... search.xsl added. tree | commitdiff
2004-06-10 Claudio Sacerdoti... Added search.xsl (S). tree | commitdiff
2004-06-10 Claudio Sacerdoti... Stylesheet whose input is an empty document. It calls the tree | commitdiff
2004-06-10 Claudio Sacerdoti... New profile param: searchengineURL tree | commitdiff
2004-06-10 Claudio Sacerdoti... Uncommited changes committed. tree | commitdiff
2004-06-10 Claudio Sacerdoti... Interface URL can now be setted using the control panel. tree | commitdiff
2004-06-10 Claudio Sacerdoti... Interface URL can now be setted. tree | commitdiff
2004-06-09 Claudio Sacerdoti... The normalization of URIs when the DB is empty (or... tree | commitdiff
2004-06-09 Claudio Sacerdoti... - new stylesheets in the predefined set tree | commitdiff
2004-06-08 Claudio Sacerdoti... New attributes for ht:* elements proposed by Nijmegen. tree | commitdiff
2004-06-03 Claudio Sacerdoti... Objects ordering is now case-insensite. tree | commitdiff
2004-06-02 Enrico Tassifix for proofEngineTypes.mli tree | commitdiff
2004-06-01 Enrico Tassinew universes implementation tree | commitdiff
2004-05-31 Claudio Sacerdoti... Ordering is now done in no-case style. tree | commitdiff
2004-05-31 Claudio Sacerdoti... theory:path/index.theory are not rewritten to theory... tree | commitdiff
2004-05-31 Matteo SelmiNew filtering function for "Auto" tactic using "just... tree | commitdiff
2004-05-30 Claudio Sacerdoti... Back compatibility code introduced: tree | commitdiff
2004-05-30 Claudio Sacerdoti... The theory index.theory, if present, is shown at the... tree | commitdiff
2004-05-28 Luca Padovani* makeProofTreeURL ported to the new interface tree | commitdiff
2004-05-28 Claudio Sacerdoti... .body removed from bread crumb trail tree | commitdiff
2004-05-28 Claudio Sacerdoti... Links in the control frame when the URI ends with ... tree | commitdiff
2004-05-28 Claudio Sacerdoti... <xsl:import href="toplevel_header.xsl"/> tree | commitdiff
2004-05-28 Claudio Sacerdoti... <h1> ==> <h3> tree | commitdiff
2004-05-28 Claudio Sacerdoti... stylesheet L added to the metadata chain tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.