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

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

2004-04-20	Stefano Zacchiroli	got rid of ~status label so that tactics can now be...	commit \| commitdiff \| tree
2004-04-20	Stefano Zacchiroli	added ocamlfind library checks to configure.ac	commit \| commitdiff \| tree
2004-04-20	Stefano Zacchiroli	renamed mathita to matita	commit \| commitdiff \| tree
2004-04-20	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	ignore Makefile since now it's generated by configure	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	added Makefile.in	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	reorganized metas so that pxp is references only through...	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	added hbugs' (client) meta	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	generalized META.* ignoring	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	- reordered modules so that pxp could be used as entry...	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	- use PxpHelmConf	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	- use PxpHelmConf	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	use PxpHelmConf	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	added dep on Helm_registry	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	use PxpHelmConf module	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	- use PxpHelmConf	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	- embedded ClientHTTP module (not very nice, but ClientHTTP...	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	added ExtThread module, ex Hbugs_deity (a Thread module...	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	injected hbugs under ocaml/ dir	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	moved hbugs under ocaml/	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	fixed a typo (inside a comment)	commit \| commitdiff \| tree
2004-04-16	Stefano Zacchiroli	use respawner	commit \| commitdiff \| tree
2004-04-16	Stefano Zacchiroli	changed logging message	commit \| commitdiff \| tree
2004-04-16	Stefano Zacchiroli	removed deprecated uwobo_forever.sh	commit \| commitdiff \| tree
2004-04-16	Stefano Zacchiroli	removed tedious "_mowgli" postfix	commit \| commitdiff \| tree
2004-04-16	Stefano Zacchiroli	use new daemon_respawner.sh	commit \| commitdiff \| tree
2004-04-16	Stefano Zacchiroli	fixed some typos in sample init.d	commit \| commitdiff \| tree
2004-04-16	Stefano Zacchiroli	added generic daemon respawner	commit \| commitdiff \| tree
2004-04-16	Stefano Zacchiroli	script deprecated	commit \| commitdiff \| tree
2004-04-16	Stefano Zacchiroli	added newline to log when log_file is in use	commit \| commitdiff \| tree
2004-04-16	Stefano Zacchiroli	- addead autoconf-iguration. Actually it only set the...	commit \| commitdiff \| tree
2004-04-16	Stefano Zacchiroli	- use new logger interface	commit \| commitdiff \| tree
2004-04-16	Stefano Zacchiroli	- rewritten http_getter logger interface	commit \| commitdiff \| tree
2004-04-16	Stefano Zacchiroli	- added sample usage of get_opt method	commit \| commitdiff \| tree
2004-04-15	Stefano Zacchiroli	s/dtd_base_url/dtd_base_urls/	commit \| commitdiff \| tree
2004-04-15	Stefano Zacchiroli	- better pretty printing of exceptions (added red color)	commit \| commitdiff \| tree
2004-04-15	Stefano Zacchiroli	- fixed dtd_base_urls implementation	commit \| commitdiff \| tree
2004-04-15	Stefano Zacchiroli	- better pretty printing on /update	commit \| commitdiff \| tree
2004-04-15	Stefano Zacchiroli	added string_of_html_tag (plain text pretty printer...	commit \| commitdiff \| tree
2004-04-15	Stefano Zacchiroli	added support for multiple dtd_base_urls	commit \| commitdiff \| tree
2004-04-14	Stefano Zacchiroli	added exists_meta	commit \| commitdiff \| tree
2004-04-09	Stefano Zacchiroli	ported to latest polymorphic variant types	commit \| commitdiff \| tree
2004-04-07	Stefano Zacchiroli	added a missing <br> tag	commit \| commitdiff \| tree
2004-04-06	Stefano Zacchiroli	implemented save_to	commit \| commitdiff \| tree
2004-04-06	Stefano Zacchiroli	- uncommented save_to function (now implemented)	commit \| commitdiff \| tree
2004-04-06	Stefano Zacchiroli	added Unix dependency (needed in order to run xmllint)	commit \| commitdiff \| tree
2004-04-06	Stefano Zacchiroli	eta_fixing of the CurrentProof metasenv is wrong, since...	commit \| commitdiff \| tree
2004-04-06	Stefano Zacchiroli	The parser accepts terms with metavariables as statements...	commit \| commitdiff \| tree
2004-04-06	Stefano Zacchiroli	- added test file	commit \| commitdiff \| tree
2004-04-06	Stefano Zacchiroli	- added via_http parameter so that when the getter...	commit \| commitdiff \| tree
2004-04-06	Stefano Zacchiroli	- use polymorphic variants for some configuration parameters	commit \| commitdiff \| tree
2004-04-06	Stefano Zacchiroli	bugfix: local context and canonical context previously...	commit \| commitdiff \| tree
2004-04-06	Stefano Zacchiroli	bugfix: the function that abstract constant occurrences...	commit \| commitdiff \| tree
2004-04-06	Stefano Zacchiroli	reorganized functions order	commit \| commitdiff \| tree
2004-04-05	Stefano Zacchiroli	added html_of_html_tag	commit \| commitdiff \| tree
2004-04-02	Stefano Zacchiroli	s/per_user_settings/user_settings/ for consistency...	commit \| commitdiff \| tree
2004-04-02	Stefano Zacchiroli	- logging of long-running actions (like update) is...	commit \| commitdiff \| tree
2004-04-01	Stefano Zacchiroli	removed no longer needed password from connection string	commit \| commitdiff \| tree
2004-04-01	Stefano Zacchiroli	- added "Host:" line to http requests so that virtual...	commit \| commitdiff \| tree
2004-04-01	Stefano Zacchiroli	- removed http_get/http_get_iter implementations, use...	commit \| commitdiff \| tree
2004-04-01	Stefano Zacchiroli	removed an out of date comment	commit \| commitdiff \| tree
2004-04-01	Stefano Zacchiroli	added hyperlinks to help message	commit \| commitdiff \| tree
2004-04-01	Stefano Zacchiroli	removed out of date configuration file	commit \| commitdiff \| tree
2004-03-24	Stefano Zacchiroli	CSC: hack to make applications of constants that have...	commit \| commitdiff \| tree
2004-03-22	Stefano Zacchiroli	cosmetic alignment change	commit \| commitdiff \| tree
2004-03-22	Stefano Zacchiroli	- implemented real thread killing (in place of the...	commit \| commitdiff \| tree
2004-03-14	Stefano Zacchiroli	added final version of the paper (for the records)	commit \| commitdiff \| tree
2004-03-14	Stefano Zacchiroli	talk committed	commit \| commitdiff \| tree
2004-03-02	Stefano Zacchiroli	- ported to latest CicAst.Ident format (Some [] <>...	commit \| commitdiff \| tree
2004-03-02	Stefano Zacchiroli	differentieted empty substitution list from no substitution...	commit \| commitdiff \| tree
2004-03-02	Stefano Zacchiroli	- regtest now handles more than one interpretation...	commit \| commitdiff \| tree
2004-03-02	Stefano Zacchiroli	added cast concrete syntax	commit \| commitdiff \| tree
2004-02-26	Stefano Zacchiroli	- better handling of temp files wrt to failures. When...	commit \| commitdiff \| tree
2004-02-26	Stefano Zacchiroli	added support for commands and scripts	commit \| commitdiff \| tree
2004-02-26	Stefano Zacchiroli	added vim modeline for encoding=utf8	commit \| commitdiff \| tree
2004-02-26	Stefano Zacchiroli	added command and script ASTs with _debugging_only_...	commit \| commitdiff \| tree
2004-02-24	Stefano Zacchiroli	added mathitaGui.mli	commit \| commitdiff \| tree
2004-02-24	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2004-02-24	Stefano Zacchiroli	added functions and uris for binary {positive,integer}	commit \| commitdiff \| tree
2004-02-24	Stefano Zacchiroli	added binary {positive,integer} notation	commit \| commitdiff \| tree
2004-02-24	Stefano Zacchiroli	- added support for boolean parameters	commit \| commitdiff \| tree
2004-02-23	Stefano Zacchiroli	added a space between term and "using" keyword	commit \| commitdiff \| tree
2004-02-23	Stefano Zacchiroli	commented out a debugging message	commit \| commitdiff \| tree
2004-02-23	Stefano Zacchiroli	bugfix in "elim ... using" tactical ("using" is a keyword)	commit \| commitdiff \| tree
2004-02-23	Stefano Zacchiroli	added a lot of notation: arithmetic operators, relational...	commit \| commitdiff \| tree
2004-02-23	Stefano Zacchiroli	Rinv typo fix	commit \| commitdiff \| tree
2004-02-23	Stefano Zacchiroli	support optional keys in configuration file	commit \| commitdiff \| tree
2004-02-23	Stefano Zacchiroli	removed password entry, now uses "helm" user (read...	commit \| commitdiff \| tree
2004-02-20	Stefano Zacchiroli	first check in of mathita gui	commit \| commitdiff \| tree
2004-02-20	Stefano Zacchiroli	bugfix: "in" is an IDENT, not a keyword	commit \| commitdiff \| tree
2004-02-18	Stefano Zacchiroli	- better error message on "unknown identifier"	commit \| commitdiff \| tree
2004-02-18	Stefano Zacchiroli	fixed cosmetic typos during pretty printing	commit \| commitdiff \| tree
2004-02-18	Stefano Zacchiroli	- bugfix in term grammar: lowered precedence level...	commit \| commitdiff \| tree
2004-02-18	Stefano Zacchiroli	catch parse error exception and show them to the user...	commit \| commitdiff \| tree
2004-02-17	Stefano Zacchiroli	added copyright info	commit \| commitdiff \| tree
2004-02-17	Stefano Zacchiroli	removed useless Mpresentation module	commit \| commitdiff \| tree
2004-02-17	Stefano Zacchiroli	moved away tactics and tacticals	commit \| commitdiff \| tree
2004-02-17	Stefano Zacchiroli	added tactics and tacticals (heavily bugged)	commit \| commitdiff \| tree
2004-02-17	Stefano Zacchiroli	added hook for .cma link time options	commit \| commitdiff \| tree
2004-02-17	Stefano Zacchiroli	added tactic and tactical (still heavily bugged!!!)	commit \| commitdiff \| tree
next

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

RSS Atom