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

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

2005-06-15	Claudio Sacerdoti...	Bug fixed: parsing errors were ignored by matitac since...	commit \| commitdiff \| tree
2005-06-15	Claudio Sacerdoti...	Bug fixed (that used to throw away a metasenv :-(	commit \| commitdiff \| tree
2005-06-15	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-06-15	Claudio Sacerdoti...	Refinement of CurrentProof did not check whether the...	commit \| commitdiff \| tree
2005-06-15	Claudio Sacerdoti...	Big commit and major code clean-up:	commit \| commitdiff \| tree
2005-06-15	Claudio Sacerdoti...	comments syntax changed	commit \| commitdiff \| tree
2005-06-15	Claudio Sacerdoti...	incomplete proof completed.	commit \| commitdiff \| tree
2005-06-14	Claudio Sacerdoti...	* no more %% comments	commit \| commitdiff \| tree
2005-06-14	Claudio Sacerdoti...	No more %% comments.	commit \| commitdiff \| tree
2005-06-14	Claudio Sacerdoti...	parentheses allowed inside comments	commit \| commitdiff \| tree
2005-06-14	Claudio Sacerdoti...	test_lexer and test_parser compiled by default	commit \| commitdiff \| tree
2005-06-14	Claudio Sacerdoti...	incomplete proof completed	commit \| commitdiff \| tree
2005-06-14	Claudio Sacerdoti...	typo fixed: simmetry ==> symmetry	commit \| commitdiff \| tree
2005-06-14	Claudio Sacerdoti...	incomplete proof terminated	commit \| commitdiff \| tree
2005-06-14	Claudio Sacerdoti...	qed missing	commit \| commitdiff \| tree
2005-06-14	Claudio Sacerdoti...	Bug fixed: when the final proof_status is not No_proof...	commit \| commitdiff \| tree
2005-06-10	Claudio Sacerdoti...	The type of the left parameters of an inductive type...	commit \| commitdiff \| tree
2005-06-10	Claudio Sacerdoti...	Got rid of a few bugs.	commit \| commitdiff \| tree
2005-06-10	Claudio Sacerdoti...	Got rid of a few warnings.	commit \| commitdiff \| tree
2005-06-10	Claudio Sacerdoti...	Got rid of a few warnings.	commit \| commitdiff \| tree
2005-06-10	Claudio Sacerdoti...	an assert failure changed to an exception and a bit...	commit \| commitdiff \| tree
2005-06-10	Claudio Sacerdoti...	The user is no longer obliged to give the types for...	commit \| commitdiff \| tree
2005-06-10	Claudio Sacerdoti...	debugging to false	commit \| commitdiff \| tree
2005-06-10	Claudio Sacerdoti...	* (Head) beta reduction functions factorized	commit \| commitdiff \| tree
2005-06-10	Claudio Sacerdoti...	More debugging infos.	commit \| commitdiff \| tree
2005-06-10	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-06-10	Claudio Sacerdoti...	unshare.ml*	commit \| commitdiff \| tree
2005-06-10	Claudio Sacerdoti...	Complete unsharing of terms.	commit \| commitdiff \| tree
2005-06-10	Claudio Sacerdoti...	head_beta_reduce used to create applications of applications...	commit \| commitdiff \| tree
2005-06-10	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-06-09	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-06-09	Claudio Sacerdoti...	test_instance.ma moved to interactive/ (whose tests...	commit \| commitdiff \| tree
2005-06-09	Claudio Sacerdoti...	intro ==> intros	commit \| commitdiff \| tree
2005-06-09	Claudio Sacerdoti...	Error message improved.	commit \| commitdiff \| tree
2005-06-09	Claudio Sacerdoti...	Now CicMetaSubst.delift_rels restricts the Metas when...	commit \| commitdiff \| tree
2005-06-09	Claudio Sacerdoti...	No more explicit types for the branches of the matches...	commit \| commitdiff \| tree
2005-06-09	Claudio Sacerdoti...	CicSubstitution.delift ==> CicMetaSubst.delift_rels	commit \| commitdiff \| tree
2005-06-09	Claudio Sacerdoti...	Exception raised by delift changed:	commit \| commitdiff \| tree
2005-06-09	Claudio Sacerdoti...	Debugging code removed.	commit \| commitdiff \| tree
2005-06-09	Claudio Sacerdoti...	andrea.ma removed (superseded by match.ma)	commit \| commitdiff \| tree
2005-06-08	Claudio Sacerdoti...	The type of a top-level "let rec" can be optional.	commit \| commitdiff \| tree
2005-06-08	Claudio Sacerdoti...	Let's try to make the "let rec" construct infer its...	commit \| commitdiff \| tree
2005-06-08	Claudio Sacerdoti...	Syntax for top-level "let rec" fixed.	commit \| commitdiff \| tree
2005-06-08	Claudio Sacerdoti...	Using the lighter syntax for "let recs".	commit \| commitdiff \| tree
2005-06-08	Claudio Sacerdoti...	Using the top-level syntax for let-rec definitions.	commit \| commitdiff \| tree
2005-06-08	Claudio Sacerdoti...	The file is now well formed.	commit \| commitdiff \| tree
2005-06-08	Claudio Sacerdoti...	New syntax (again) for let rec binders:	commit \| commitdiff \| tree
2005-06-08	Claudio Sacerdoti...	New lighter syntax for "let rec".	commit \| commitdiff \| tree
2005-06-08	Claudio Sacerdoti...	Bug fixed: a symbol must be formed of just one (unicode...	commit \| commitdiff \| tree
2005-06-08	Claudio Sacerdoti...	Query results were erroneously tagged as directories.	commit \| commitdiff \| tree
2005-06-08	Claudio Sacerdoti...	1. syntax of match changed	commit \| commitdiff \| tree
2005-06-08	Claudio Sacerdoti...	Yet another bug fixed in the inference of the outtype...	commit \| commitdiff \| tree
2005-06-08	Claudio Sacerdoti...	The getter maps are now dumped also if matitac exits...	commit \| commitdiff \| tree
2005-06-08	Claudio Sacerdoti...	Added new target "make tests" for regression testing.	commit \| commitdiff \| tree
2005-06-08	Claudio Sacerdoti...	Fixed a few bugs in the inference of the outtype for...	commit \| commitdiff \| tree
2005-06-08	Claudio Sacerdoti...	Fixed inference of outtype for match when the inductive...	commit \| commitdiff \| tree
2005-06-08	Claudio Sacerdoti...	Harder test (with empty inductive types and left and...	commit \| commitdiff \| tree
2005-06-08	Claudio Sacerdoti...	More informative error message.	commit \| commitdiff \| tree
2005-06-08	Claudio Sacerdoti...	clean now also performs clean_metas (since make also...	commit \| commitdiff \| tree
2005-05-26	Claudio Sacerdoti...	Now the links to 7 pages at a time are shown. Cool.	commit \| commitdiff \| tree
2005-05-26	Claudio Sacerdoti...	256 chars max ==> 1024 chars max (because of Coq)	commit \| commitdiff \| tree
2005-05-26	Claudio Sacerdoti...	Bugs fixed:	commit \| commitdiff \| tree
2005-05-23	Claudio Sacerdoti...	Added sql/drop_mowgli_tables.mysql.sql	commit \| commitdiff \| tree
2005-03-22	Claudio Sacerdoti...	Bug fixed in assumption_tac: a missing (lift n) when...	commit \| commitdiff \| tree
2004-11-08	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2004-10-14	Claudio Sacerdoti...	Luca (bugged) debugging stuff removed.	commit \| commitdiff \| tree
2004-10-14	Claudio Sacerdoti...	no_inconcl_aux managed	commit \| commitdiff \| tree
2004-10-14	Claudio Sacerdoti...	* create_mowgli_tables.mysql.sql added	commit \| commitdiff \| tree
2004-09-16	Claudio Sacerdoti...	The jsmenu is now under CVS.	commit \| commitdiff \| tree
2004-07-05	Claudio Sacerdoti...	cleanURI now removes also the part that follows the...	commit \| commitdiff \| tree
2004-07-05	Claudio Sacerdoti...	The URI passed to the control frame must be clean ...	commit \| commitdiff \| tree
2004-07-05	Claudio Sacerdoti...	The part after # must be removed for the control frame.	commit \| commitdiff \| tree
2004-07-02	Claudio Sacerdoti...	Bug fixed: eta_expand did not perform any recursion...	commit \| commitdiff \| tree
2004-07-02	Claudio Sacerdoti...	Bug fixed: the beta_expansion function did not lift...	commit \| commitdiff \| tree
2004-06-18	Claudio Sacerdoti...	elim_tac rewritten almost entirely. It is now based...	commit \| commitdiff \| tree
2004-06-18	Claudio Sacerdoti...	Added new function compare_metasenvs.	commit \| commitdiff \| tree
2004-06-18	Claudio Sacerdoti...	Comments changed.	commit \| commitdiff \| tree
2004-06-18	Claudio Sacerdoti...	- In the case (?i args) vs term the term is now eta...	commit \| commitdiff \| tree
2004-06-18	Claudio Sacerdoti...	New syntax.	commit \| commitdiff \| tree
2004-06-18	Claudio Sacerdoti...	Fourier URIs changed in V8.	commit \| commitdiff \| tree
2004-06-17	Claudio Sacerdoti...	- moogle replaces the old search engine	commit \| commitdiff \| tree
2004-06-16	Claudio Sacerdoti...	atmost/atleast/exactly constraints are now used only...	commit \| commitdiff \| tree
2004-06-10	Claudio Sacerdoti...	search.xsl added.	commit \| commitdiff \| tree
2004-06-10	Claudio Sacerdoti...	Added search.xsl (S).	commit \| commitdiff \| tree
2004-06-10	Claudio Sacerdoti...	Stylesheet whose input is an empty document. It calls the	commit \| commitdiff \| tree
2004-06-10	Claudio Sacerdoti...	New profile param: searchengineURL	commit \| commitdiff \| tree
2004-06-10	Claudio Sacerdoti...	Uncommited changes committed.	commit \| commitdiff \| tree
2004-06-10	Claudio Sacerdoti...	Interface URL can now be setted using the control panel.	commit \| commitdiff \| tree
2004-06-10	Claudio Sacerdoti...	Interface URL can now be setted.	commit \| commitdiff \| tree
2004-06-09	Claudio Sacerdoti...	The normalization of URIs when the DB is empty (or...	commit \| commitdiff \| tree
2004-06-09	Claudio Sacerdoti...	- new stylesheets in the predefined set	commit \| commitdiff \| tree
2004-06-08	Claudio Sacerdoti...	New attributes for ht:* elements proposed by Nijmegen.	commit \| commitdiff \| tree
2004-06-03	Claudio Sacerdoti...	Objects ordering is now case-insensite.	commit \| commitdiff \| tree
2004-05-31	Claudio Sacerdoti...	Ordering is now done in no-case style.	commit \| commitdiff \| tree
2004-05-31	Claudio Sacerdoti...	theory:path/index.theory are not rewritten to theory...	commit \| commitdiff \| tree
2004-05-30	Claudio Sacerdoti...	Back compatibility code introduced:	commit \| commitdiff \| tree
2004-05-30	Claudio Sacerdoti...	The theory index.theory, if present, is shown at the...	commit \| commitdiff \| tree
2004-05-28	Claudio Sacerdoti...	.body removed from bread crumb trail	commit \| commitdiff \| tree
2004-05-28	Claudio Sacerdoti...	Links in the control frame when the URI ends with ...	commit \| commitdiff \| tree
2004-05-28	Claudio Sacerdoti...	<xsl:import href="toplevel_header.xsl"/>	commit \| commitdiff \| tree
next

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

RSS Atom