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

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

2005-07-06	Stefano Zacchiroli	- bugfix: correctly handle real "index.theory"	commit \| commitdiff \| tree
2005-07-06	Stefano Zacchiroli	added index.theory handling	commit \| commitdiff \| tree
2005-07-06	Stefano Zacchiroli	no longer handle Shell exceptions (no more used by...	commit \| commitdiff \| tree
2005-07-06	Stefano Zacchiroli	added backtick function	commit \| commitdiff \| tree
2005-07-06	Stefano Zacchiroli	no longer uses Shell library	commit \| commitdiff \| tree
2005-07-06	Stefano Zacchiroli	- updated META dependencies (no more dbm, no more shell)	commit \| commitdiff \| tree
2005-07-06	Stefano Zacchiroli	uses mowgli's getter conffile as sample	commit \| commitdiff \| tree
2005-07-06	Stefano Zacchiroli	reimplemented on top of latest getter library (no more...	commit \| commitdiff \| tree
2005-07-06	Stefano Zacchiroli	bugfix: leave ".theory" suffix in place for theory...	commit \| commitdiff \| tree
2005-07-06	Stefano Zacchiroli	help string in sync with available commands	commit \| commitdiff \| tree
2005-07-06	Stefano Zacchiroli	- handle prefixes on the same line in conffile	commit \| commitdiff \| tree
2005-07-06	Stefano Zacchiroli	added support for multiple binding of the same prefix...	commit \| commitdiff \| tree
2005-07-06	Stefano Zacchiroli	do not .body/.types/.proof_tree files from ls output	commit \| commitdiff \| tree
2005-07-06	Stefano Zacchiroli	- bugfix in cache handling for remote resources	commit \| commitdiff \| tree
2005-07-06	Stefano Zacchiroli	better exception handling for HTTP errors	commit \| commitdiff \| tree
2005-07-06	Stefano Zacchiroli	added docu comment	commit \| commitdiff \| tree
2005-07-06	Stefano Zacchiroli	typo fixed: s/msemantics/semantics/	commit \| commitdiff \| tree
2005-07-06	Stefano Zacchiroli	removed (wrong) output encoding iso-8859-1	commit \| commitdiff \| tree
2005-07-05	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2005-07-05	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2005-07-05	Stefano Zacchiroli	ported to new getter interface	commit \| commitdiff \| tree
2005-07-05	Stefano Zacchiroli	bumped license year	commit \| commitdiff \| tree
2005-07-05	Stefano Zacchiroli	new getter implementation: no more DBM maps	commit \| commitdiff \| tree
2005-07-05	Stefano Zacchiroli	handle Not_found exception in extension	commit \| commitdiff \| tree
2005-07-04	Stefano Zacchiroli	added some utility functions on filename suffixes	commit \| commitdiff \| tree
2005-07-01	Stefano Zacchiroli	more logging information on received request	commit \| commitdiff \| tree
2005-07-01	Stefano Zacchiroli	uses relative OCAMLPATH	commit \| commitdiff \| tree
2005-06-30	Stefano Zacchiroli	added license stuff	commit \| commitdiff \| tree
2005-06-30	Stefano Zacchiroli	better handling of script names	commit \| commitdiff \| tree
2005-06-30	Stefano Zacchiroli	added a debugging helper	commit \| commitdiff \| tree
2005-06-28	Stefano Zacchiroli	fixed bug in response first line parsing (arbitrary...	commit \| commitdiff \| tree
2005-06-28	Stefano Zacchiroli	changed get_pair interface, now supports different...	commit \| commitdiff \| tree
2005-06-28	Stefano Zacchiroli	added get_pair method	commit \| commitdiff \| tree
2005-06-28	Stefano Zacchiroli	moved discovery of METAS dir to configure.ac: script...	commit \| commitdiff \| tree
2005-06-28	Stefano Zacchiroli	bugfix: uses awk instead of cut for splitting query...	commit \| commitdiff \| tree
2005-06-22	Stefano Zacchiroli	local use of OCAMLPATH so that ./script.sh should not...	commit \| commitdiff \| tree
2005-06-22	Stefano Zacchiroli	restored local usage of OCAMLPATH so that ./script...	commit \| commitdiff \| tree
2005-06-22	Stefano Zacchiroli	added $(NULL)	commit \| commitdiff \| tree
2005-06-17	Stefano Zacchiroli	removed!	commit \| commitdiff \| tree
2005-06-17	Stefano Zacchiroli	removed spurious entry gtkrc	commit \| commitdiff \| tree
2005-06-16	Stefano Zacchiroli	added depth and width (optional) parameters to auto_tac_new	commit \| commitdiff \| tree
2005-06-16	Stefano Zacchiroli	uses auto_tac_new instead of auto_tac	commit \| commitdiff \| tree
2005-06-15	Stefano Zacchiroli	DTD for attributes revised.	commit \| commitdiff \| tree
2005-06-15	Stefano Zacchiroli	renamed clientHTTP to http_getter_wget	commit \| commitdiff \| tree
2005-06-15	Stefano Zacchiroli	we no longer use pxp	commit \| commitdiff \| tree
2005-06-15	Stefano Zacchiroli	enable static linking of C stub code	commit \| commitdiff \| tree
2005-06-15	Stefano Zacchiroli	version 0.7.1-1	commit \| commitdiff \| tree
2005-06-15	Stefano Zacchiroli	- better printing of modifiers	commit \| commitdiff \| tree
2005-06-15	Stefano Zacchiroli	ported to latest registry interface	commit \| commitdiff \| tree
2005-06-15	Stefano Zacchiroli	- support for multiple bindings of the same key, accessible...	commit \| commitdiff \| tree
2005-06-15	Stefano Zacchiroli	use META helm-registry package, load sample.xml and...	commit \| commitdiff \| tree
2005-06-14	Stefano Zacchiroli	uses XmlPushParser instead of PXP	commit \| commitdiff \| tree
2005-06-14	Stefano Zacchiroli	finally we understood how to properly link ocaml bindings...	commit \| commitdiff \| tree
2005-06-14	Stefano Zacchiroli	done two items	commit \| commitdiff \| tree
2005-06-14	Stefano Zacchiroli	don't build pxp (no longer needed), cic_annotations...	commit \| commitdiff \| tree
2005-06-14	Stefano Zacchiroli	removed dependencies on Pxp	commit \| commitdiff \| tree
2005-06-14	Stefano Zacchiroli	removed dependency on cicPxpParser	commit \| commitdiff \| tree
2005-06-14	Stefano Zacchiroli	uses XmlPushParser instead of Pxp for parsing getter...	commit \| commitdiff \| tree
2005-06-13	Stefano Zacchiroli	integrated lablgtksourceview	commit \| commitdiff \| tree
2005-06-13	Stefano Zacchiroli	- no longer build mathql per default	commit \| commitdiff \| tree
2005-06-13	Stefano Zacchiroli	- new minor version	commit \| commitdiff \| tree
2005-06-13	Stefano Zacchiroli	ported to official (guessed) version of lablgtk2	commit \| commitdiff \| tree
2005-06-13	Stefano Zacchiroli	better clean up on dist	commit \| commitdiff \| tree
2005-06-13	Stefano Zacchiroli	moved the annoying debugging print to test	commit \| commitdiff \| tree
2005-06-13	Stefano Zacchiroli	ported to lablgtk2 2.4.0+2005.06.13-1	commit \| commitdiff \| tree
2005-06-13	Stefano Zacchiroli	ported to latest lablgtk2 snapshot (13/06/2005) in...	commit \| commitdiff \| tree
2005-06-11	Stefano Zacchiroli	rewritten makefile and debian packaging: .deb ready!	commit \| commitdiff \| tree
2005-06-11	Stefano Zacchiroli	added an 'a parameter to mpresentation type so that...	commit \| commitdiff \| tree
2005-06-11	Stefano Zacchiroli	ocaml 3.08.3 commit	commit \| commitdiff \| tree
2005-06-11	Stefano Zacchiroli	fixed segfault issue with matching bracket search	commit \| commitdiff \| tree
2005-06-11	Stefano Zacchiroli	first checkin of debian stuff, something done, but...	commit \| commitdiff \| tree
2005-06-10	Stefano Zacchiroli	snapshort	commit \| commitdiff \| tree
2005-06-10	Stefano Zacchiroli	- bound GtkSourceLanguagesManager (only get_lang..from_mime_...	commit \| commitdiff \| tree
2005-06-10	Stefano Zacchiroli	snaphot	commit \| commitdiff \| tree
2005-06-09	Stefano Zacchiroli	added source_view ?text constructor parameter	commit \| commitdiff \| tree
2005-06-09	Stefano Zacchiroli	test file	commit \| commitdiff \| tree
2005-06-09	Stefano Zacchiroli	load "test.txt" and show it in a scrolled win	commit \| commitdiff \| tree
2005-06-09	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2005-06-09	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2005-06-09	Stefano Zacchiroli	lablgtksourceview: first checkin, almost nothing bound ...	commit \| commitdiff \| tree
2005-06-09	Stefano Zacchiroli	simplified cicBrowser: whelp bar is now always visible	commit \| commitdiff \| tree
2005-06-08	Stefano Zacchiroli	- handles about:* uris in cicBrowser	commit \| commitdiff \| tree
2005-06-08	Stefano Zacchiroli	fixed history handling: now both "home" and link reached...	commit \| commitdiff \| tree
2005-06-08	Stefano Zacchiroli	rewritten cicBrowser handling of uri text entry, still...	commit \| commitdiff \| tree
2005-06-08	Stefano Zacchiroli	added icons to entries shown in cicbrowser so that...	commit \| commitdiff \| tree
2005-06-08	Stefano Zacchiroli	snapshot (minor changes)	commit \| commitdiff \| tree
2005-06-07	Stefano Zacchiroli	implemented attributes pretty printing	commit \| commitdiff \| tree
2005-06-07	Stefano Zacchiroli	handles "elimCProp" value for class attribute	commit \| commitdiff \| tree
2005-06-07	Stefano Zacchiroli	added object attributes	commit \| commitdiff \| tree
2005-06-07	Stefano Zacchiroli	added integration entry	commit \| commitdiff \| tree
2005-06-07	Stefano Zacchiroli	snapshort	commit \| commitdiff \| tree
2005-06-06	Stefano Zacchiroli	- set monospace buffer using modify_font widget method	commit \| commitdiff \| tree
2005-06-04	Stefano Zacchiroli	snapshot (first version with working pattern matching...	commit \| commitdiff \| tree
2005-06-04	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2005-06-02	Stefano Zacchiroli	snapshot (added typed environment in 2 -> 1 conversion)	commit \| commitdiff \| tree
2005-06-02	Stefano Zacchiroli	snapshot (first working implementation of parttern...	commit \| commitdiff \| tree
2005-05-31	Stefano Zacchiroli	snapshot (ported to new "typed" ids_to_inner_sort table)	commit \| commitdiff \| tree
2005-05-31	Stefano Zacchiroli	Changed type of ids_to_inner_sort table used in transformation.	commit \| commitdiff \| tree
2005-05-31	Stefano Zacchiroli	snapshot (first version with [apparently] working mappings...	commit \| commitdiff \| tree
2005-05-31	Stefano Zacchiroli	snapshot (the thing on the doorstep)	commit \| commitdiff \| tree
next

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

RSS Atom