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

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

2003-03-06	Stefano Zacchiroli	minimal changes:	commit \| commitdiff \| tree
2003-02-20	Stefano Zacchiroli	build bytecode code by default	commit \| commitdiff \| tree
2003-02-20	Stefano Zacchiroli	build also mquery_generator module	commit \| commitdiff \| tree
2003-02-20	Stefano Zacchiroli	added dep on helm-mquery_generator	commit \| commitdiff \| tree
2003-02-20	Stefano Zacchiroli	added TacticChaser module to emebed functions which...	commit \| commitdiff \| tree
2003-02-20	Stefano Zacchiroli	defined an explicit "status" type	commit \| commitdiff \| tree
2003-02-20	Stefano Zacchiroli	moved mquery generation stuff in a new module	commit \| commitdiff \| tree
2003-02-20	Stefano Zacchiroli	- added HBugs support	commit \| commitdiff \| tree
2003-02-20	Stefano Zacchiroli	- added HBugs notification after tactic application	commit \| commitdiff \| tree
2003-02-20	Stefano Zacchiroli	- added dependencies on hbugs-client, threads, helm...	commit \| commitdiff \| tree
2003-02-20	Stefano Zacchiroli	moved mquery generation in ../ocaml/mquery_generator/	commit \| commitdiff \| tree
2003-02-20	Stefano Zacchiroli	- added and exposed get_current_status_as_xml	commit \| commitdiff \| tree
2003-02-20	Stefano Zacchiroli	- moved exception IllFormedUri, string_of_cic_textual_parser...	commit \| commitdiff \| tree
2003-02-20	Stefano Zacchiroli	fixed references to functions moved from Misc to MQueryMisc	commit \| commitdiff \| tree
2003-02-20	Stefano Zacchiroli	added HBugs interface module for gTopLevel	commit \| commitdiff \| tree
2003-02-20	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree
2003-02-19	Stefano Zacchiroli	removed tmp_dir no longer needed (it was used only...	commit \| commitdiff \| tree
2003-02-19	Stefano Zacchiroli	bugfix: use temporary file name to avoid file access...	commit \| commitdiff \| tree
2003-02-19	Stefano Zacchiroli	- added pp_to_outchan and pp_to_string for other medium...	commit \| commitdiff \| tree
2003-01-28	Stefano Zacchiroli	added META for module helm-tactics	commit \| commitdiff \| tree
2003-01-28	Stefano Zacchiroli	moved tactics from gTopLevel to the new module ocaml...	commit \| commitdiff \| tree
2003-01-28	Stefano Zacchiroli	moved tactics in ocaml/tactics	commit \| commitdiff \| tree
2003-01-21	Stefano Zacchiroli	bugfix while printing MutInd and MutConstruct unresolved...	commit \| commitdiff \| tree
2003-01-21	Stefano Zacchiroli	added html templates and pages	commit \| commitdiff \| tree
2003-01-21	Stefano Zacchiroli	- disambiguation implemented!	commit \| commitdiff \| tree
2003-01-21	Stefano Zacchiroli	- added references to gTopLevel needed modules	commit \| commitdiff \| tree
2003-01-05	Stefano Zacchiroli	typo: ')' mismatch	commit \| commitdiff \| tree
2002-12-04	Stefano Zacchiroli	- reverted to only one quotation level for xmluri,...	commit \| commitdiff \| tree
2002-12-02	Stefano Zacchiroli	- added a level of quoting on xmluri parameter because...	commit \| commitdiff \| tree
2002-11-27	Stefano Zacchiroli	patched Makefile to link also ../gTopLevel/mQueryLevels...	commit \| commitdiff \| tree
2002-11-22	Stefano Zacchiroli	- use 'query_of_text' to parse textual queries	commit \| commitdiff \| tree
2002-11-22	Stefano Zacchiroli	- catch processing exception which are now reported...	commit \| commitdiff \| tree
2002-11-22	Stefano Zacchiroli	- first (draft) version of searchEngine	commit \| commitdiff \| tree
2002-11-14	Stefano Zacchiroli	name fixes due to changes in libhttp-ocaml (e.g. s...	commit \| commitdiff \| tree
2002-11-13	Stefano Zacchiroli	switched to OCaml HTTP module	commit \| commitdiff \| tree
2002-11-12	Stefano Zacchiroli	symlink automagically cicReduction.ml if it doesn't...	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
2001-03-16	Stefano Zacchiroli	Added "format" support to /getciconly method.	commit \| commitdiff \| tree
2001-03-16	Stefano Zacchiroli	ehm ... no comment	commit \| commitdiff \| tree
2001-03-16	Stefano Zacchiroli	Fixed a bug in the case cachemode=gzipped, resourcetype...	commit \| commitdiff \| tree
2001-03-16	Stefano Zacchiroli	Fixed bug in .ann extension handling.	commit \| commitdiff \| tree
2001-03-10	Stefano Zacchiroli	Added dtd reference in ls method while generating xml...	commit \| commitdiff \| tree
next

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

RSS Atom