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

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

2001-04-04	Claudio Sacerdoti...	Improved rendering for rewriting steps: a little indentation...	commit \| commitdiff \| tree
2001-04-04	Claudio Sacerdoti...	pure ==> proof_transform for the "by" part of rewriting	commit \| commitdiff \| tree
2001-04-04	Claudio Sacerdoti...	pure ==> noannot in CASE's branches	commit \| commitdiff \| tree
2001-04-04	Claudio Sacerdoti...	Big bug: & was not quoted in the URL for xmluri (that...	commit \| commitdiff \| tree
2001-04-03	Claudio Sacerdoti...	Line morally belonging to lablgtk/*.h now is there...	commit \| commitdiff \| tree
2001-04-03	Claudio Sacerdoti...	Updated to lablgtk 1.2 and ocaml-3.01.	commit \| commitdiff \| tree
2001-03-22	Claudio Sacerdoti...	Now links are followed even in theory + MathML Presentation	commit \| commitdiff \| tree
2001-03-21	Claudio Sacerdoti...	headercontent.xsl added to have all the notational...	commit \| commitdiff \| tree
2001-03-21	Claudio Sacerdoti...	patched_dtd => patch_dtd	commit \| commitdiff \| tree
2001-03-19	Claudio Sacerdoti...	Changes in raw mode interface	commit \| commitdiff \| tree
2001-03-19	Claudio Sacerdoti...	Now uses the new stylesheets waterfall	commit \| commitdiff \| tree
2001-03-19	Claudio Sacerdoti...	error: "iso8859-1" ==> "'iso8859-1'"	commit \| commitdiff \| tree
2001-03-19	Claudio Sacerdoti...	makeURL() and related variables and parameters moved...	commit \| commitdiff \| tree
2001-03-19	Claudio Sacerdoti...	getciconly ==> getxml	commit \| commitdiff \| tree
2001-03-16	Claudio Sacerdoti...	getciconly ==> getxml	commit \| commitdiff \| tree
2001-03-16	Claudio Sacerdoti...	Annotations now working again (even if in a bit trickier...	commit \| commitdiff \| tree
2001-03-16	Claudio Sacerdoti...	Raw mode now really considers compressed/not compressed	commit \| commitdiff \| tree
2001-03-16	Claudio Sacerdoti...	Method get of the getter no more used. Replaced by...	commit \| commitdiff \| tree
2001-03-16	Claudio Sacerdoti...	Files with annotations available now use a different...	commit \| commitdiff \| tree
2001-03-16	Claudio Sacerdoti...	Used for files where annotations are availables	commit \| commitdiff \| tree
2001-03-16	Claudio Sacerdoti...	annotations now taken in account (as was for naturalLanguage)	commit \| commitdiff \| tree
2001-03-14	Claudio Sacerdoti...	Syntax error + new indenting	commit \| commitdiff \| tree
2001-03-14	Claudio Sacerdoti...	Configuration on-line now pass the parameters	commit \| commitdiff \| tree
2001-03-12	Claudio Sacerdoti...	Last update before dismission	commit \| commitdiff \| tree
2001-03-07	Claudio Sacerdoti...	processorURL must now already end with a /	commit \| commitdiff \| tree
2001-03-07	Claudio Sacerdoti...	Now the on-line interface can use a Getter and an UWOBO...	commit \| commitdiff \| tree
2001-03-07	Claudio Sacerdoti...	Bug fixed: now propagates informations about inner...	commit \| commitdiff \| tree
2001-03-06	Claudio Sacerdoti...	getter flags considered	commit \| commitdiff \| tree
2001-03-06	Claudio Sacerdoti...	library3 ==> javascript	commit \| commitdiff \| tree
2001-03-06	Claudio Sacerdoti...	New on-line interface	commit \| commitdiff \| tree
2001-03-06	Claudio Sacerdoti...	New online interface	commit \| commitdiff \| tree
2001-03-06	Claudio Sacerdoti...	The .types files are now read directly by the stylesheets.	commit \| commitdiff \| tree
2001-03-06	Claudio Sacerdoti...	Now uses the param keys	commit \| commitdiff \| tree
2001-03-01	Claudio Sacerdoti...	WebEQ definitely no more used	commit \| commitdiff \| tree
2001-02-06	Claudio Sacerdoti...	No more used and soon no more working due to changes...	commit \| commitdiff \| tree
2001-02-05	Claudio Sacerdoti...	Dynamic patch to transform the URL returned by $d-...	commit \| commitdiff \| tree
2001-02-05	Claudio Sacerdoti...	Done for URLs for DTDs the same thing previously done...	commit \| commitdiff \| tree
2001-02-05	Claudio Sacerdoti...	Relative URL now used again	commit \| commitdiff \| tree
2001-02-05	Claudio Sacerdoti...	When downloading stylesheets, substitutes all relative...	commit \| commitdiff \| tree
2001-02-02	Claudio Sacerdoti...	HELM_DTD_DIR now also used	commit \| commitdiff \| tree
2001-02-02	Claudio Sacerdoti...	getxslt added	commit \| commitdiff \| tree
2001-02-01	Claudio Sacerdoti...	helm_http_getter.spec added	commit \| commitdiff \| tree
2000-12-29	Claudio Sacerdoti...	MIME-BASE64 => MIME-Base64	commit \| commitdiff \| tree
2000-12-29	Claudio Sacerdoti...	syntax error	commit \| commitdiff \| tree
2000-12-29	Claudio Sacerdoti...	Initial revision	commit \| commitdiff \| tree
2000-12-29	Claudio Sacerdoti...	Some Requires were missing; the same checks are still...	commit \| commitdiff \| tree
2000-12-29	Claudio Sacerdoti...	Some Requires were missing. Same checks still missing...	commit \| commitdiff \| tree
2000-12-29	Claudio Sacerdoti...	now servers.txt and urls_or_uris.db are 666	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	helm_wget is now executable	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	mywget => helm_wget	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	mywget renamed in helm_wget; autoconf used for helm_wget	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	configuration.ml moved to configuration.ml.in to use...	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	Autoconf now used	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	Makefile moved in Makefile.in to use autoconf	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	shared => share	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	syntax error fixed	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	Requires updated	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	first changes to make autoconf work	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	autoconf now used	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	Makefile moved in Makefile.old and start-xaland created.	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	syntax error	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	bug fixed	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	syntax error fixed	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	http_getter.pl is now executable	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	http_getter.pl is now created executable	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	autoconf now used	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	Provides and Requires now fixed	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	Requires and Provides now fixed	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	Only .xsl files in style are now copied	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	bug fixed	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	english syntax error fixed	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	.cvsignore file added	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	First files added	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	More tags	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	configure.cache.* corrected into config.cache.*	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	Default configure cache for creating packages created	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	First changes to make the rpm package	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	1777 (1 = sticky bit) for the library dir	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	bug fixed	commit \| commitdiff \| tree
2000-12-28	Claudio Sacerdoti...	More cleaning in distclean	commit \| commitdiff \| tree
2000-12-22	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2000-12-22	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2000-12-22	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2000-12-22	Claudio Sacerdoti...	install file removed	commit \| commitdiff \| tree
2000-12-22	Claudio Sacerdoti...	cache usage fixed	commit \| commitdiff \| tree
2000-12-22	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2000-12-22	Claudio Sacerdoti...	urls_of_uris.db is now empty	commit \| commitdiff \| tree
2000-12-22	Claudio Sacerdoti...	library files added	commit \| commitdiff \| tree
2000-12-22	Claudio Sacerdoti...	distclean target added	commit \| commitdiff \| tree
next

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

RSS Atom