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

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

2006-06-09	Claudio Sacerdoti...	Syntactic bug changed: t in "unfold t" must be a tactic_term...	commit \| commitdiff \| tree
2006-06-09	Claudio Sacerdoti...	Tactics are now documented using bolds for terminal...	commit \| commitdiff \| tree
2006-06-09	Claudio Sacerdoti...	1. the default for the default equality/absurd/true...	commit \| commitdiff \| tree
2006-06-09	Claudio Sacerdoti...	[a-z] syntax documented	commit \| commitdiff \| tree
2006-06-09	Claudio Sacerdoti...	Lexical conventions documented.	commit \| commitdiff \| tree
2006-06-05	Claudio Sacerdoti...	(co)inductive type declarations are now documented	commit \| commitdiff \| tree
2006-06-05	Claudio Sacerdoti...	Record syntax is now described.	commit \| commitdiff \| tree
2006-06-01	Claudio Sacerdoti...	Bug fixed that made theory rendering bugged after visiting...	commit \| commitdiff \| tree
2006-05-31	Claudio Sacerdoti...	Sigma algebras and measurable maps defined.	commit \| commitdiff \| tree
2006-05-31	Claudio Sacerdoti...	Committed a first experiment in the formalization of...	commit \| commitdiff \| tree
2006-05-30	Claudio Sacerdoti...	1. the default encoding for the stylesheets is now...	commit \| commitdiff \| tree
2006-05-30	Claudio Sacerdoti...	NuPRL stylesheets default encoding changed to UTF8	commit \| commitdiff \| tree
2006-05-30	Claudio Sacerdoti...	matita.txt updated	commit \| commitdiff \| tree
2006-05-30	Claudio Sacerdoti...	Bug fixed: theories were handled as base uris, not...	commit \| commitdiff \| tree
2006-05-30	Claudio Sacerdoti...	use the proper top level function to parse terms	commit \| commitdiff \| tree
2006-05-30	Claudio Sacerdoti...	ZACK: export a top level function for parsing terms...	commit \| commitdiff \| tree
2006-05-30	Claudio Sacerdoti...	ZACK: ported to the latest ocaml-http API	commit \| commitdiff \| tree
2006-05-30	Claudio Sacerdoti...	ZACK: ported to the latest ocaml-http API	commit \| commitdiff \| tree
2006-05-30	Claudio Sacerdoti...	ported to the latest ocaml-http API	commit \| commitdiff \| tree
2006-05-30	Claudio Sacerdoti...	ZACK: ported to the latest ocaml-http API	commit \| commitdiff \| tree
2006-05-30	Claudio Sacerdoti...	ported to the latest ocaml-http API	commit \| commitdiff \| tree
2006-05-29	Claudio Sacerdoti...	ensure connections get closed after having been served	commit \| commitdiff \| tree
2006-05-29	Claudio Sacerdoti...	lowered debugging level	commit \| commitdiff \| tree
2006-05-29	Claudio Sacerdoti...	ensure connections get closed after having been served	commit \| commitdiff \| tree
2006-05-29	Claudio Sacerdoti...	OCAMLPATH is not overrid if already defined	commit \| commitdiff \| tree
2006-05-29	Claudio Sacerdoti...	ensure connections get closed after having been served	commit \| commitdiff \| tree
2006-05-29	Claudio Sacerdoti...	ensure connections get closed after having been served	commit \| commitdiff \| tree
2006-05-29	Claudio Sacerdoti...	bugfix:	commit \| commitdiff \| tree
2006-05-29	Claudio Sacerdoti...	ensure connections get closed after having been served	commit \| commitdiff \| tree
2006-05-29	Claudio Sacerdoti...	ensure connections get closed after having been served	commit \| commitdiff \| tree
2006-05-29	Claudio Sacerdoti...	bug fix: use an (un)marshaller for get_opt instead...	commit \| commitdiff \| tree
2006-05-29	Claudio Sacerdoti...	Bug fixed in fresh_name_generator: the function used...	commit \| commitdiff \| tree
2006-05-26	Claudio Sacerdoti...	CALS tables enriched to make (crappy) docbook stylesheets...	commit \| commitdiff \| tree
2006-05-26	Claudio Sacerdoti...	Documentation fixed.	commit \| commitdiff \| tree
2006-05-26	Claudio Sacerdoti...	New documentation.	commit \| commitdiff \| tree
2006-05-26	Claudio Sacerdoti...	More documentation.	commit \| commitdiff \| tree
2006-05-26	Claudio Sacerdoti...	More documentation.	commit \| commitdiff \| tree
2006-05-26	Claudio Sacerdoti...	Recently introduced bug in CicRefine.eat_prods fixed...	commit \| commitdiff \| tree
2006-05-26	Claudio Sacerdoti...	Syntax highlighting for focus/unfocus	commit \| commitdiff \| tree
2006-05-26	Claudio Sacerdoti...	Great optimization for eat_prods: if the type of the...	commit \| commitdiff \| tree
2006-05-26	Claudio Sacerdoti...	Profiling code removed.	commit \| commitdiff \| tree
2006-05-25	Claudio Sacerdoti...	More documentation.	commit \| commitdiff \| tree
2006-05-25	Claudio Sacerdoti...	More documentation.	commit \| commitdiff \| tree
2006-05-25	Claudio Sacerdoti...	More doc	commit \| commitdiff \| tree
2006-05-25	Claudio Sacerdoti...	Added debug menu item to restrict disambiguation to...	commit \| commitdiff \| tree
2006-05-25	Claudio Sacerdoti...	Axioms are not allowed with the syntax: "axiom name...	commit \| commitdiff \| tree
2006-05-25	Claudio Sacerdoti...	svn:ignore fixed (again)	commit \| commitdiff \| tree
2006-05-25	Claudio Sacerdoti...	svn:ignore fixed	commit \| commitdiff \| tree
2006-05-25	Claudio Sacerdoti...	matita.txt updated	commit \| commitdiff \| tree
2006-05-11	Claudio Sacerdoti...	Bugs fixed:	commit \| commitdiff \| tree
2006-04-16	Claudio Sacerdoti...	Bug fixed: "paste as pattern" now pastes the full pattern...	commit \| commitdiff \| tree
2006-04-15	Claudio Sacerdoti...	Patch to avoid double execution of whelp queries reverted...	commit \| commitdiff \| tree
2006-04-13	Claudio Sacerdoti...	Ugly solution to the "we proved T that is equivalent...	commit \| commitdiff \| tree
2006-04-13	Claudio Sacerdoti...	Profiling code commented out.	commit \| commitdiff \| tree
2006-04-13	Claudio Sacerdoti...	Some times reduced in a second benchmark.	commit \| commitdiff \| tree
2006-04-13	Claudio Sacerdoti...	Utime + Systime used in place of gettimeofday.	commit \| commitdiff \| tree
2006-04-11	Claudio Sacerdoti...	Altri benchmarks.	commit \| commitdiff \| tree
2006-04-11	Claudio Sacerdoti...	CicEnvironment is emptied when a size treshold is reached.	commit \| commitdiff \| tree
2006-04-03	Claudio Sacerdoti...	Useless code simplified out.	commit \| commitdiff \| tree
2006-03-31	Claudio Sacerdoti...	New benchmark after removal of some profiling code.	commit \| commitdiff \| tree
2006-03-30	Claudio Sacerdoti...	Less profiling.	commit \| commitdiff \| tree
2006-03-30	Claudio Sacerdoti...	Profiling code for merge_ugraphs commented out (since...	commit \| commitdiff \| tree
2006-03-30	Claudio Sacerdoti...	A few benchmarks on the library of Coq committed.	commit \| commitdiff \| tree
2006-03-30	Claudio Sacerdoti...	Added deadline (now 30s) to each test.	commit \| commitdiff \| tree
2006-03-30	Claudio Sacerdoti...	Sys.Break used to be captured.	commit \| commitdiff \| tree
2006-03-30	Claudio Sacerdoti...	Bug fixed: terms with a Cast used to raise assert false...	commit \| commitdiff \| tree
2006-03-29	Claudio Sacerdoti...	Huge speed-up in conversion: the old conversion strategy...	commit \| commitdiff \| tree
2006-03-29	Claudio Sacerdoti...	#### EXPERIMENTAL COMMIT ####	commit \| commitdiff \| tree
2006-03-29	Claudio Sacerdoti...	Debugging code added.	commit \| commitdiff \| tree
2006-03-27	Claudio Sacerdoti...	Debugging code commented out.	commit \| commitdiff \| tree
2006-03-27	Claudio Sacerdoti...	* trust = true	commit \| commitdiff \| tree
2006-03-27	Claudio Sacerdoti...	"Performance bug" fixed: I removed a whd in the does_not_occ...	commit \| commitdiff \| tree
2006-03-27	Claudio Sacerdoti...	Several "try ... with _ -> " specialized.	commit \| commitdiff \| tree
2006-03-27	Claudio Sacerdoti...	More robust handling of Control-C.	commit \| commitdiff \| tree
2006-03-27	Claudio Sacerdoti...	Flush stdout added in proper position.	commit \| commitdiff \| tree
2006-03-24	Claudio Sacerdoti...	Recently introduced bug fixed in the kernel: a stack...	commit \| commitdiff \| tree
2006-03-24	Claudio Sacerdoti...	Unable to parse my own output. Fixed.	commit \| commitdiff \| tree
2006-03-24	Claudio Sacerdoti...	% forgot in the output	commit \| commitdiff \| tree
2006-03-24	Claudio Sacerdoti...	Serious test for the Coq library added (name test_library).	commit \| commitdiff \| tree
2006-03-24	Claudio Sacerdoti...	more error messages were on stdout :-(	commit \| commitdiff \| tree
2006-03-24	Claudio Sacerdoti...	error message was printed on stdout	commit \| commitdiff \| tree
2006-03-24	Claudio Sacerdoti...	Colors are back! :-)	commit \| commitdiff \| tree
2006-03-24	Claudio Sacerdoti...	Legend for profiling printed iff something is profiled.	commit \| commitdiff \| tree
2006-03-08	Claudio Sacerdoti...	Debugging code removed.	commit \| commitdiff \| tree
2006-03-08	Claudio Sacerdoti...	Reduction trick added to simplify (greatly speeding...	commit \| commitdiff \| tree
2006-03-07	Claudio Sacerdoti...	This simplify seems to diverge!	commit \| commitdiff \| tree
2006-03-07	Claudio Sacerdoti...	First theorems proved on left cosets.	commit \| commitdiff \| tree
2006-02-23	Claudio Sacerdoti...	64 "change" here and there in the library are now simplify...	commit \| commitdiff \| tree
2006-02-23	Claudio Sacerdoti...	During simplify, reduction of the argument of a Fix...	commit \| commitdiff \| tree
2006-02-22	Claudio Sacerdoti...	simplify used in place of change	commit \| commitdiff \| tree
2006-02-22	Claudio Sacerdoti...	Bug fixed in simplify: delta expansion of constants...	commit \| commitdiff \| tree
2006-02-22	Claudio Sacerdoti...	Missing -I ../.. added.	commit \| commitdiff \| tree
2006-02-22	Claudio Sacerdoti...	First part of bug #152 (unable to exit from Matita...	commit \| commitdiff \| tree
2006-02-22	Claudio Sacerdoti...	Order of compilation of the modules fixed.	commit \| commitdiff \| tree
2006-02-21	Claudio Sacerdoti...	Coercions are now hidden by default in termAcicContent.ml.	commit \| commitdiff \| tree
2006-02-21	Claudio Sacerdoti...	Coercions are now hidden by default (in termAcicContent.ml)	commit \| commitdiff \| tree
2006-02-20	Claudio Sacerdoti...	pack_coercion used to avoid packing n-ary coercions...	commit \| commitdiff \| tree
2006-02-20	Claudio Sacerdoti...	Stupid bug fixed.	commit \| commitdiff \| tree
2006-02-20	Claudio Sacerdoti...	Packing of implicit coercions must be also performed...	commit \| commitdiff \| tree
2006-02-20	Claudio Sacerdoti...	Finished one lemma (after many bug fixes here and there).	commit \| commitdiff \| tree
next

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

RSS Atom