]> 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-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
2004-05-24 Stefano Zacchiroliimplemented hostname resolution for "addr" parameter commit | commitdiff | tree | snapshot
2004-05-24 Stefano Zacchirolirewritten "start" comment, now is almost decent commit | commitdiff | tree | snapshot
2004-05-24 Stefano Zacchiroliemptied implementing all items commit | commitdiff | tree | snapshot
2004-05-24 Stefano Zacchiroliremoved spurious messages commit | commitdiff | tree | snapshot
2004-05-24 Stefano Zacchiroli- ported to latest API commit | commitdiff | tree | snapshot
2004-05-24 Stefano Zacchiroli- added basic_auth.ml example commit | commitdiff | tree | snapshot
2004-05-24 Stefano Zacchirolidebian snapshot (towards a release) commit | commitdiff | tree | snapshot
2004-05-24 Stefano Zacchiroliadded OO interface commit | commitdiff | tree | snapshot
2004-05-22 Luca Padovani* preliminary version of profile management commit | commitdiff | tree | snapshot
2004-05-22 Luca Padovani* updated respond_error messages after API change in... commit | commitdiff | tree | snapshot
2004-05-21 Matteo SelmiAdded a sort function to decide the order of theorems... commit | commitdiff | tree | snapshot
2004-05-20 Stefano Zacchiroliadded file locking while writing configuration to file... commit | commitdiff | tree | snapshot
2004-05-20 Stefano Zacchiroliopen Helm_registry per default commit | commitdiff | tree | snapshot
2004-05-20 Stefano Zacchirolibumped copyright years commit | commitdiff | tree | snapshot
2004-05-20 Stefano ZacchiroliChanged mapping keys <-> environment variables, mixed... commit | commitdiff | tree | snapshot
2004-05-20 Stefano Zacchiroliported to latest ocaml-http API commit | commitdiff | tree | snapshot
2004-05-20 Stefano Zacchiroliported to latest ocaml-http API commit | commitdiff | tree | snapshot
2004-05-20 Stefano Zacchirolireverted code parameter on respond function to its... commit | commitdiff | tree | snapshot
2004-05-20 Stefano Zacchirolirebuilt commit | commitdiff | tree | snapshot
2004-05-20 Stefano Zacchiroliported to latest ocaml-http API commit | commitdiff | tree | snapshot
2004-05-20 Stefano Zacchiroliwritten entry for 0.0.9 commit | commitdiff | tree | snapshot
2004-05-20 Stefano Zacchirolirestyled API so that respond_* are statically typechecked commit | commitdiff | tree | snapshot
2004-05-20 Stefano Zacchiroli- changed API so that respond_* are statically type... commit | commitdiff | tree | snapshot
2004-05-20 Stefano Zacchiroliadded support for HEAD requests commit | commitdiff | tree | snapshot
2004-05-20 Stefano Zacchirolihttp basic authentication example commit | commitdiff | tree | snapshot
2004-05-20 Stefano Zacchiroliadded support for HTTP (Basic) authentication commit | commitdiff | tree | snapshot
2004-05-20 Stefano Zacchiroli- added support for HTTP (Basic) authentication commit | commitdiff | tree | snapshot
2004-05-20 Luca Padovani* hbugs moved in ocaml commit | commitdiff | tree | snapshot
2004-05-20 Stefano Zacchiroliadded some nested sections in order to test "ls" method commit | commitdiff | tree | snapshot
2004-05-20 Stefano Zacchiroli- added "has" method commit | commitdiff | tree | snapshot
2004-05-20 Stefano Zacchiroliadded helm-pxp, now needed commit | commitdiff | tree | snapshot
2004-05-20 Stefano Zacchiroliexpanded content of old topfind commit | commitdiff | tree | snapshot
2004-05-20 Stefano Zacchirolino longer needed commit | commitdiff | tree | snapshot
2004-05-20 Stefano Zacchiroliadded iterators over registry contents (fold, iter... commit | commitdiff | tree | snapshot
2004-05-19 Claudio Sacerdoti... Tempative version: every link is now opened in a new... commit | commitdiff | tree | snapshot
2004-05-19 Claudio Sacerdoti... Bug fixed: middle-clicking over links in the listing... commit | commitdiff | tree | snapshot
2004-05-19 Claudio Sacerdoti... Tempative version: every link is now opened in a new... commit | commitdiff | tree | snapshot
2004-05-19 Andrea Aspertifirst moogle template checkin commit | commitdiff | tree | snapshot
2004-05-18 Claudio Sacerdoti... * the input of the function mkMetaTheoryURL must an... commit | commitdiff | tree | snapshot
2004-05-18 Claudio Sacerdoti... * the URI passed to the rdfly deamon is now CICURI... commit | commitdiff | tree | snapshot
2004-05-18 Claudio Sacerdoti... * [Luca] string concatenation now made using String... commit | commitdiff | tree | snapshot
2004-05-18 Andrea AspertiNuova implementazione di Auto "breadth-first". commit | commitdiff | tree | snapshot
2004-05-18 Claudio Sacerdoti... xml:base and helm:base are now generated only for theories. commit | commitdiff | tree | snapshot
2004-05-18 Claudio Sacerdoti... * tactics/Makefile fixed (to remove duplicate .mli... commit | commitdiff | tree | snapshot
2004-05-18 Claudio Sacerdoti... Bug fixed: the xml:base URL and helm:base URI were... commit | commitdiff | tree | snapshot
2004-05-17 Matteo SelmiAdded a filter for uris in tactic "auto". commit | commitdiff | tree | snapshot
2004-05-17 Stefano ZacchiroliAdded support for xml base(s) URL and URI. The getter... commit | commitdiff | tree | snapshot
2004-05-17 Stefano Zacchirolifirst check in of statefulProofEngine commit | commitdiff | tree | snapshot
2004-05-17 Stefano Zacchirolibugfix: remove trailing slashes from dtd_base_urls commit | commitdiff | tree | snapshot
2004-05-13 Ferruccio Guidi- some code patched commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.