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

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

2006-07-26	Claudio Sacerdoti...	Elim now performs whd to find the inductive type.	commit \| commitdiff \| tree
2006-07-24	Claudio Sacerdoti...	Disambiguation passes simplified.	commit \| commitdiff \| tree
2006-07-20	Claudio Sacerdoti...	Revert of the previous situation: when an identifier...	commit \| commitdiff \| tree
2006-07-19	Claudio Sacerdoti...	Bug fixed in rewrite in multiple hypothesis and/or...	commit \| commitdiff \| tree
2006-07-19	Claudio Sacerdoti...	Submitted a test for inferencing of dependent types.	commit \| commitdiff \| tree
2006-07-19	Claudio Sacerdoti...	Ctr-C now cleans up (with a nice warning :-)	commit \| commitdiff \| tree
2006-07-19	Claudio Sacerdoti...	is_empty_listing fixed: the ls method normalizes away...	commit \| commitdiff \| tree
2006-07-19	Claudio Sacerdoti...	Serious bug fixed in simplify: sometimes terms wwere...	commit \| commitdiff \| tree
2006-07-18	Claudio Sacerdoti...	baseuri for group.ma fixed	commit \| commitdiff \| tree
2006-07-18	Claudio Sacerdoti...	head_beta_reduce can now optionally perform delta reduction too	commit \| commitdiff \| tree
2006-07-18	Claudio Sacerdoti...	Unification improved to handle beta-delta conversion...	commit \| commitdiff \| tree
2006-07-18	Claudio Sacerdoti...	Baseuri of applys.ma fixed.	commit \| commitdiff \| tree
2006-07-18	Claudio Sacerdoti...	Quick&dirty patch to make Http_getter_storage.is_empty...	commit \| commitdiff \| tree
2006-07-18	Claudio Sacerdoti...	dependeciesParsed fixed to parse URIs also in QSTRINGs	commit \| commitdiff \| tree
2006-07-18	Claudio Sacerdoti...	legacy/coq.ma included	commit \| commitdiff \| tree
2006-07-18	Claudio Sacerdoti...	le_inv renamed to avoid conflicts with the automatically...	commit \| commitdiff \| tree
2006-07-18	Claudio Sacerdoti...	rmdir_descend now works also on non existent dirs	commit \| commitdiff \| tree
2006-07-18	Claudio Sacerdoti...	magic number incremented (because of the new declarative...	commit \| commitdiff \| tree
2006-07-18	Claudio Sacerdoti...	libraryclean fixed to eradicate files generated from...	commit \| commitdiff \| tree
2006-07-18	Claudio Sacerdoti...	The dependencies parser is more robust w.r.t. to lexing...	commit \| commitdiff \| tree
2006-07-12	Claudio Sacerdoti...	Documentation date changed.	commit \| commitdiff \| tree
2006-07-12	Claudio Sacerdoti...	More commands documented.	commit \| commitdiff \| tree
2006-07-12	Claudio Sacerdoti...	More commands documented.	commit \| commitdiff \| tree
2006-07-12	Claudio Sacerdoti...	More commands documented.	commit \| commitdiff \| tree
2006-07-12	Claudio Sacerdoti...	First skeleton of documentation for "other commands".	commit \| commitdiff \| tree
2006-07-12	Claudio Sacerdoti...	Missing copyright added to tactics/declarative.ml*	commit \| commitdiff \| tree
2006-07-12	Claudio Sacerdoti...	GrafiteAst.Quit (unused) removed.	commit \| commitdiff \| tree
2006-07-12	Claudio Sacerdoti...	GrafiteAst.Print (unused) removed.	commit \| commitdiff \| tree
2006-07-12	Claudio Sacerdoti...	GrafiteAst.Search_pat and GrafiteAst.Search_term (both...	commit \| commitdiff \| tree
2006-07-12	Claudio Sacerdoti...	paramodulation is not a stand alone tactic: doc fixed.	commit \| commitdiff \| tree
2006-07-11	Claudio Sacerdoti...	More documentation.	commit \| commitdiff \| tree
2006-07-11	Claudio Sacerdoti...	More TODO items in the documentation.	commit \| commitdiff \| tree
2006-07-03	Claudio Sacerdoti...	Instead of closing the socket to avoid persistent connection...	commit \| commitdiff \| tree
2006-06-30	Claudio Sacerdoti...	Documentation of tinycals started.	commit \| commitdiff \| tree
2006-06-29	Claudio Sacerdoti...	Demodulate used to be a reduction_kind and it used...	commit \| commitdiff \| tree
2006-06-29	Claudio Sacerdoti...	WORK IN PROGRESS:	commit \| commitdiff \| tree
2006-06-29	Claudio Sacerdoti...	Documentation for variant fixed (the type and body...	commit \| commitdiff \| tree
2006-06-19	Claudio Sacerdoti...	Patterns are now documented.	commit \| commitdiff \| tree
2006-06-09	Claudio Sacerdoti...	More documentation committed.	commit \| commitdiff \| tree
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...	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
next

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

RSS Atom