]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2004-06-17 Stefano Zacchirolibugfix: ignore proof checker output
2004-06-16 Claudio Sacerdoti... atmost/atleast/exactly constraints are now used only...
2004-06-16 Stefano Zacchiroliin the particular case of simple searches, Andrea atmos...
2004-06-16 Andrea Aspertifirst moogle commit
2004-06-10 Claudio Sacerdoti... search.xsl added.
2004-06-10 Claudio Sacerdoti... Added search.xsl (S).
2004-06-10 Claudio Sacerdoti... Stylesheet whose input is an empty document. It calls the
2004-06-10 Claudio Sacerdoti... New profile param: searchengineURL
2004-06-10 Claudio Sacerdoti... Uncommited changes committed.
2004-06-10 Claudio Sacerdoti... Interface URL can now be setted using the control panel.
2004-06-10 Claudio Sacerdoti... Interface URL can now be setted.
2004-06-09 Claudio Sacerdoti... The normalization of URIs when the DB is empty (or...
2004-06-09 Claudio Sacerdoti... - new stylesheets in the predefined set
2004-06-08 Claudio Sacerdoti... New attributes for ht:* elements proposed by Nijmegen.
2004-06-03 Claudio Sacerdoti... Objects ordering is now case-insensite.
2004-06-02 Enrico Tassifix for proofEngineTypes.mli
2004-06-01 Enrico Tassinew universes implementation
2004-05-31 Claudio Sacerdoti... Ordering is now done in no-case style.
2004-05-31 Claudio Sacerdoti... theory:path/index.theory are not rewritten to theory...
2004-05-31 Matteo SelmiNew filtering function for "Auto" tactic using "just...
2004-05-30 Claudio Sacerdoti... Back compatibility code introduced:
2004-05-30 Claudio Sacerdoti... The theory index.theory, if present, is shown at the...
2004-05-28 Luca Padovani* makeProofTreeURL ported to the new interface
2004-05-28 Claudio Sacerdoti... .body removed from bread crumb trail
2004-05-28 Claudio Sacerdoti... Links in the control frame when the URI ends with ...
2004-05-28 Claudio Sacerdoti... <xsl:import href="toplevel_header.xsl"/>
2004-05-28 Claudio Sacerdoti... <h1> ==> <h3>
2004-05-28 Claudio Sacerdoti... stylesheet L added to the metadata chain
2004-05-28 Claudio Sacerdoti... bread crumb trail added
2004-05-28 Claudio Sacerdoti... metadataLib.xsl merged into metadataControl.xsl
2004-05-28 Claudio Sacerdoti... Dead code removed.
2004-05-28 Claudio Sacerdoti... defaults.js no longer in use
2004-05-28 Claudio Sacerdoti... Files control.js graphLinks.js utils.js no longer in...
2004-05-28 Claudio Sacerdoti... Dead code inclusion removed.
2004-05-28 Claudio Sacerdoti... No longer in use.
2004-05-28 Claudio Sacerdoti... No longer in use.
2004-05-28 Claudio Sacerdoti... ls2html.xsl no longer in use
2004-05-27 Claudio Sacerdoti... Form to choose the number of nodes to show removed ;-(
2004-05-27 Claudio Sacerdoti... &2C ==> %2C
2004-05-27 Claudio Sacerdoti... Dead code removed.
2004-05-27 Claudio Sacerdoti... New HELM interface almost stable.
2004-05-27 Luca Padovani* it is now possible to set multiple parameters upon...
2004-05-27 Luca Padovani* setpassword passwords swapped
2004-05-27 Luca Padovani* implemented setparams method for setting multiple...
2004-05-26 Claudio Sacerdoti... ...
2004-05-26 Claudio Sacerdoti... param.processorURL added (need by the search engine)
2004-05-26 Claudio Sacerdoti... target="_top" added to Search.
2004-05-26 Claudio Sacerdoti... Link to the search-engine hard-coded.
2004-05-26 Claudio Sacerdoti... Major interface upgrade still going on. But we are...
2004-05-26 Claudio Sacerdoti... New icons.
2004-05-26 Claudio Sacerdoti... Major interface upgrade still going on. But we are...
2004-05-26 Claudio Sacerdoti... Bug fixed: ls?baseuri=(cic|theory):/a/ also returned...
2004-05-26 Luca Padovani* getparams returns annotated pairs key,values
2004-05-26 Stefano Zacchirolibugfix in /ls: removed double trailing "/"
2004-05-26 Stefano Zacchiroliported to regexp based /ls method
2004-05-26 Stefano Zacchirolichanged /ls method so that regular expressions are...
2004-05-26 Claudio Sacerdoti... Major interface improvements.
2004-05-26 Luca Padovani* bumped to new version
2004-05-26 Luca Padovani* added external documentation in tex format
2004-05-26 Claudio Sacerdoti... JSMmenu links fixed.
2004-05-25 Luca Padovani##################################################...
2004-05-25 Luca PadovaniNew: UWOBO profiles added.
2004-05-25 Matteo Selmiwritten a new sort function to postpone the resolution...
2004-05-24 Stefano Zacchirolidon't remove documentation on "make dist" so that docum...
2004-05-24 Luca Padovani* setprofileparam ==> setparam
2004-05-24 Stefano Zacchiroliadded hostname resolution entry
2004-05-24 Stefano Zacchiroliimplemented hostname resolution for "addr" parameter
2004-05-24 Stefano Zacchirolirewritten "start" comment, now is almost decent
2004-05-24 Stefano Zacchiroliemptied implementing all items
2004-05-24 Stefano Zacchiroliremoved spurious messages
2004-05-24 Stefano Zacchiroli- ported to latest API
2004-05-24 Stefano Zacchiroli- added basic_auth.ml example
2004-05-24 Stefano Zacchirolidebian snapshot (towards a release)
2004-05-24 Stefano Zacchiroliadded OO interface
2004-05-22 Luca Padovani* preliminary version of profile management
2004-05-22 Luca Padovani* updated respond_error messages after API change in...
2004-05-21 Matteo SelmiAdded a sort function to decide the order of theorems...
2004-05-20 Stefano Zacchiroliadded file locking while writing configuration to file...
2004-05-20 Stefano Zacchiroliopen Helm_registry per default
2004-05-20 Stefano Zacchirolibumped copyright years
2004-05-20 Stefano ZacchiroliChanged mapping keys <-> environment variables, mixed...
2004-05-20 Stefano Zacchiroliported to latest ocaml-http API
2004-05-20 Stefano Zacchiroliported to latest ocaml-http API
2004-05-20 Stefano Zacchirolireverted code parameter on respond function to its...
2004-05-20 Stefano Zacchirolirebuilt
2004-05-20 Stefano Zacchiroliported to latest ocaml-http API
2004-05-20 Stefano Zacchiroliwritten entry for 0.0.9
2004-05-20 Stefano Zacchirolirestyled API so that respond_* are statically typechecked
2004-05-20 Stefano Zacchiroli- changed API so that respond_* are statically type...
2004-05-20 Stefano Zacchiroliadded support for HEAD requests
2004-05-20 Stefano Zacchirolihttp basic authentication example
2004-05-20 Stefano Zacchiroliadded support for HTTP (Basic) authentication
2004-05-20 Stefano Zacchiroli- added support for HTTP (Basic) authentication
2004-05-20 Luca Padovani* hbugs moved in ocaml
2004-05-20 Stefano Zacchiroliadded some nested sections in order to test "ls" method
2004-05-20 Stefano Zacchiroli- added "has" method
2004-05-20 Stefano Zacchiroliadded helm-pxp, now needed
2004-05-20 Stefano Zacchiroliexpanded content of old topfind
2004-05-20 Stefano Zacchirolino longer needed
2004-05-20 Stefano Zacchiroliadded iterators over registry contents (fold, iter...
next