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

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

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
2003-05-30	Claudio Sacerdoti...	Minor modifications to the new session.	commit \| commitdiff \| tree
2003-05-30	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2003-05-30	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2003-05-30	Claudio Sacerdoti...	color ==> gray	commit \| commitdiff \| tree
2003-05-30	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2003-05-30	Claudio Sacerdoti...	New session (the H-Bugs interactive session).	commit \| commitdiff \| tree
2003-05-29	Claudio Sacerdoti...	New ispell.	commit \| commitdiff \| tree
2003-05-29	Claudio Sacerdoti...	Several other small changes here and there.	commit \| commitdiff \| tree
2003-05-29	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2003-05-29	Claudio Sacerdoti...	Figure moved to the next page.	commit \| commitdiff \| tree
2003-05-29	Claudio Sacerdoti...	Several editor notes resolved.	commit \| commitdiff \| tree
2003-05-29	Claudio Sacerdoti...	Everything Ispell-ed.	commit \| commitdiff \| tree
2003-05-29	Claudio Sacerdoti...	Other references added.	commit \| commitdiff \| tree
2003-05-29	Claudio Sacerdoti...	A new references.	commit \| commitdiff \| tree
2003-05-29	Claudio Sacerdoti...	Many references committed.	commit \| commitdiff \| tree
2003-05-29	Claudio Sacerdoti...	Some editor notes closed.	commit \| commitdiff \| tree
2003-05-29	Claudio Sacerdoti...	Lots of small changes in the text.	commit \| commitdiff \| tree
2003-05-28	Claudio Sacerdoti...	- several changes in all the parts that made comparisons...	commit \| commitdiff \| tree
2003-05-27	Claudio Sacerdoti...	Several small changes to the parts committed by Zack.	commit \| commitdiff \| tree
2003-05-23	Claudio Sacerdoti...	First part of the chapter about tutors. The automatic...	commit \| commitdiff \| tree
2003-05-23	Claudio Sacerdoti...	Added all (???) the sections and their labels.	commit \| commitdiff \| tree
2003-05-23	Claudio Sacerdoti...	Minor improvements in the introduction.	commit \| commitdiff \| tree
2003-05-22	Claudio Sacerdoti...	- Introduction changed.	commit \| commitdiff \| tree
2003-05-22	Claudio Sacerdoti...	ed and draftstamp packages committed and activated	commit \| commitdiff \| tree
2003-05-15	Claudio Sacerdoti...	Several changes:	commit \| commitdiff \| tree
2003-05-15	Claudio Sacerdoti...	The semantics of the UWOBO_LOG variable has changed...	commit \| commitdiff \| tree
2003-05-15	Claudio Sacerdoti...	The chmod ug+w in the all rule has been made non-critical.	commit \| commitdiff \| tree
2003-05-15	Claudio Sacerdoti...	This commit undoes part of the previous commit, where...	commit \| commitdiff \| tree
2003-05-15	Claudio Sacerdoti...	New: two methods have been added to kill UWOBO and...	commit \| commitdiff \| tree
2003-05-15	Claudio Sacerdoti...	New: two new methods added	commit \| commitdiff \| tree
2003-04-29	Claudio Sacerdoti...	New dependencies.	commit \| commitdiff \| tree
2003-04-29	Claudio Sacerdoti...	New: stylesheets are now partially cached (i.e. all...	commit \| commitdiff \| tree
2003-04-28	Claudio Sacerdoti...	No more used since a long time.	commit \| commitdiff \| tree
2003-04-28	Claudio Sacerdoti...	When the stylesheet from TML to MathML generated a...	commit \| commitdiff \| tree
2003-04-28	Claudio Sacerdoti...	The stylesheet used to generate an empty (and not even...	commit \| commitdiff \| tree
2003-04-28	Claudio Sacerdoti...	The reset() method ignored the fact that the widget...	commit \| commitdiff \| tree
2003-04-22	Claudio Sacerdoti...	Improved exception catching.	commit \| commitdiff \| tree
2003-04-16	Claudio Sacerdoti...	- removed unclear parameter on_exit	commit \| commitdiff \| tree
2003-04-16	Claudio Sacerdoti...	Use of Hbugs_deity for thread creation and killing.	commit \| commitdiff \| tree
2003-04-16	Claudio Sacerdoti...	Support for optional state (empty XML element).	commit \| commitdiff \| tree
2003-04-16	Claudio Sacerdoti...	- support None state	commit \| commitdiff \| tree
2003-04-16	Claudio Sacerdoti...	State_change can now contain a state of None indicating...	commit \| commitdiff \| tree
2003-04-10	Claudio Sacerdoti...	NuPrlDefinition element handling added	commit \| commitdiff \| tree
2003-04-10	Claudio Sacerdoti...	extra_info hack removed	commit \| commitdiff \| tree
2003-04-10	Claudio Sacerdoti...	@uri attribute added to tacticinstance. A "Tactic details...	commit \| commitdiff \| tree
2003-04-10	Claudio Sacerdoti...	The UNICODEvsSYMBOL machinery is now working again.	commit \| commitdiff \| tree
2003-04-08	Claudio Sacerdoti...	nuprl_content_to_html.xsl is not used. Let's definitely...	commit \| commitdiff \| tree
next

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

RSS Atom