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

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

2003-09-23	Claudio Sacerdoti...	ProofEngine.goal := ==> set_proof_engine_goal	commit \| commitdiff \| tree
2003-09-23	Claudio Sacerdoti...	Reindentation	commit \| commitdiff \| tree
2003-09-23	Claudio Sacerdoti...	ProofEngine.proof is now an abstract data type (since...	commit \| commitdiff \| tree
2003-09-23	Claudio Sacerdoti...	This version of xmlDiff is much much much smarter than...	commit \| commitdiff \| tree
2003-09-23	Claudio Sacerdoti...	Reindentation	commit \| commitdiff \| tree
2003-09-23	Claudio Sacerdoti...	BU_Conversion + omit-conclusion is a mess. I have partially...	commit \| commitdiff \| tree
2003-09-23	Claudio Sacerdoti...	Debugging stuff removed.	commit \| commitdiff \| tree
2003-09-23	Claudio Sacerdoti...	Preliminary support for proof-tree enhanced: proof...	commit \| commitdiff \| tree
2003-09-23	Claudio Sacerdoti...	- added support for proof trees	commit \| commitdiff \| tree
2003-09-19	Claudio Sacerdoti...	clean_cache method added	commit \| commitdiff \| tree
2003-09-19	Claudio Sacerdoti...	cleancache ==> clean_cache	commit \| commitdiff \| tree
2003-09-19	Claudio Sacerdoti...	Clean cache method added.	commit \| commitdiff \| tree
2003-09-19	Claudio Sacerdoti...	param.framewidth = 150 (hard-coded ;-( pour Hanane...	commit \| commitdiff \| tree
2003-09-19	Claudio Sacerdoti...	Following an hyperlink from a proof-tree rendering...	commit \| commitdiff \| tree
2003-09-19	Claudio Sacerdoti...	Preliminary commit to support Hanane's proof-tree rendering.	commit \| commitdiff \| tree
2003-09-18	Claudio Sacerdoti...	prop.media-type and prop.encoding were _NOT_ considered...	commit \| commitdiff \| tree
2003-09-17	Claudio Sacerdoti...	www-sop.inria.fr	commit \| commitdiff \| tree
2003-09-05	Claudio Sacerdoti...	get_childNodes no longer used ==> major performance...	commit \| commitdiff \| tree
2003-09-05	Claudio Sacerdoti...	string ==> id	commit \| commitdiff \| tree
2003-09-05	Claudio Sacerdoti...	Replace is now working also over Type.	commit \| commitdiff \| tree
2003-09-05	Claudio Sacerdoti...	Replace tactic fixed. It was not working any longer...	commit \| commitdiff \| tree
2003-09-05	Claudio Sacerdoti...	Notation for Rdiv and Rminus.	commit \| commitdiff \| tree
2003-09-05	Claudio Sacerdoti...	Debugging infos removed.	commit \| commitdiff \| tree
2003-09-05	Claudio Sacerdoti...	string => id	commit \| commitdiff \| tree
2003-09-05	Claudio Sacerdoti...	Defs in context may now have an optional type (when...	commit \| commitdiff \| tree
2003-07-31	Claudio Sacerdoti...	Closed induction cases are now pointers to the acontext...	commit \| commitdiff \| tree
2003-07-31	Claudio Sacerdoti...	"proof of X" closed mactions were not selectable	commit \| commitdiff \| tree
2003-07-31	Claudio Sacerdoti...	1. folded maction are now selectable	commit \| commitdiff \| tree
2003-07-30	Claudio Sacerdoti...	Unuseful id removed from hypothesis.	commit \| commitdiff \| tree
2003-07-30	Claudio Sacerdoti...	All the ids are now generated by gen_id. (Some of them...	commit \| commitdiff \| tree
2003-07-29	Claudio Sacerdoti...	Prefixes introduced for the generated ids/xrefs. Example:	commit \| commitdiff \| tree
2003-07-29	Claudio Sacerdoti...	Spurious files removed.	commit \| commitdiff \| tree
2003-07-29	Claudio Sacerdoti...	"(" moved from Mtext to Mo. Spaces removed.	commit \| commitdiff \| tree
2003-07-28	Claudio Sacerdoti...	Missing xref for conjectures.	commit \| commitdiff \| tree
2003-07-28	Claudio Sacerdoti...	mathvariant=normal for all the proof ;-)	commit \| commitdiff \| tree
2003-07-28	Claudio Sacerdoti...	background (deprecated) ==> mathbackground	commit \| commitdiff \| tree
2003-07-28	Claudio Sacerdoti...	Bug fixed: it could have happened that the tree structured...	commit \| commitdiff \| tree
2003-07-28	Claudio Sacerdoti...	- severe bug fixing	commit \| commitdiff \| tree
2003-07-25	Claudio Sacerdoti...	Highlighting of changed parts.	commit \| commitdiff \| tree
2003-07-25	Claudio Sacerdoti...	URIs of inductive types and constructors fixed.	commit \| commitdiff \| tree
2003-07-25	Claudio Sacerdoti...	Lemma generated wrong URIs (again). Fixed.	commit \| commitdiff \| tree
2003-07-22	Claudio Sacerdoti...	- selection attribute of maction is now explicitly...	commit \| commitdiff \| tree
2003-07-22	Claudio Sacerdoti...	Debugging code inserted bug in the code ;-)	commit \| commitdiff \| tree
2003-07-22	Claudio Sacerdoti...	XmlDiff-ing of DOM trees implemented.	commit \| commitdiff \| tree
2003-07-21	Claudio Sacerdoti...	Interface change: only cobj2obj is exposed.	commit \| commitdiff \| tree
2003-07-21	Claudio Sacerdoti...	Flattening application contexts uncorrectly changed...	commit \| commitdiff \| tree
2003-07-20	Claudio Sacerdoti...	Reindenting.	commit \| commitdiff \| tree
2003-07-20	Claudio Sacerdoti...	proof2cic now uses Deannotate.deannoate_term instead...	commit \| commitdiff \| tree
2003-07-20	Claudio Sacerdoti...	Cic2acic is now responsible of eta-fixing the objects.	commit \| commitdiff \| tree
2003-07-20	Claudio Sacerdoti...	Cic2acic is now responsible of eta-fixing the objects...	commit \| commitdiff \| tree
2003-07-20	Claudio Sacerdoti...	cic2content.ml* moved from cic_transformations to cic_omdoc.	commit \| commitdiff \| tree
2003-07-20	Claudio Sacerdoti...	Content2cic e Eta_fixing moved from gTopLevel to cic_omdoc.	commit \| commitdiff \| tree
2003-07-20	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2003-07-20	Claudio Sacerdoti...	cic_transformations factorized into cic_omdoc and cic_transf...	commit \| commitdiff \| tree
2003-07-20	Claudio Sacerdoti...	Cic2content split into Content and Cic2content.	commit \| commitdiff \| tree
2003-07-16	Claudio Sacerdoti...	Xml.token is now namespace-aware. As a consequence...	commit \| commitdiff \| tree
2003-07-15	Claudio Sacerdoti...	Camera ready.	commit \| commitdiff \| tree
2003-07-14	Claudio Sacerdoti...	Towards the camera ready.	commit \| commitdiff \| tree
2003-07-11	Claudio Sacerdoti...	Version dumped.	commit \| commitdiff \| tree
2003-07-11	Claudio Sacerdoti...	Bug fixed: the value of parameters must be valid XPath...	commit \| commitdiff \| tree
2003-07-02	Claudio Sacerdoti...	Bug fixed: deselecting a constraint just forgot its...	commit \| commitdiff \| tree
2003-07-02	Claudio Sacerdoti...	Ctr+Backspace is now enabled. Used to perform "alternative...	commit \| commitdiff \| tree
2003-07-02	Claudio Sacerdoti...	The editor window now scrolls when the user exceeds...	commit \| commitdiff \| tree
2003-07-01	Claudio Sacerdoti...	- DoubleTypeInference.does_not_occur exposed	commit \| commitdiff \| tree
2003-07-01	Claudio Sacerdoti...	0.4.3-2	commit \| commitdiff \| tree
2003-07-01	Claudio Sacerdoti...	1. freeze/thaw added to reduce flickering due to selection...	commit \| commitdiff \| tree
2003-07-01	Claudio Sacerdoti...	gtkmathview-config and gdome-config no longer used	commit \| commitdiff \| tree
2003-06-30	Claudio Sacerdoti...	- default font size of the proof window lowered to 10	commit \| commitdiff \| tree
2003-06-27	Claudio Sacerdoti...	The type of a LetIn is now a LetIn if and only if the...	commit \| commitdiff \| tree
2003-06-27	Claudio Sacerdoti...	The "Save proof" menu item is now activated when a...	commit \| commitdiff \| tree
2003-06-27	Claudio Sacerdoti...	Reindentation.	commit \| commitdiff \| tree
2003-06-27	Claudio Sacerdoti...	Reloading bugged stylesheets no longer makes gTopLevel...	commit \| commitdiff \| tree
2003-06-27	Claudio Sacerdoti...	Reload stylesheets menu entry added (under the Settings...	commit \| commitdiff \| tree
2003-06-27	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2003-06-26	Claudio Sacerdoti...	http://....#Prop shortened to Prop due to a bug (feature...	commit \| commitdiff \| tree
2003-06-26	Claudio Sacerdoti...	relativeDepth function removed (useful only for cooking)	commit \| commitdiff \| tree
2003-06-26	Claudio Sacerdoti...	Metadata tools are now working correctly also over...	commit \| commitdiff \| tree
2003-06-26	Claudio Sacerdoti...	The proof-checker should now be working also on .body...	commit \| commitdiff \| tree
2003-06-26	Claudio Sacerdoti...	dropBodySuffix function added	commit \| commitdiff \| tree
2003-06-26	Claudio Sacerdoti...	- Object URL link added	commit \| commitdiff \| tree
2003-06-26	Claudio Sacerdoti...	Ported to the latest version of libhttp	commit \| commitdiff \| tree
2003-06-25	Claudio Sacerdoti...	Removed (it should have already been in ocaml/tactics)	commit \| commitdiff \| tree
2003-06-24	Claudio Sacerdoti...	Porting to the latest version of PXP (1.1.94).	commit \| commitdiff \| tree
2003-06-24	Claudio Sacerdoti...	No longer in use.	commit \| commitdiff \| tree
2003-06-23	Claudio Sacerdoti...	Branch V7_3_new_exportation merged.	commit \| commitdiff \| tree
2003-06-23	Claudio Sacerdoti...	Branch V7_3_new_exportation merged.	commit \| commitdiff \| tree
2003-06-23	Claudio Sacerdoti...	- help method added	commit \| commitdiff \| tree
2003-06-20	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2003-06-20	Claudio Sacerdoti...	Installation instructions.	commit \| commitdiff \| tree
2003-06-20	Claudio Sacerdoti...	- script.sh added to the repository: you should change...	commit \| commitdiff \| tree
2003-06-20	Claudio Sacerdoti...	New version 0.0.3:	commit \| commitdiff \| tree
2003-06-19	Claudio Sacerdoti...	* mquery_interpreter logging and debugging activated	commit \| commitdiff \| tree
2003-06-19	Claudio Sacerdoti...	The universe was the one of the complete search, not...	commit \| commitdiff \| tree
2003-06-19	Claudio Sacerdoti...	Reindented	commit \| commitdiff \| tree
2003-06-19	Claudio Sacerdoti...	Merge of the V7_3_new_exportation branch.	commit \| commitdiff \| tree
2003-06-19	Claudio Sacerdoti...	New version 0.0.2:	commit \| commitdiff \| tree
2003-06-18	Claudio Sacerdoti...	No longer used.	commit \| commitdiff \| tree
2003-06-10	Claudio Sacerdoti...	- tabs removed	commit \| commitdiff \| tree
2003-06-10	Claudio Sacerdoti...	findlib introduced	commit \| commitdiff \| tree
2003-05-30	Claudio Sacerdoti...	final ispell	commit \| commitdiff \| tree
next

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

RSS Atom