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

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

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
2005-01-31	Enrico Tassi	added save_object_to_disk and basedir	commit \| commitdiff \| tree \| snapshot
2005-01-31	Enrico Tassi	added delift	commit \| commitdiff \| tree \| snapshot
2005-01-31	Enrico Tassi	added basedir and improved let{rec} syntax	commit \| commitdiff \| tree \| snapshot
2005-01-31	Enrico Tassi	better debug prints	commit \| commitdiff \| tree \| snapshot
2005-01-31	Enrico Tassi	added Basedir Ast	commit \| commitdiff \| tree \| snapshot
2005-01-31	Enrico Tassi	Added outtype inference to MutCase	commit \| commitdiff \| tree \| snapshot
2005-01-31	Enrico Tassi	Fixed bug in delift. The recursive call in the Meta...	commit \| commitdiff \| tree \| snapshot
2005-01-25	Enrico Tassi	- removed applyStylesheets	commit \| commitdiff \| tree \| snapshot
2005-01-25	Enrico Tassi	added list_obj and list_uri	commit \| commitdiff \| tree \| snapshot
2005-01-25	Enrico Tassi	- added code for Coercion command, Print Env command.	commit \| commitdiff \| tree \| snapshot
2005-01-24	Stefano Zacchiroli	- avoid redefinition of the same uri (checked in add_...	commit \| commitdiff \| tree \| snapshot
2005-01-24	Stefano Zacchiroli	uses CicPp.ppsort	commit \| commitdiff \| tree \| snapshot
2005-01-24	Stefano Zacchiroli	- removed ancient debugging prints	commit \| commitdiff \| tree \| snapshot
2005-01-24	Stefano Zacchiroli	- renamed Term_not_found exception (useless) with Objec...	commit \| commitdiff \| tree \| snapshot
2005-01-24	Stefano Zacchiroli	- added handling of exceptions embedded in xml document...	commit \| commitdiff \| tree \| snapshot
2005-01-24	Stefano Zacchiroli	exception carried in response xml documents are now...	commit \| commitdiff \| tree \| snapshot
2005-01-24	Stefano Zacchiroli	added helm:exception handling of Http_getter_types...	commit \| commitdiff \| tree \| snapshot
2005-01-21	Enrico Tassi	- sync with the new ApplyTransformation API	commit \| commitdiff \| tree \| snapshot
2005-01-21	Enrico Tassi	- Changed ApplyTransformation API to return both the...	commit \| commitdiff \| tree \| snapshot
2005-01-21	Stefano Zacchiroli	snapshot, notably:	commit \| commitdiff \| tree \| snapshot
2005-01-21	Stefano Zacchiroli	uniformed prototype of mml_of_cic_{object,sequent}	commit \| commitdiff \| tree \| snapshot
2005-01-21	Stefano Zacchiroli	syntax changes: "." at the end of the phrase instead...	commit \| commitdiff \| tree \| snapshot
2005-01-21	Stefano Zacchiroli	attributes support	commit \| commitdiff \| tree \| snapshot
2005-01-21	Stefano Zacchiroli	- attributes support	commit \| commitdiff \| tree \| snapshot
2005-01-21	Stefano Zacchiroli	attributes support (not yet in the pretty printer)	commit \| commitdiff \| tree \| snapshot
2005-01-21	Stefano Zacchiroli	- attributes support	commit \| commitdiff \| tree \| snapshot
2005-01-21	Stefano Zacchiroli	attributes support	commit \| commitdiff \| tree \| snapshot
2005-01-21	Stefano Zacchiroli	added attributes support	commit \| commitdiff \| tree \| snapshot
2005-01-21	Stefano Zacchiroli	- added string_of_sort	commit \| commitdiff \| tree \| snapshot
2005-01-21	Stefano Zacchiroli	- added attributes support	commit \| commitdiff \| tree \| snapshot
2005-01-21	Stefano Zacchiroli	added attributes	commit \| commitdiff \| tree \| snapshot
2005-01-21	Stefano Zacchiroli	added attribute support (not yet in the parser)	commit \| commitdiff \| tree \| snapshot
2005-01-20	Stefano Zacchiroli	snapshot, notably:	commit \| commitdiff \| tree \| snapshot
2005-01-20	Stefano Zacchiroli	helmns -> helm_ns	commit \| commitdiff \| tree \| snapshot
2005-01-20	Stefano Zacchiroli	- added rendering of constants/variable with/without...	commit \| commitdiff \| tree \| snapshot
2005-01-20	Stefano Zacchiroli	rendering fixes:	commit \| commitdiff \| tree \| snapshot
2005-01-20	Stefano Zacchiroli	- helmns -> helm_ns	commit \| commitdiff \| tree \| snapshot
2005-01-20	Stefano Zacchiroli	added cast rendering (used in check window by gTopLevel...	commit \| commitdiff \| tree \| snapshot
2005-01-20	Stefano Zacchiroli	added URI concrete syntax	commit \| commitdiff \| tree \| snapshot
2005-01-20	Stefano Zacchiroli	added cmdline alias "command" for "tactica"	commit \| commitdiff \| tree \| snapshot
2005-01-19	Enrico Tassi	coercion application	commit \| commitdiff \| tree \| snapshot
2005-01-19	Enrico Tassi	fix coercGraph.mli	commit \| commitdiff \| tree \| snapshot
2005-01-19	Enrico Tassi	fixed #xpointer handling in uri_of_string. new examples :	commit \| commitdiff \| tree \| snapshot
2005-01-19	Enrico Tassi	Added coercion handling module	commit \| commitdiff \| tree \| snapshot
2005-01-18	Stefano Zacchiroli	license template	commit \| commitdiff \| tree \| snapshot
2005-01-18	Stefano Zacchiroli	read uri from cmdline	commit \| commitdiff \| tree \| snapshot
2005-01-18	Stefano Zacchiroli	added pp_location (pretty printer of ast location)	commit \| commitdiff \| tree \| snapshot
2005-01-18	Stefano Zacchiroli	added script support	commit \| commitdiff \| tree \| snapshot
2005-01-18	Stefano Zacchiroli	added latex style comment, with start token "%%"	commit \| commitdiff \| tree \| snapshot
2005-01-18	Stefano Zacchiroli	removed spurious debugging prints	commit \| commitdiff \| tree \| snapshot
2005-01-18	Stefano Zacchiroli	snapshot, notably:	commit \| commitdiff \| tree \| snapshot
2005-01-18	Enrico Tassi	fixed comments	commit \| commitdiff \| tree \| snapshot
2005-01-17	Stefano Zacchiroli	- added helm_ns and xhtml_ns (XHTML and HELM namespace...	commit \| commitdiff \| tree \| snapshot
2005-01-17	Enrico Tassi	new cicEnvironment implementation	commit \| commitdiff \| tree \| snapshot
2005-01-17	Stefano Zacchiroli	No longer return HTTP 400 answers or non-xml answers...	commit \| commitdiff \| tree \| snapshot
2005-01-17	Stefano Zacchiroli	first (almost) working version: apparently, only genera...	commit \| commitdiff \| tree \| snapshot
2005-01-14	Stefano Zacchiroli	snapshot, notably:	commit \| commitdiff \| tree \| snapshot
2005-01-13	Stefano Zacchiroli	snapshot (1st commit of fix body generation)	commit \| commitdiff \| tree \| snapshot
2005-01-12	Enrico Tassi	fixed clean_and_fill	commit \| commitdiff \| tree \| snapshot
2005-01-12	Enrico Tassi	fixed bug in fill_and_clean (now the helper universes_o...	commit \| commitdiff \| tree \| snapshot
2005-01-11	Stefano Zacchiroli	snapshot, notably:	commit \| commitdiff \| tree \| snapshot
2005-01-11	Stefano Zacchiroli	added fallback case (assertion failure) for unsupported...	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom