]> matita.cs.unibo.it Git - helm.git/shortlog
projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
2004-07-31 Luca Padovani* porting to gtkmathview 0.6.3 commit | commitdiff | tree | snapshot
2004-07-30 Luca Padovani* fixed bug of multiple selections commit | commitdiff | tree | snapshot
2004-07-29 Stefano Zacchiroli(pre-)porting to gtkmathview 0.6.3 && ocaml 3.08 commit | commitdiff | tree | snapshot
2004-07-27 Luca Padovani* update to version 0.6.4 of the widget commit | commitdiff | tree | snapshot
2004-07-27 Stefano Zacchiroliported to ocaml 3.08 commit | commitdiff | tree | snapshot
2004-07-26 Stefano Zacchiroliported debian stuff to ocaml 3.08 commit | commitdiff | tree | snapshot
2004-07-20 Andrea AspertiThe type substitution has been moved into Cic. commit | commitdiff | tree | snapshot
2004-07-20 Andrea AspertiSubst has been added to the kernel. commit | commitdiff | tree | snapshot
2004-07-15 Luca Padovani* split evil let definition (ic, oc) = ... into two... commit | commitdiff | tree | snapshot
2004-07-13 Matteo SelmiModified filtering function commit | commitdiff | tree | snapshot
2004-07-05 Claudio Sacerdoti... cleanURI now removes also the part that follows the... commit | commitdiff | tree | snapshot
2004-07-05 Claudio Sacerdoti... The URI passed to the control frame must be clean ... commit | commitdiff | tree | snapshot
2004-07-05 Claudio Sacerdoti... The part after # must be removed for the control frame. commit | commitdiff | tree | snapshot
2004-07-05 Stefano ZacchiroliBug fixed: beta_expand did not perform any recursion... commit | commitdiff | tree | snapshot
2004-07-05 Stefano Zacchirolicommeted out some debugging instructions commit | commitdiff | tree | snapshot
2004-07-05 Stefano Zacchirolicommented out some debugging instructions commit | commitdiff | tree | snapshot
2004-07-02 Claudio Sacerdoti... Bug fixed: eta_expand did not perform any recursion... commit | commitdiff | tree | snapshot
2004-07-02 Claudio Sacerdoti... Bug fixed: the beta_expansion function did not lift... commit | commitdiff | tree | snapshot
2004-07-01 Andrea Asperti... commit | commitdiff | tree | snapshot
2004-07-01 Stefano ZacchiroliNew handling of substitution: commit | commitdiff | tree | snapshot
2004-07-01 Stefano Zacchiroliadded (commented) benchmarking code for the disambiguat... commit | commitdiff | tree | snapshot
2004-06-28 Andrea Aspertiremoved a useless test on explicit substitutions on... commit | commitdiff | tree | snapshot
2004-06-28 Andrea Aspertiuse get_obj to retrieve cic objects instead of typecheck commit | commitdiff | tree | snapshot
2004-06-28 Andrea Aspertifixed typo commit | commitdiff | tree | snapshot
2004-06-28 Andrea Asperti- new implementation of the apply case in fo_unif using... commit | commitdiff | tree | snapshot
2004-06-22 Stefano Zacchiroliugliness changes: commit | commitdiff | tree | snapshot
2004-06-18 Matteo SelmiCorrections to "auto" tactic commit | commitdiff | tree | snapshot
2004-06-18 Claudio Sacerdoti... elim_tac rewritten almost entirely. It is now based... commit | commitdiff | tree | snapshot
2004-06-18 Claudio Sacerdoti... Added new function compare_metasenvs. commit | commitdiff | tree | snapshot
2004-06-18 Claudio Sacerdoti... Comments changed. commit | commitdiff | tree | snapshot
2004-06-18 Claudio Sacerdoti... - In the case (?i args) vs term the term is now eta... commit | commitdiff | tree | snapshot
2004-06-18 Claudio Sacerdoti... New syntax. commit | commitdiff | tree | snapshot
2004-06-18 Claudio Sacerdoti... Fourier URIs changed in V8. commit | commitdiff | tree | snapshot
2004-06-17 Claudio Sacerdoti... - moogle replaces the old search engine commit | commitdiff | tree | snapshot
2004-06-17 Stefano Zacchirolibugfix: ignore proof checker output commit | commitdiff | tree | snapshot
2004-06-16 Claudio Sacerdoti... atmost/atleast/exactly constraints are now used only... commit | commitdiff | tree | snapshot
2004-06-16 Stefano Zacchiroliin the particular case of simple searches, Andrea atmos... commit | commitdiff | tree | snapshot
2004-06-16 Andrea Aspertifirst moogle commit commit | commitdiff | tree | snapshot
2004-06-10 Claudio Sacerdoti... search.xsl added. commit | commitdiff | tree | snapshot
2004-06-10 Claudio Sacerdoti... Added search.xsl (S). commit | commitdiff | tree | snapshot
2004-06-10 Claudio Sacerdoti... Stylesheet whose input is an empty document. It calls the commit | commitdiff | tree | snapshot
2004-06-10 Claudio Sacerdoti... New profile param: searchengineURL commit | commitdiff | tree | snapshot
2004-06-10 Claudio Sacerdoti... Uncommited changes committed. commit | commitdiff | tree | snapshot
2004-06-10 Claudio Sacerdoti... Interface URL can now be setted using the control panel. commit | commitdiff | tree | snapshot
2004-06-10 Claudio Sacerdoti... Interface URL can now be setted. commit | commitdiff | tree | snapshot
2004-06-09 Claudio Sacerdoti... The normalization of URIs when the DB is empty (or... commit | commitdiff | tree | snapshot
2004-06-09 Claudio Sacerdoti... - new stylesheets in the predefined set commit | commitdiff | tree | snapshot
2004-06-08 Claudio Sacerdoti... New attributes for ht:* elements proposed by Nijmegen. commit | commitdiff | tree | snapshot
2004-06-03 Claudio Sacerdoti... Objects ordering is now case-insensite. commit | commitdiff | tree | snapshot
2004-06-02 Enrico Tassifix for proofEngineTypes.mli commit | commitdiff | tree | snapshot
2004-06-01 Enrico Tassinew universes implementation commit | commitdiff | tree | snapshot
2004-05-31 Claudio Sacerdoti... Ordering is now done in no-case style. commit | commitdiff | tree | snapshot
2004-05-31 Claudio Sacerdoti... theory:path/index.theory are not rewritten to theory... commit | commitdiff | tree | snapshot
2004-05-31 Matteo SelmiNew filtering function for "Auto" tactic using "just... commit | commitdiff | tree | snapshot
2004-05-30 Claudio Sacerdoti... Back compatibility code introduced: commit | commitdiff | tree | snapshot
2004-05-30 Claudio Sacerdoti... The theory index.theory, if present, is shown at the... commit | commitdiff | tree | snapshot
2004-05-28 Luca Padovani* makeProofTreeURL ported to the new interface commit | commitdiff | tree | snapshot
2004-05-28 Claudio Sacerdoti... .body removed from bread crumb trail commit | commitdiff | tree | snapshot
2004-05-28 Claudio Sacerdoti... Links in the control frame when the URI ends with ... commit | commitdiff | tree | snapshot
2004-05-28 Claudio Sacerdoti... <xsl:import href="toplevel_header.xsl"/> commit | commitdiff | tree | snapshot
2004-05-28 Claudio Sacerdoti... <h1> ==> <h3> commit | commitdiff | tree | snapshot
2004-05-28 Claudio Sacerdoti... stylesheet L added to the metadata chain commit | commitdiff | tree | snapshot
2004-05-28 Claudio Sacerdoti... bread crumb trail added commit | commitdiff | tree | snapshot
2004-05-28 Claudio Sacerdoti... metadataLib.xsl merged into metadataControl.xsl commit | commitdiff | tree | snapshot
2004-05-28 Claudio Sacerdoti... Dead code removed. commit | commitdiff | tree | snapshot
2004-05-28 Claudio Sacerdoti... defaults.js no longer in use commit | commitdiff | tree | snapshot
2004-05-28 Claudio Sacerdoti... Files control.js graphLinks.js utils.js no longer in... commit | commitdiff | tree | snapshot
2004-05-28 Claudio Sacerdoti... Dead code inclusion removed. commit | commitdiff | tree | snapshot
2004-05-28 Claudio Sacerdoti... No longer in use. commit | commitdiff | tree | snapshot
2004-05-28 Claudio Sacerdoti... No longer in use. commit | commitdiff | tree | snapshot
2004-05-28 Claudio Sacerdoti... ls2html.xsl no longer in use commit | commitdiff | tree | snapshot
2004-05-27 Claudio Sacerdoti... Form to choose the number of nodes to show removed ;-( commit | commitdiff | tree | snapshot
2004-05-27 Claudio Sacerdoti... &2C ==> %2C commit | commitdiff | tree | snapshot
2004-05-27 Claudio Sacerdoti... Dead code removed. commit | commitdiff | tree | snapshot
2004-05-27 Claudio Sacerdoti... New HELM interface almost stable. commit | commitdiff | tree | snapshot
2004-05-27 Luca Padovani* it is now possible to set multiple parameters upon... commit | commitdiff | tree | snapshot
2004-05-27 Luca Padovani* setpassword passwords swapped commit | commitdiff | tree | snapshot
2004-05-27 Luca Padovani* implemented setparams method for setting multiple... commit | commitdiff | tree | snapshot
2004-05-26 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2004-05-26 Claudio Sacerdoti... param.processorURL added (need by the search engine) commit | commitdiff | tree | snapshot
2004-05-26 Claudio Sacerdoti... target="_top" added to Search. commit | commitdiff | tree | snapshot
2004-05-26 Claudio Sacerdoti... Link to the search-engine hard-coded. commit | commitdiff | tree | snapshot
2004-05-26 Claudio Sacerdoti... Major interface upgrade still going on. But we are... commit | commitdiff | tree | snapshot
2004-05-26 Claudio Sacerdoti... New icons. commit | commitdiff | tree | snapshot
2004-05-26 Claudio Sacerdoti... Major interface upgrade still going on. But we are... commit | commitdiff | tree | snapshot
2004-05-26 Claudio Sacerdoti... Bug fixed: ls?baseuri=(cic|theory):/a/ also returned... commit | commitdiff | tree | snapshot
2004-05-26 Luca Padovani* getparams returns annotated pairs key,values commit | commitdiff | tree | snapshot
2004-05-26 Stefano Zacchirolibugfix in /ls: removed double trailing "/" commit | commitdiff | tree | snapshot
2004-05-26 Stefano Zacchiroliported to regexp based /ls method commit | commitdiff | tree | snapshot
2004-05-26 Stefano Zacchirolichanged /ls method so that regular expressions are... commit | commitdiff | tree | snapshot
2004-05-26 Claudio Sacerdoti... Major interface improvements. commit | commitdiff | tree | snapshot
2004-05-26 Luca Padovani* bumped to new version commit | commitdiff | tree | snapshot
2004-05-26 Luca Padovani* added external documentation in tex format commit | commitdiff | tree | snapshot
2004-05-26 Claudio Sacerdoti... JSMmenu links fixed. commit | commitdiff | tree | snapshot
2004-05-25 Luca Padovani##################################################... commit | commitdiff | tree | snapshot
2004-05-25 Luca PadovaniNew: UWOBO profiles added. commit | commitdiff | tree | snapshot
2004-05-25 Matteo Selmiwritten a new sort function to postpone the resolution... commit | commitdiff | tree | snapshot
2004-05-24 Stefano Zacchirolidon't remove documentation on "make dist" so that docum... commit | commitdiff | tree | snapshot
2004-05-24 Luca Padovani* setprofileparam ==> setparam commit | commitdiff | tree | snapshot
2004-05-24 Stefano Zacchiroliadded hostname resolution entry commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.