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

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

2006-10-03	maiorino	Some declarative tactics did not allow the "done" option...	commit \| commitdiff \| tree
2006-07-27	maiorino	Automation enabled for declarative proofs. Cool.	commit \| commitdiff \| tree
2006-07-27	maiorino	"that is equivalent to" and "or equivalently" implemented...	commit \| commitdiff \| tree
2006-07-27	maiorino	All the declarative tactics now have a more or less...	commit \| commitdiff \| tree
2006-07-27	maiorino	Declarative tactics for rewriting steps, elimination...	commit \| commitdiff \| tree
2006-07-27	maiorino	Notation for the existential quantifier moved to core_notati...	commit \| commitdiff \| tree
2006-07-27	maiorino	New declarative commands (ast, pretty-printing and...	commit \| commitdiff \| tree
2006-07-11	maiorino	First experimental version of the declarative proof...	commit \| commitdiff \| tree
2006-03-10	marangon	Added inversion principle creation for inductive predicates.	commit \| commitdiff \| tree
2006-03-10	marangon	Inversion code cleaning.	commit \| commitdiff \| tree
2006-03-03	marangon	PP of Refine.RefineFailure.	commit \| commitdiff \| tree
2006-01-11	marangon	Code clean up.	commit \| commitdiff \| tree
2005-12-15	marangon	New tactic: inversion.	commit \| commitdiff \| tree
2005-12-15	marangon	New tactic: inversion.	commit \| commitdiff \| tree
2005-12-15	marangon	...	commit \| commitdiff \| tree
2005-12-15	marangon	added -I ../.. (for coq.ma)	commit \| commitdiff \| tree
2004-03-31	Lionel Mamane	Meta files are in METAS subdir	commit \| commitdiff \| tree
2004-03-31	Lionel Mamane	Install to findlib-defined dest dir, not to stdlib dir	commit \| commitdiff \| tree
2004-03-12	acerioni	New tactic Auto.	commit \| commitdiff \| tree
2004-03-12	acerioni	First implementation of the Auto tactic.	commit \| commitdiff \| tree
2004-03-12	acerioni	Type of exception changed: from exn to string.	commit \| commitdiff \| tree
2003-09-09	pmasoudi	snapshot	commit \| commitdiff \| tree
2003-09-08	pmasoudi	select and click signal added	commit \| commitdiff \| tree
2003-09-04	pmasoudi	scrollbars added & control structure screated	commit \| commitdiff \| tree
2003-07-31	pmasoudi	* added first version of persist stream implementation...	commit \| commitdiff \| tree
2003-07-17	pmasoudi	Partional first fase final.	commit \| commitdiff \| tree
2003-07-17	pmasoudi	Persist file completed.	commit \| commitdiff \| tree
2003-07-16	pmasoudi	Control Factory modified.	commit \| commitdiff \| tree
2003-07-16	pmasoudi	persist file with factory.	commit \| commitdiff \| tree
2003-07-16	pmasoudi	added persit-file-implementation.	commit \| commitdiff \| tree
2002-11-27	natile	objectName patched.	commit \| commitdiff \| tree
2002-11-27	natile	Relation patched, property added.	commit \| commitdiff \| tree
2002-11-22	natile	Debugging prints removed.	commit \| commitdiff \| tree
2002-11-22	natile	Mathql_interpreter now using db helm_mowgli_new_schema.	commit \| commitdiff \| tree
2002-11-19	natile	Now Pattern module really exists in repository.	commit \| commitdiff \| tree
2002-11-19	natile	Pattern module added.	commit \| commitdiff \| tree
2002-11-18	natile	Relation: inverse switch added.	commit \| commitdiff \| tree
2002-11-14	natile	Attribute files added.	commit \| commitdiff \| tree
2002-11-14	natile	Unused files removed.	commit \| commitdiff \| tree
2002-11-13	natile	Attribute patched: now takes an extra argument of type...	commit \| commitdiff \| tree
2002-11-13	natile	Attribute patched with inverse function.	commit \| commitdiff \| tree
2002-11-04	natile	Fun patched.	commit \| commitdiff \| tree
2002-10-28	natile	Fun patched but works only in one direction (from the...	commit \| commitdiff \| tree
2002-10-22	natile	Switching interpreter patched, addedd:	commit \| commitdiff \| tree
2002-10-21	natile	Old modules (use.ml/mli, eval.ml/mli,...) eliminated.	commit \| commitdiff \| tree
2002-10-21	natile	Switching interpreter.	commit \| commitdiff \| tree
2002-10-21	Michele Galatà	Comments reindented.	commit \| commitdiff \| tree
2002-10-21	natile	Merge of the new_mathql branch with the main branch:	commit \| commitdiff \| tree
2002-10-21	natile	Merge of the new_mathql branch with the main branch:	commit \| commitdiff \| tree
2002-10-11	natile	Use patched.	commit \| commitdiff \| tree
2002-09-19	natile	commit of galax mathql interpreter	commit \| commitdiff \| tree
2002-08-29	Michele Galatà	Type expression simplified.	commit \| commitdiff \| tree
2002-08-29	Michele Galatà	Comment typo fixed.	commit \| commitdiff \| tree
2002-06-19	lordi	database connection parameters updated	commit \| commitdiff \| tree
2002-06-19	lordi	let in scope corrected and new database format support	commit \| commitdiff \| tree
2002-06-14	lordi	added type for list variables	commit \| commitdiff \| tree
2002-06-14	lordi	let in updated with the grammar	commit \| commitdiff \| tree
2002-06-13	lordi	changed settings to access database	commit \| commitdiff \| tree
2002-06-13	lordi	let in implemented	commit \| commitdiff \| tree
2002-06-13	lordi	added support for let in	commit \| commitdiff \| tree
2002-05-31	lordi	diff and sortedby implemented	commit \| commitdiff \| tree
2002-05-24	lordi	faster database format implemented	commit \| commitdiff \| tree
2002-05-23	lordi	intersect improved in speed	commit \| commitdiff \| tree
2002-05-22	lordi	result format changed	commit \| commitdiff \| tree
2002-05-22	lordi	.cvsignore improved	commit \| commitdiff \| tree
2002-05-22	lordi	sortedby implemented and new uri result format	commit \| commitdiff \| tree

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

RSS Atom