matita.cs.unibo.it Git - helm.git/search

]> matita.cs.unibo.it Git - helm.git/search

2002-11-26	Stefano Zacchiroli	- added support for empty bindings like "a=" or simple...	commit \| commitdiff \| tree
2002-11-26	Stefano Zacchiroli	s/param_all/paramAll/g	commit \| commitdiff \| tree
2002-11-26	Stefano Zacchiroli	parse DISTVERSION from debian/changelog	commit \| commitdiff \| tree
2002-11-26	Stefano Zacchiroli	uwobo ocaml daily snapshot: Tue, 26 Nov 2002 14:26...	commit \| commitdiff \| tree
2002-11-25	Stefano Zacchiroli	- added method 'param_all' to request objects	commit \| commitdiff \| tree
2002-11-22	Stefano Zacchiroli	- added var SEARCH_ENGINE_PORT	commit \| commitdiff \| tree
2002-11-22	Stefano Zacchiroli	cvsignore for html documentation dir	commit \| commitdiff \| tree
2002-11-22	Stefano Zacchiroli	- added ocamldoc documentation in debian package	commit \| commitdiff \| tree
2002-11-22	Stefano Zacchiroli	- fixed wrong @raise ocamldoc tags	commit \| commitdiff \| tree
2002-11-22	Stefano Zacchiroli	- added targets relative to ocamldoc doc generation	commit \| commitdiff \| tree
2002-11-22	Stefano Zacchiroli	- bumped version to 0.0.5	commit \| commitdiff \| tree
2002-11-22	Stefano Zacchiroli	- removed old entries from TODO	commit \| commitdiff \| tree
2002-11-22	Stefano Zacchiroli	- added support for multithreaded daemons	commit \| commitdiff \| tree
2002-11-20	Stefano Zacchiroli	TODO list	commit \| commitdiff \| tree
2002-11-20	Stefano Zacchiroli	- changed invoked daemons for proof checker, draw graph...	commit \| commitdiff \| tree
2002-11-20	Stefano Zacchiroli	added env var DRAW_GRAPH_DIR	commit \| commitdiff \| tree
2002-11-20	Stefano Zacchiroli	- get working directory from env var DRAW_GRAPH_DIR	commit \| commitdiff \| tree
2002-11-20	Stefano Zacchiroli	- http debugging value copied from daemon debugging...	commit \| commitdiff \| tree
2002-11-20	Stefano Zacchiroli	bumped version to 0.0.4	commit \| commitdiff \| tree
2002-11-20	Stefano Zacchiroli	- bugfix: perform GET parameter parsing on HTTP encoded...	commit \| commitdiff \| tree
2002-11-20	Stefano Zacchiroli	- added a lot of debugging messages	commit \| commitdiff \| tree
2002-11-19	Stefano Zacchiroli	added ocaml version of draw_graph and uri_set_queue	commit \| commitdiff \| tree
2002-11-17	Stefano Zacchiroli	bumped version to 0.0.3	commit \| commitdiff \| tree
2002-11-17	Stefano Zacchiroli	renamed tcp_server module in http_tcp_server to avoid...	commit \| commitdiff \| tree
2002-11-17	Stefano Zacchiroli	bug fix: reset timeout after processing request in...	commit \| commitdiff \| tree
2002-11-17	Stefano Zacchiroli	* empty log message *	commit \| commitdiff \| tree
2002-11-17	Stefano Zacchiroli	Added debug flag and debug_print function	commit \| commitdiff \| tree
2002-11-17	Stefano Zacchiroli	.cvsignore for examples dir	commit \| commitdiff \| tree
2002-11-17	Stefano Zacchiroli	- split http_parser module (all code that parse http...	commit \| commitdiff \| tree
2002-11-15	Stefano Zacchiroli	oopss, I forgot to commit .depend last time ...	commit \| commitdiff \| tree
2002-11-15	Stefano Zacchiroli	backported new pxp module from branch V7_3_new_exportation	commit \| commitdiff \| tree
2002-11-14	Stefano Zacchiroli	name fix due to changes in libhttp-ocaml (e.g. s/Http...	commit \| commitdiff \| tree
2002-11-14	Stefano Zacchiroli	load http.cma instead of http.cmo	commit \| commitdiff \| tree
2002-11-14	Stefano Zacchiroli	no longer use -pack and Http.*, now interface is the...	commit \| commitdiff \| tree
2002-11-14	Stefano Zacchiroli	Now use cm{,x}a	commit \| commitdiff \| tree
2002-11-14	Stefano Zacchiroli	Changed source-package name to "ocaml-http"	commit \| commitdiff \| tree
2002-11-13	Stefano Zacchiroli	switched to OCaml HTTP module	commit \| commitdiff \| tree
2002-11-13	Stefano Zacchiroli	added ocaml-http 0.0.1	commit \| commitdiff \| tree
2002-10-09	Stefano Zacchiroli	added support for unload and reload of predefined stylesheets	commit \| commitdiff \| tree
2002-10-09	Stefano Zacchiroli	script that loads predefined uwobo stylesheets	commit \| commitdiff \| tree
2002-10-09	Stefano Zacchiroli	added /etc/init.d/ stuff	commit \| commitdiff \| tree
2002-08-28	Stefano Zacchiroli	debian release -3	commit \| commitdiff \| tree
2002-08-28	Stefano Zacchiroli	debian version "-8"	commit \| commitdiff \| tree
2002-08-28	Stefano Zacchiroli	forward compatibility changes for ocaml 3.06	commit \| commitdiff \| tree
2002-07-02	Stefano Zacchiroli	Added examples.	commit \| commitdiff \| tree
2002-07-02	Stefano Zacchiroli	converted to unix textfile (fromdos)	commit \| commitdiff \| tree
2002-07-02	Stefano Zacchiroli	bugfix: Ring will work again with varmaps :-)	commit \| commitdiff \| tree
2002-07-01	Stefano Zacchiroli	- added Ring tactic on reals	commit \| commitdiff \| tree
2002-07-01	Stefano Zacchiroli	bugfix that inhibit the removal of certain hypotheses	commit \| commitdiff \| tree
2002-07-01	Stefano Zacchiroli	bug fix: handled LetIn case in simpl	commit \| commitdiff \| tree
2002-06-24	Stefano Zacchiroli	added comment about 0 and 1 based indexes	commit \| commitdiff \| tree
2002-06-22	Stefano Zacchiroli	bug fix: wrapped some possible List.{hd,tl} failures...	commit \| commitdiff \| tree
2002-05-14	Stefano Zacchiroli	Erroniously included (is a debian build process temp...	commit \| commitdiff \| tree
2002-05-14	Stefano Zacchiroli	Release 0.1.0-1 of the deb package.	commit \| commitdiff \| tree
2002-04-12	Stefano Zacchiroli	added debian stuff and a makefile with "dist" target	commit \| commitdiff \| tree
2002-04-12	Stefano Zacchiroli	changed name to gdome2-xslt	commit \| commitdiff \| tree
2002-04-12	Stefano Zacchiroli	- added -fPIC when creating .so	commit \| commitdiff \| tree
2002-04-12	Stefano Zacchiroli	changed package name to gdome2-xslt	commit \| commitdiff \| tree
2002-04-12	Stefano Zacchiroli	cma names parameterized in configure @PACKAGE@ variable	commit \| commitdiff \| tree
2002-04-12	Stefano Zacchiroli	-7 debian release, hopefully build also on HPPA	commit \| commitdiff \| tree
2002-04-12	Stefano Zacchiroli	added -fPIC option when compiling ml_gtk_mathview.o	commit \| commitdiff \| tree
2002-04-02	Stefano Zacchiroli	Added Build-Depends on t1lib-dev	commit \| commitdiff \| tree
2002-04-01	Stefano Zacchiroli	Added build-depend on libgdome2-cpp-smart-dev.	commit \| commitdiff \| tree
2002-03-31	Stefano Zacchiroli	- added some .mli and .ml to the debian package	commit \| commitdiff \| tree
2002-03-26	Stefano Zacchiroli	- Increased debian version to 0.3.0-3	commit \| commitdiff \| tree
2002-03-15	Stefano Zacchiroli	Added build dep on libgdome2-dev	commit \| commitdiff \| tree
2002-03-13	Stefano Zacchiroli	Debian changes for version 0.3.0 of lablgtkmathview.	commit \| commitdiff \| tree
2002-01-21	Stefano Zacchiroli	Bug fix: destdir for mlminidom installation is now...	commit \| commitdiff \| tree
2002-01-20	Stefano Zacchiroli	- Vanity: added .... me to the copyright file as author :-P	commit \| commitdiff \| tree
2002-01-20	Stefano Zacchiroli	- Minor fix: includes upstream changelog only if it...	commit \| commitdiff \| tree
2002-01-20	Stefano Zacchiroli	Added "-destdir" argument to "ocamlfind install" in...	commit \| commitdiff \| tree
2002-01-20	Stefano Zacchiroli	Ported to ocaml 3.04 (fixed problems with commuting...	commit \| commitdiff \| tree
2002-01-20	Stefano Zacchiroli	Upgraded debian package for mlminidom 0.2.2	commit \| commitdiff \| tree
2001-11-25	Stefano Zacchiroli	Readme for the debianize.helm stuff.	commit \| commitdiff \| tree
2001-11-25	Stefano Zacchiroli	Debianize.helm stuff.	commit \| commitdiff \| tree
2001-11-25	Stefano Zacchiroli	Synced debian dir.	commit \| commitdiff \| tree
2001-11-25	Stefano Zacchiroli	Removed from debian dir.	commit \| commitdiff \| tree
2001-11-25	Stefano Zacchiroli	Synced debian dir.	commit \| commitdiff \| tree
2001-11-19	Stefano Zacchiroli	Changed version number to 0.2.1	commit \| commitdiff \| tree
2001-11-14	Stefano Zacchiroli	Bug fix: changed "prefix" dir in install target.	commit \| commitdiff \| tree
2001-11-14	Stefano Zacchiroli	Changed policy standard version.	commit \| commitdiff \| tree
2001-11-14	Stefano Zacchiroli	Removed INSTALL (not needed) and NEWS (0 sized) from...	commit \| commitdiff \| tree
2001-11-14	Stefano Zacchiroli	Remove template like string that lintian hates.	commit \| commitdiff \| tree
2001-11-14	Stefano Zacchiroli	Set DH_COMPAT=2 (instead of 1).	commit \| commitdiff \| tree
2001-11-14	Stefano Zacchiroli	Set section field. Changed maintainer field.	commit \| commitdiff \| tree
2001-11-14	Stefano Zacchiroli	Changed maintainer field and set section field.	commit \| commitdiff \| tree
2001-11-14	Stefano Zacchiroli	Removed temp files from repository.	commit \| commitdiff \| tree
2001-11-12	Stefano Zacchiroli	- modified /getxslt method, now stylesheets are downloaded...	commit \| commitdiff \| tree
2001-11-12	Stefano Zacchiroli	Added ".db" suffix to urls_of_uris default value.	commit \| commitdiff \| tree
2001-11-11	Stefano Zacchiroli	Added "/getempty" method.	commit \| commitdiff \| tree
2001-10-17	Stefano Zacchiroli	Makefile.in that support some new architectures.	commit \| commitdiff \| tree
2001-06-27	Stefano Zacchiroli	added support for new environment variables	commit \| commitdiff \| tree
2001-06-27	Stefano Zacchiroli	# bugfix: rdf tie that proxies rdf_urls_of_uris.db...	commit \| commitdiff \| tree
2001-06-26	Stefano Zacchiroli	added useful tools for perl debugging:	commit \| commitdiff \| tree
2001-06-26	Stefano Zacchiroli	* added preliminary support for rdf metadata	commit \| commitdiff \| tree
2001-03-20	Stefano Zacchiroli	- added support for file ls (i.e. you can use a baseuri...	commit \| commitdiff \| tree
2001-03-17	Stefano Zacchiroli	Added support for CGI handling, still remain some problems...	commit \| commitdiff \| tree
2001-03-16	Stefano Zacchiroli	- renamed /getciconly in /getxml	commit \| commitdiff \| tree
2001-03-16	Stefano Zacchiroli	Changed default content type from "text/plain" to ...	commit \| commitdiff \| tree
2001-03-16	Stefano Zacchiroli	Various changes:	commit \| commitdiff \| tree
next

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom