]> matita.cs.unibo.it Git - helm.git/history - helm
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
* added first version of persist stream implementation (not yet working)
[helm.git] / helm /
2003-03-25 Stefano Zacchirolireload/remove all stylesheets now prints also which... tree | commitdiff
2003-03-25 Stefano Zacchiroliadded keys method that list currently loaded stylesheet... tree | commitdiff
2003-03-25 Stefano Zacchiroliadded feedback for reload/remove methods (close #39) tree | commitdiff
2003-03-24 Luca Padovani* first draft of the formal specification tree | commitdiff
2003-03-21 Stefano Zacchirolibugfix: takes doc from "doc" dir tree | commitdiff
2003-03-21 Stefano Zacchiroliadded EXTRA_DIST and docs tree | commitdiff
2003-03-21 Stefano Zacchiroliempty BUGS file tree | commitdiff
2003-03-21 Stefano Zacchiroliremoved ancient HELM stuff tree | commitdiff
2003-03-21 Stefano Zacchiroliadded sample configuration file tree | commitdiff
2003-03-21 Stefano Zacchiroli- implemented distcheck target tree | commitdiff
2003-03-21 Stefano Zacchirolirebuilt tree | commitdiff
2003-03-21 Stefano Zacchirolibumped version to 0.2.1 tree | commitdiff
2003-03-21 Luca Padovani* defined variables for the default path of dictionaries tree | commitdiff
2003-03-20 Luca Padovani* added default dictionary/stylesheet paths tree | commitdiff
2003-03-20 Stefano Zacchiroliadded distcheck target tree | commitdiff
2003-03-20 Stefano Zacchirolibumped version to 0.2.0 tree | commitdiff
2003-03-20 Stefano Zacchiroliadded version information tree | commitdiff
2003-03-18 Claudio Sacerdoti... The reload method requires now the "keys" parameter... tree | commitdiff
2003-03-18 Stefano Zacchiroliadded support for NuPRL stylesheets tree | commitdiff
2003-03-18 Stefano Zacchiroliadded 2 seconds delay before loading stylesheets tree | commitdiff
2003-03-18 Stefano Zacchirolihelm search engine back at work! tree | commitdiff
2003-03-17 Ferruccio Guidifeatures: patched tree | commitdiff
2003-03-15 Stefano Zacchiroli- added support for environment specified log file... tree | commitdiff
2003-03-15 Stefano Zacchiroli- catch libxslt error and debugging messages and return... tree | commitdiff
2003-03-15 Stefano Zacchiroli- added support for "formatted" log messages, mainly tree | commitdiff
2003-03-14 Ferruccio Guidilink patched tree | commitdiff
2003-03-14 Ferruccio Guidiadded: features and documentation tree | commitdiff
2003-03-14 Paolo MarinelliAdded some comments to the source code. tree | commitdiff
2003-03-13 Stefano Zacchiroliadded support for setting debug and error callbacks tree | commitdiff
2003-03-13 Stefano Zacchirolibugfix: installs also i_gdome_xslt.ml, gdome_xslt_init... tree | commitdiff
2003-03-13 Stefano Zacchirolidebian release 0.0.4-3 tree | commitdiff
2003-03-13 Paolo MarinelliAdded the completion of the macro's name. tree | commitdiff
2003-03-13 Paolo MarinelliThis xslt transforms the TML tree in TeX using a partic... tree | commitdiff
2003-03-13 Stefano Zacchirolireindented and recommented kindly tree | commitdiff
2003-03-13 Stefano Zacchiroliinstalls also i_gomde_xslt.mli tree | commitdiff
2003-03-13 Stefano Zacchirolidebian release 0.0.4-2: tree | commitdiff
2003-03-13 Claudio Sacerdoti... - Some .cvsignore were missing tree | commitdiff
2003-03-13 Luca Padovani* removed .in files tree | commitdiff
2003-03-13 Luca Padovani* removed GLIB 2 dependencies (GLIB 2 not used!) tree | commitdiff
2003-03-13 Claudio Sacerdoti... Removed the line that sourced the personal configuratio... tree | commitdiff
2003-03-13 Ferruccio GuidiMathQL homepage added tree | commitdiff
2003-03-13 Luca Padovani* license update tree | commitdiff
2003-03-13 Luca Padovani* licenses updated tree | commitdiff
2003-03-13 Luca Padovani* added license and copyright to every source file tree | commitdiff
2003-03-13 Luca Padovani* disable-shared doens't bother ocaml tree | commitdiff
2003-03-12 Stefano Zacchirolimoved uwobo sources to the root uwobo directory tree | commitdiff
2003-03-12 Stefano Zacchiroliremoved .cvswrappers tree | commitdiff
2003-03-12 Stefano Zacchiroli- reimplemented cache handling tree | commitdiff
2003-03-12 Stefano Zacchiroliadded "output" parameter to gzip and gunzip used to... tree | commitdiff
2003-03-12 Stefano Zacchiroliadded support for patch_fun also for gzipped documents tree | commitdiff
2003-03-12 Stefano Zacchiroliembedded configuration infos in usage string tree | commitdiff
2003-03-12 Stefano Zacchiroliremoved dump_env in favour of env_to_string which retur... tree | commitdiff
2003-03-12 Stefano Zacchiroli- embedded configuration information in help string tree | commitdiff
2003-03-12 Stefano Zacchirolirebuilt tree | commitdiff
2003-03-12 Stefano Zacchiroliremoved old java implementation tree | commitdiff
2003-03-12 Stefano Zacchirolitypo fixes in usage string tree | commitdiff
2003-03-12 Stefano Zacchiroliremoved an ancient debugging message tree | commitdiff
2003-03-12 Stefano Zacchiroliadded generation of dot dependency graph tree | commitdiff
2003-03-12 Stefano Zacchiroli- bugfiz: 0! = 1 :-) tree | commitdiff
2003-03-12 Stefano Zacchiroli- reverted to >= dependencies for ocaml libraries tree | commitdiff
2003-03-12 Stefano Zacchirolichanged interface of send_file function to enforce... tree | commitdiff
2003-03-12 Luca Padovani* temporary fix for handling relative/absolute filenames in tree | commitdiff
2003-03-12 Luca Padovani* changed handling of ' (\primes) with a few patches... tree | commitdiff
2003-03-12 Stefano Zacchirolidebian release 0.4.1-1 tree | commitdiff
2003-03-11 Stefano Zacchirolidebian release 0.0.4-1 tree | commitdiff
2003-03-11 Stefano Zacchiroliuse autotools also for ocaml part (again?) tree | commitdiff
2003-02-25 Stefano Zacchiroli- added support for NuPRL URIs in xml_url_of_uri tree | commitdiff
2003-02-25 Stefano Zacchiroli- added default value for parse_patch function tree | commitdiff
2003-02-25 Stefano Zacchiroliadded is_blank_line facility to match line that should... tree | commitdiff
2003-02-25 Stefano Zacchiroliadded generation of DOT modules dependency graph tree | commitdiff
2003-02-24 Paolo MarinelliAdded the special deletion. Pressing backspace, the... tree | commitdiff
2003-02-23 Stefano Zacchiroli- better error messages on make failure tree | commitdiff
2003-02-21 Stefano Zacchiroliadded hbugs-client META tree | commitdiff
2003-02-21 Stefano Zacchirolirely on correct settings of OCAMLPATH tree | commitdiff
2003-02-21 Stefano Zacchiroliadded pp for apply hint tree | commitdiff
2003-02-21 Stefano Zacchirolirebuilt tree | commitdiff
2003-02-21 Luca Padovani* some fixes so to make Ocaml garbage collector happy tree | commitdiff
2003-02-21 Luca Padovani* the minus sign is now mapped to the right Unicode... tree | commitdiff
2003-02-21 Luca Padovani* removed debug message tree | commitdiff
2003-02-21 Luca Padovani* click signal changed: now the element argument is... tree | commitdiff
2003-02-20 Stefano Zacchiroliglobal Makefile to build gTopLevel with all its depende... tree | commitdiff
2003-02-20 Stefano Zacchiroliexposed Http_message module tree | commitdiff
2003-02-20 Stefano Zacchirolimoved here misc functions related to URIs from gTopLeve... tree | commitdiff
2003-02-19 Stefano Zacchiroliignore *.LOG files tree | commitdiff
2003-02-19 Stefano Zacchirolifirst tutors implementation, contains: tree | commitdiff
2003-02-19 Stefano Zacchiroli- added run/'s .cvsignore ignoring *.LOG files tree | commitdiff
2003-02-19 Stefano Zacchiroli- added distclean support tree | commitdiff
2003-02-19 Stefano Zacchirolirepresented new Wow message tree | commitdiff
2003-02-19 Stefano Zacchiroli- implemented status {,de}serialization tree | commitdiff
2003-02-19 Stefano Zacchiroli- formalized proof engine status tree | commitdiff
2003-02-19 Stefano Zacchiroli- added helm- modules dependencies tree | commitdiff
2003-02-19 Stefano Zacchirolirebuilt tree | commitdiff
2003-02-19 Stefano Zacchiroliadded common module tree | commitdiff
2003-02-19 Stefano Zacchiroli- added callbacks parameters to hbugsClient constructor... tree | commitdiff
2003-02-19 Stefano Zacchiroli- removed use hint button tree | commitdiff
2003-02-19 Stefano Zacchirolis/gui/hbugs_client_gui/ tree | commitdiff
2003-02-19 Stefano Zacchirolifoo main program that instantiate a client GUI, for... tree | commitdiff
2003-02-19 Stefano Zacchiroli- bugfix: musings table is now consistent! tree | commitdiff
2003-02-19 Stefano Zacchiroli- better specialization of some error messages tree | commitdiff
2003-02-19 Stefano Zacchiroli- added doc target to generate .dot dependency graph... tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.