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

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

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
2003-04-08	Claudio Sacerdoti...	First commit of the NuPRL stylesheets.	commit \| commitdiff \| tree
2003-04-02	Claudio Sacerdoti...	Added the lines required to initialize and close the...	commit \| commitdiff \| tree
2003-04-02	Claudio Sacerdoti...	Bugs fixed:	commit \| commitdiff \| tree
2003-03-18	Claudio Sacerdoti...	The reload method requires now the "keys" parameter...	commit \| commitdiff \| tree
2003-03-13	Claudio Sacerdoti...	- Some .cvsignore were missing	commit \| commitdiff \| tree
2003-03-13	Claudio Sacerdoti...	Removed the line that sourced the personal configuration...	commit \| commitdiff \| tree
2003-02-14	Claudio Sacerdoti...	Debug code removed.	commit \| commitdiff \| tree
2003-02-13	Claudio Sacerdoti...	Type fixed.	commit \| commitdiff \| tree
2003-02-07	Claudio Sacerdoti...	Added support for NuPRL URIs.	commit \| commitdiff \| tree
2003-02-05	Claudio Sacerdoti...	Makefile.common.in and .depend backtracked to my last...	commit \| commitdiff \| tree
2003-02-05	Claudio Sacerdoti...	Missing parameters added to MathML Content mode.	commit \| commitdiff \| tree
2003-02-04	Claudio Sacerdoti...	print_endline ==> prerr_endline	commit \| commitdiff \| tree
2003-02-04	Claudio Sacerdoti...	Bug fixed: ' must be quoted.	commit \| commitdiff \| tree
2003-02-04	Claudio Sacerdoti...	Bug fixed: "'" must be quoted.	commit \| commitdiff \| tree
2003-02-03	Claudio Sacerdoti...	What was the semantics of passing an empty prop.encoding?	commit \| commitdiff \| tree
2003-01-22	Claudio Sacerdoti...	method HTML forced for html output	commit \| commitdiff \| tree
2003-01-07	Claudio Sacerdoti...	Resolve fixed: when an URI was well-formed but not...	commit \| commitdiff \| tree
2002-12-12	Claudio Sacerdoti...	INDEXEs on hrefRel and hrefSort added.	commit \| commitdiff \| tree
2002-12-06	Claudio Sacerdoti...	* bug fixed: the property construct did not sort and...	commit \| commitdiff \| tree
2002-12-03	Claudio Sacerdoti...	m:exist ==> m:exists	commit \| commitdiff \| tree
next

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

RSS Atom