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

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

2005-02-10	Stefano Zacchiroli	moved a debug print so that it is executed for each...	commit \| commitdiff \| tree \| snapshot
2005-02-10	Stefano Zacchiroli	adapted to optional comment lexer interface	commit \| commitdiff \| tree \| snapshot
2005-02-10	Stefano Zacchiroli	renaming "remove_term" -> "remove_obj"	commit \| commitdiff \| tree \| snapshot
2005-02-10	Stefano Zacchiroli	- fix in intro parsing	commit \| commitdiff \| tree \| snapshot
2005-02-10	Stefano Zacchiroli	factorized tacticals separator and terminator	commit \| commitdiff \| tree \| snapshot
2005-02-10	Stefano Zacchiroli	added "unindex" to undo indexing of a single object	commit \| commitdiff \| tree \| snapshot
2005-02-10	Stefano Zacchiroli	bugfix: method 'advance' now took in input concrete...	commit \| commitdiff \| tree \| snapshot
2005-02-10	Stefano Zacchiroli	changed toolbar window type	commit \| commitdiff \| tree \| snapshot
2005-02-10	Stefano Zacchiroli	bugfix: avoid executing tactic for the script twice	commit \| commitdiff \| tree \| snapshot
2005-02-10	Stefano Zacchiroli	removed spurious dependency on Dbi_mysql	commit \| commitdiff \| tree \| snapshot
2005-02-09	Stefano Zacchiroli	added script support a la coqide	commit \| commitdiff \| tree \| snapshot
2005-02-09	Stefano Zacchiroli	- fixed "error loading dom error" avoiding sequent_view...	commit \| commitdiff \| tree \| snapshot
2005-02-09	Stefano Zacchiroli	moved lockScript to MatitaScript module	commit \| commitdiff \| tree \| snapshot
2005-02-08	Stefano Zacchiroli	0.1.0-1 entry	commit \| commitdiff \| tree \| snapshot
2005-02-08	Stefano Zacchiroli	strip debian version from META version	commit \| commitdiff \| tree \| snapshot
2005-02-08	Stefano Zacchiroli	use wildcard in install target so that binary objects...	commit \| commitdiff \| tree \| snapshot
2005-02-08	Stefano Zacchiroli	added a missing unchecked_to_frozen (fixes a Not_found...	commit \| commitdiff \| tree \| snapshot
2005-02-08	Enrico Tassi	at_least now supports the ownerized tables	commit \| commitdiff \| tree \| snapshot
2005-02-08	Stefano Zacchiroli	added boxml namespace	commit \| commitdiff \| tree \| snapshot
2005-02-08	Stefano Zacchiroli	- changed license to lgpl	commit \| commitdiff \| tree \| snapshot
2005-02-08	Stefano Zacchiroli	debian changes target release 0.1.0	commit \| commitdiff \| tree \| snapshot
2005-02-08	Stefano Zacchiroli	included lgpl	commit \| commitdiff \| tree \| snapshot
2005-02-07	Stefano Zacchiroli	added TODO file	commit \| commitdiff \| tree \| snapshot
2005-02-07	Stefano Zacchiroli	added support for directory browsing in cicBrowser	commit \| commitdiff \| tree \| snapshot
2005-02-07	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree \| snapshot
2005-02-07	Stefano Zacchiroli	connected change tactic (proof of concept)	commit \| commitdiff \| tree \| snapshot
2005-02-07	Enrico Tassi	removed chosenTransformer.ml*	commit \| commitdiff \| tree \| snapshot
2005-02-07	Enrico Tassi	removed chosenTransformer.mli	commit \| commitdiff \| tree \| snapshot
2005-02-07	Enrico Tassi	sync with Xml.pp	commit \| commitdiff \| tree \| snapshot
2005-02-04	Stefano Zacchiroli	fix join on multiple tables	commit \| commitdiff \| tree \| snapshot
2005-02-04	Enrico Tassi	fixed Gzip bug in Xml.pp	commit \| commitdiff \| tree \| snapshot
2005-02-04	Enrico Tassi	saves to gzip	commit \| commitdiff \| tree \| snapshot
2005-02-04	Enrico Tassi	added library table and owner tables handling in the...	commit \| commitdiff \| tree \| snapshot
2005-02-04	Stefano Zacchiroli	escape exception name and arguments embedded in root...	commit \| commitdiff \| tree \| snapshot
2005-02-04	Stefano Zacchiroli	bugfix: handling of local resources (not to be cached...	commit \| commitdiff \| tree \| snapshot
2005-02-04	Stefano Zacchiroli	changed local_url so that it returns the local part...	commit \| commitdiff \| tree \| snapshot
2005-02-04	Stefano Zacchiroli	- removed special handling of universes (no longer...	commit \| commitdiff \| tree \| snapshot
2005-02-04	Stefano Zacchiroli	"thin" version of the configuration file (exploits...	commit \| commitdiff \| tree \| snapshot
2005-02-04	Stefano Zacchiroli	- added some default values (no longer explicitely...	commit \| commitdiff \| tree \| snapshot
2005-02-04	Stefano Zacchiroli	added gzip support to Xml	commit \| commitdiff \| tree \| snapshot
2005-02-04	Enrico Tassi	locate now searched bot the standard library and the...	commit \| commitdiff \| tree \| snapshot
2005-02-04	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-02-04	Stefano Zacchiroli	return also .types uri in getalluris/	commit \| commitdiff \| tree \| snapshot
2005-02-04	Stefano Zacchiroli	snapshot, notably:	commit \| commitdiff \| tree \| snapshot
2005-02-04	Stefano Zacchiroli	parameterized lexer so that comment tokens could be...	commit \| commitdiff \| tree \| snapshot
2005-02-04	Stefano Zacchiroli	removed dep on mathql	commit \| commitdiff \| tree \| snapshot
2005-02-04	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree \| snapshot
2005-02-04	Stefano Zacchiroli	- removed dependency on mathql	commit \| commitdiff \| tree \| snapshot
2005-02-04	Stefano Zacchiroli	- added init method	commit \| commitdiff \| tree \| snapshot
2005-02-04	Stefano Zacchiroli	rebuild	commit \| commitdiff \| tree \| snapshot
2005-02-04	Stefano Zacchiroli	- simplified environment handling:	commit \| commitdiff \| tree \| snapshot
2005-02-04	Stefano Zacchiroli	local_url predicate (recognize file:// urls)	commit \| commitdiff \| tree \| snapshot
2005-02-04	Stefano Zacchiroli	do not cache local resources (i.e. file:// urls)	commit \| commitdiff \| tree \| snapshot
2005-02-04	Stefano Zacchiroli	create path towards dbm file	commit \| commitdiff \| tree \| snapshot
2005-02-04	Stefano Zacchiroli	removed ancient mathql deps	commit \| commitdiff \| tree \| snapshot
2005-02-04	Stefano Zacchiroli	- clean no longer unregister URIs from the getter,...	commit \| commitdiff \| tree \| snapshot
2005-02-04	Stefano Zacchiroli	cosmetic changes	commit \| commitdiff \| tree \| snapshot
2005-02-03	Stefano Zacchiroli	target 0.1.0 changelog (not yet released ...)	commit \| commitdiff \| tree \| snapshot
2005-02-03	Stefano Zacchiroli	uniformed default values handling, now they are all...	commit \| commitdiff \| tree \| snapshot
2005-02-03	Stefano Zacchiroli	- added main that starts a new http_daemon given a...	commit \| commitdiff \| tree \| snapshot
2005-02-03	Stefano Zacchiroli	cosmetic changes (no longer open Neturl)	commit \| commitdiff \| tree \| snapshot
2005-02-03	Stefano Zacchiroli	removed Makefile.overrides	commit \| commitdiff \| tree \| snapshot
2005-02-03	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree \| snapshot
2005-02-03	Stefano Zacchiroli	- moved ocamldoc comments in .mli	commit \| commitdiff \| tree \| snapshot
2005-02-03	Stefano Zacchiroli	added warn and error for messaging	commit \| commitdiff \| tree \| snapshot
2005-02-03	Stefano Zacchiroli	added http_types.mli: Makefile.overrides is now useless	commit \| commitdiff \| tree \| snapshot
2005-02-03	Stefano Zacchiroli	removed useless dont_fork and obj_foo examples	commit \| commitdiff \| tree \| snapshot
2005-02-03	Stefano Zacchiroli	ported to daemon_spec	commit \| commitdiff \| tree \| snapshot
2005-02-03	Stefano Zacchiroli	- ported to daemon_spec	commit \| commitdiff \| tree \| snapshot
2005-02-03	Stefano Zacchiroli	- added sigpipe handling to avoid processes get killed...	commit \| commitdiff \| tree \| snapshot
2005-02-03	Stefano Zacchiroli	added head_callback to access response status and heade...	commit \| commitdiff \| tree \| snapshot
2005-02-03	Enrico Tassi	fixed currentproof	commit \| commitdiff \| tree \| snapshot
2005-02-03	Enrico Tassi	better owner hadling	commit \| commitdiff \| tree \| snapshot
2005-02-03	Enrico Tassi	MetadataDb.clean doesn't need ~owner since table names...	commit \| commitdiff \| tree \| snapshot
2005-02-03	Enrico Tassi	owners table not needed	commit \| commitdiff \| tree \| snapshot
2005-02-03	Enrico Tassi	added new ownerize function	commit \| commitdiff \| tree \| snapshot
2005-02-03	Enrico Tassi	new metadataTypes interface (with ownerize function)	commit \| commitdiff \| tree \| snapshot
2005-02-03	Enrico Tassi	removed uri parameter from load_proof	commit \| commitdiff \| tree \| snapshot
2005-02-03	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree \| snapshot
2005-02-03	Stefano Zacchiroli	snapshot, notably:	commit \| commitdiff \| tree \| snapshot
2005-02-03	Stefano Zacchiroli	removed spurious load of a local gTopLevel.conf.xml	commit \| commitdiff \| tree \| snapshot
2005-02-02	Stefano Zacchiroli	- implemented inductive type rendering	commit \| commitdiff \| tree \| snapshot
2005-02-02	Stefano Zacchiroli	added inductive_name field to inductive definitions...	commit \| commitdiff \| tree \| snapshot
2005-02-01	Stefano Zacchiroli	added (linked to matita) executable cicbrowser: when...	commit \| commitdiff \| tree \| snapshot
2005-02-01	Stefano Zacchiroli	snapshot, notably:	commit \| commitdiff \| tree \| snapshot
2005-02-01	Stefano Zacchiroli	removed useless parameter uri from mml_of_cic_object	commit \| commitdiff \| tree \| snapshot
2005-02-01	Stefano Zacchiroli	added mathml_ns	commit \| commitdiff \| tree \| snapshot
2005-02-01	Stefano Zacchiroli	enriched error message	commit \| commitdiff \| tree \| snapshot
2005-02-01	Stefano Zacchiroli	added strip_xpointer: remove trailing #xpointer from...	commit \| commitdiff \| tree \| snapshot
2005-02-01	Enrico Tassi	reverder change. no more owner passed to the locate.	commit \| commitdiff \| tree \| snapshot
2005-02-01	Enrico Tassi	added owner support to the disambiguator (now locate...	commit \| commitdiff \| tree \| snapshot
2005-02-01	Enrico Tassi	* empty log message *	commit \| commitdiff \| tree \| snapshot
2005-02-01	Enrico Tassi	added `Coer print_kind	commit \| commitdiff \| tree \| snapshot
2005-02-01	Enrico Tassi	Added Coer/Coercions print_kind	commit \| commitdiff \| tree \| snapshot
2005-02-01	Enrico Tassi	MetadataDB.clean now cleans the getter maps (calling...	commit \| commitdiff \| tree \| snapshot
2005-02-01	Enrico Tassi	fix in the coercions list generation and aded a functio...	commit \| commitdiff \| tree \| snapshot
2005-02-01	Enrico Tassi	added the unregister method to the help page	commit \| commitdiff \| tree \| snapshot
2005-02-01	Enrico Tassi	fixed coercions	commit \| commitdiff \| tree \| snapshot
2005-02-01	Enrico Tassi	removed debug print	commit \| commitdiff \| tree \| snapshot
2005-02-01	Enrico Tassi	cosmetic fix to pp_location	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom