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

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

2006-09-26	Claudio Sacerdoti...	The precedence level is now an optional argument of...	commit \| commitdiff \| tree
2006-09-26	Claudio Sacerdoti...	linkonly now also links matitac	commit \| commitdiff \| tree
2006-09-26	Claudio Sacerdoti...	* ocaml => components	commit \| commitdiff \| tree
2006-09-26	Claudio Sacerdoti...	discriminate => destruct	commit \| commitdiff \| tree
2006-09-26	Claudio Sacerdoti...	{discriminate,injection} => destruct	commit \| commitdiff \| tree
2006-09-25	Claudio Sacerdoti...	injection_tac and discriminate_tac now replaced by...	commit \| commitdiff \| tree
2006-09-25	Claudio Sacerdoti...	injection_tac and discriminate_tac now replaced by...	commit \| commitdiff \| tree
2006-09-25	Claudio Sacerdoti...	Several bugs fixed in discriminate.	commit \| commitdiff \| tree
2006-09-25	Claudio Sacerdoti...	Bug fixed: a number alias Num 0 now subsumes the case...	commit \| commitdiff \| tree
2006-09-22	Claudio Sacerdoti...	Bug fixed: aliases for numbers were no longer handled...	commit \| commitdiff \| tree
2006-09-20	Claudio Sacerdoti...	Injection now clears all intermediate results introduced.	commit \| commitdiff \| tree
2006-09-20	Claudio Sacerdoti...	1. bug fixed: injection now performs recursion lifting...	commit \| commitdiff \| tree
2006-09-20	Claudio Sacerdoti...	Added new target linkonly to link matita without re...	commit \| commitdiff \| tree
2006-09-15	Claudio Sacerdoti...	Yet another refinement error localized.	commit \| commitdiff \| tree
2006-09-15	Claudio Sacerdoti...	Debugging code deactivated.	commit \| commitdiff \| tree
2006-09-14	Claudio Sacerdoti...	1. Stricter controls implemented in injection.	commit \| commitdiff \| tree
2006-09-14	Claudio Sacerdoti...	Bug fixed in injection: lifting was not performed correctly...	commit \| commitdiff \| tree
2006-09-14	Claudio Sacerdoti...	1. added a test for injection	commit \| commitdiff \| tree
2006-09-14	Claudio Sacerdoti...	Bug fixed in pretty printing in new syntax of MutCases...	commit \| commitdiff \| tree
2006-09-13	Claudio Sacerdoti...	Bug fixed in injection: injection can now work on inductive...	commit \| commitdiff \| tree
2006-09-13	Claudio Sacerdoti...	problems-4 was due to trans_eq expecting an explicit...	commit \| commitdiff \| tree
2006-09-13	Claudio Sacerdoti...	1. Some warnings about unused warning fixed (hopefully...	commit \| commitdiff \| tree
2006-09-13	Claudio Sacerdoti...	Bug fixed in injection: a missing lift bugged the tactic...	commit \| commitdiff \| tree
2006-09-12	Claudio Sacerdoti...	Possible bug fixed (similar to the previous one, but...	commit \| commitdiff \| tree
2006-09-12	Claudio Sacerdoti...	Bug fixed in the guarded_by_descructors function: in...	commit \| commitdiff \| tree
2006-09-12	Claudio Sacerdoti...	Bug fixed in the guarded_by_descructors function: in...	commit \| commitdiff \| tree
2006-09-12	Claudio Sacerdoti...	Foo is the problematic elimination principle.	commit \| commitdiff \| tree
2006-09-08	Claudio Sacerdoti...	Bug fixed: "by ... we proved ... that is equivalent...	commit \| commitdiff \| tree
2006-09-08	Claudio Sacerdoti...	contentPp.ml (dead code) removed	commit \| commitdiff \| tree
2006-09-08	Claudio Sacerdoti...	Dead code (that produces an ugly rendering) removed.	commit \| commitdiff \| tree
2006-09-07	Claudio Sacerdoti...	Missing alias added.	commit \| commitdiff \| tree
2006-09-07	Claudio Sacerdoti...	Preamble is now working properly and it does not include...	commit \| commitdiff \| tree
2006-09-04	Claudio Sacerdoti...	More aliases.	commit \| commitdiff \| tree
2006-09-04	Claudio Sacerdoti...	Aliases are now wrote down even during the first pass.	commit \| commitdiff \| tree
2006-09-04	Claudio Sacerdoti...	matitac now fails if it tries to insert a new alias	commit \| commitdiff \| tree
2006-08-29	Claudio Sacerdoti...	cic/test.ml moved to binaries/utilities	commit \| commitdiff \| tree
2006-08-29	Claudio Sacerdoti...	Documentation for let-rec fixed.	commit \| commitdiff \| tree
2006-07-27	Claudio Sacerdoti...	More debugging output on stderr.	commit \| commitdiff \| tree
2006-07-27	Claudio Sacerdoti...	print_endline => prerr_endline	commit \| commitdiff \| tree
2006-07-26	Claudio Sacerdoti...	Patch to the unification to make the case (i l) vs...	commit \| commitdiff \| tree
2006-07-26	Claudio Sacerdoti...	Debug code commented out.	commit \| commitdiff \| tree
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...	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
next

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

RSS Atom