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

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

2011-12-14	Claudio Sacerdoti...	More stuff from CerCo to the standard library.	commit \| commitdiff \| tree
2011-12-14	Claudio Sacerdoti...	Some more lemmas from CerCo.	commit \| commitdiff \| tree
2011-12-14	Claudio Sacerdoti...	1) Notation for dependent pairs differentiated from...	commit \| commitdiff \| tree
2011-12-13	Claudio Sacerdoti...	Dependent pairs (i.e. Sigma types in Type[0]) are back...	commit \| commitdiff \| tree
2011-12-13	Claudio Sacerdoti...	1) PSig and Sig merged into a single Sigma type in...	commit \| commitdiff \| tree
2011-12-13	Claudio Sacerdoti...	inject/eject replaced by mk_Sig/pi1.	commit \| commitdiff \| tree
2011-12-13	Claudio Sacerdoti...	1) New file russell with the coercions to activate...	commit \| commitdiff \| tree
2011-12-13	Claudio Sacerdoti...	More stuff integrated from CerCo on sigma types (that...	commit \| commitdiff \| tree
2011-12-12	Claudio Sacerdoti...	pair => mk_Prod (one more was left in notation)	commit \| commitdiff \| tree
2011-12-12	Claudio Sacerdoti...	precedence level of if-then-else fixed	commit \| commitdiff \| tree
2011-12-12	Claudio Sacerdoti...	Added elimination principles for destructuring let...	commit \| commitdiff \| tree
2011-12-12	Claudio Sacerdoti...	Some integrations from CerCo. In particular:	commit \| commitdiff \| tree
2011-12-12	Claudio Sacerdoti...	Pairs are now records.	commit \| commitdiff \| tree
2011-12-12	Claudio Sacerdoti...	Parentheses are now needed. I do not know why and when...	commit \| commitdiff \| tree
2011-12-12	Claudio Sacerdoti...	Re-Ported to	commit \| commitdiff \| tree
2011-11-22	Claudio Sacerdoti...	Changes to disambiguation:	commit \| commitdiff \| tree
2011-11-21	Claudio Sacerdoti...	Syntax change: change where what => change what where.	commit \| commitdiff \| tree
2011-11-21	Claudio Sacerdoti...	{pattern} => in pattern;	commit \| commitdiff \| tree
2011-11-21	Claudio Sacerdoti...	{pattern} => in pattern;	commit \| commitdiff \| tree
2011-11-18	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2011-11-18	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2011-11-18	Claudio Sacerdoti...	Auto parameters documented for 0.99.1.	commit \| commitdiff \| tree
2011-11-18	Claudio Sacerdoti...	No longer used parameters of auto removed.	commit \| commitdiff \| tree
2011-11-18	Claudio Sacerdoti...	The macro /by _/ now expands again to something parsable.	commit \| commitdiff \| tree
2011-11-18	Claudio Sacerdoti...	/by {}/ ==> /by/	commit \| commitdiff \| tree
2011-11-18	Claudio Sacerdoti...	For release 0.99.1.	commit \| commitdiff \| tree
2011-11-18	Claudio Sacerdoti...	* Almost ready for release 0.99.1.	commit \| commitdiff \| tree
2011-11-18	Claudio Sacerdoti...	intros macro fixed	commit \| commitdiff \| tree
2011-11-17	Claudio Sacerdoti...	Towards 0.95.1.	commit \| commitdiff \| tree
2011-11-17	Claudio Sacerdoti...	Towards the 0.95.1 release.	commit \| commitdiff \| tree
2011-11-17	Claudio Sacerdoti...	In preparation of 0.95.1 release.	commit \| commitdiff \| tree
2011-11-16	Claudio Sacerdoti...	Non working parts of the library commented out.	commit \| commitdiff \| tree
2011-11-16	Claudio Sacerdoti...	Never ported to new syntax.	commit \| commitdiff \| tree
2011-11-02	Claudio Sacerdoti...	trans_eq and sym_eq indexing restored. Apparently they...	commit \| commitdiff \| tree
2011-10-11	Claudio Sacerdoti...	WARNING: major experimental change.	commit \| commitdiff \| tree
2011-10-11	Claudio Sacerdoti...	New version (by Wilmer). The main difference w.r.t...	commit \| commitdiff \| tree
2011-10-10	Claudio Sacerdoti...	1. nInversion/nDestruct ported to work with jmeq properly	commit \| commitdiff \| tree
2011-10-10	Claudio Sacerdoti...	Debugging code commented out.	commit \| commitdiff \| tree
2011-09-26	Claudio Sacerdoti...	Not well understood patch: an assert false did occur...	commit \| commitdiff \| tree
2011-07-15	Claudio Sacerdoti...	The name of the constructor for jmeq changed.	commit \| commitdiff \| tree
2011-07-15	Claudio Sacerdoti...	Bug fixed: when we try to add an object and it is not...	commit \| commitdiff \| tree
2011-07-15	Claudio Sacerdoti...	Use replace when switching tabs (see previous commit).	commit \| commitdiff \| tree
2011-07-15	Claudio Sacerdoti...	New function replace to be used in place of time_travel...	commit \| commitdiff \| tree
2011-07-15	Claudio Sacerdoti...	Dead code removed from the interface. It is used internally...	commit \| commitdiff \| tree
2011-06-22	Claudio Sacerdoti...	Possible assert false case implemented	commit \| commitdiff \| tree
2011-06-22	Claudio Sacerdoti...	Escaping exceptions are now captured.	commit \| commitdiff \| tree
2011-06-17	Claudio Sacerdoti...	Unprotected List.fold_left2.	commit \| commitdiff \| tree
2011-06-17	Claudio Sacerdoti...	Remove the daemon :-)	commit \| commitdiff \| tree
2011-06-07	Claudio Sacerdoti...	This can happen: when you use nodelta.	commit \| commitdiff \| tree
2011-06-06	Claudio Sacerdoti...	Minor changes because of the new, weaker (but much...	commit \| commitdiff \| tree
2011-06-06	Claudio Sacerdoti...	Bug fixed: trailing ' in names were not removed when...	commit \| commitdiff \| tree
2011-06-06	Claudio Sacerdoti...	Major speed-up:	commit \| commitdiff \| tree
2011-06-03	Claudio Sacerdoti...	The pretty printer should never fail, even on fake...	commit \| commitdiff \| tree
2011-06-03	Claudio Sacerdoti...	Pretty printing of exceptions escaped from pretty printing...	commit \| commitdiff \| tree
2011-06-03	Claudio Sacerdoti...	Avoid killing the main gui thread.	commit \| commitdiff \| tree
2011-06-01	Claudio Sacerdoti...	Delift used to produce not well typed substitutions...	commit \| commitdiff \| tree
2011-06-01	Claudio Sacerdoti...	Comment is now up-to-date.	commit \| commitdiff \| tree
2011-06-01	Claudio Sacerdoti...	Print backtrace of exceptions when OCAMLRUNPARAM=b...	commit \| commitdiff \| tree
2011-06-01	Claudio Sacerdoti...	assert false removed	commit \| commitdiff \| tree
2011-05-30	Claudio Sacerdoti...	Better indentation.	commit \| commitdiff \| tree
2011-05-30	Claudio Sacerdoti...	Debugging code to understand cases where the output...	commit \| commitdiff \| tree
2011-05-27	Claudio Sacerdoti...	Name generator for Russell greatly improved.	commit \| commitdiff \| tree
2011-05-26	Claudio Sacerdoti...	Serious bug fixed:	commit \| commitdiff \| tree
2011-05-26	Claudio Sacerdoti...	Syntax for coercion nocomposites fixed.	commit \| commitdiff \| tree
2011-05-26	Claudio Sacerdoti...	Added "nocomposites" to coercions.	commit \| commitdiff \| tree
2011-05-24	Claudio Sacerdoti...	Quick patch to avoid name collisions when passing coercions...	commit \| commitdiff \| tree
2011-05-24	Claudio Sacerdoti...	Coercions are now propagated under let...ins.	commit \| commitdiff \| tree
2011-05-23	Claudio Sacerdoti...	1) interpretation of matches in patterns implemented	commit \| commitdiff \| tree
2011-04-13	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2011-04-01	Claudio Sacerdoti...	Patch to avoid equations of the form ? -> T (oriented...	commit \| commitdiff \| tree
2011-03-27	Claudio Sacerdoti...	Fixes previous wrong commit.	commit \| commitdiff \| tree
2011-03-27	Claudio Sacerdoti...	1) Second half of the bug fixing for the "lexical keywords...	commit \| commitdiff \| tree
2011-03-27	Claudio Sacerdoti...	Bug fixed: some Uri was not refreshed. The effect of...	commit \| commitdiff \| tree
2011-03-27	Claudio Sacerdoti...	Debugging code commented out.	commit \| commitdiff \| tree
2011-03-23	Claudio Sacerdoti...	More verbose in case of errors.	commit \| commitdiff \| tree
2011-03-23	Claudio Sacerdoti...	Use jmeq from lib.	commit \| commitdiff \| tree
2011-03-23	Claudio Sacerdoti...	Nested calls to matitac are now pretty-printed nicely.	commit \| commitdiff \| tree
2011-03-22	Claudio Sacerdoti...	Reindentation.	commit \| commitdiff \| tree
2011-03-22	Claudio Sacerdoti...	Bug fixed and code refactoring: now both matitac and...	commit \| commitdiff \| tree
2011-03-22	Claudio Sacerdoti...	Use matita/lib as the new standard library in place...	commit \| commitdiff \| tree
2011-03-22	Claudio Sacerdoti...	Debugging code removed.	commit \| commitdiff \| tree
2011-03-19	Claudio Sacerdoti...	Bug "fixed" (i.e avoided).	commit \| commitdiff \| tree
2011-03-18	Claudio Sacerdoti...	Ported to	commit \| commitdiff \| tree
2011-01-27	Claudio Sacerdoti...	Hyperlinks are back.	commit \| commitdiff \| tree
2011-01-27	Claudio Sacerdoti...	Hyperlinks are now computed correctly. I least I hope...	commit \| commitdiff \| tree
2011-01-14	Claudio Sacerdoti...	The sequent window now always scroll to the bottom...	commit \| commitdiff \| tree
2011-01-14	Claudio Sacerdoti...	Bug fixed: the script windows did not scroll correctly...	commit \| commitdiff \| tree
2011-01-11	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2011-01-11	Claudio Sacerdoti...	Bug fixed: the newScript method must be called only...	commit \| commitdiff \| tree
2011-01-11	Claudio Sacerdoti...	Bug fixed: the accelerators for Close and Quit were...	commit \| commitdiff \| tree
2011-01-11	Claudio Sacerdoti...	Last commit reverted (it was an error).	commit \| commitdiff \| tree
2011-01-11	Claudio Sacerdoti...	Part of last HUGE COMMIT about NCic.status	commit \| commitdiff \| tree
2011-01-11	Claudio Sacerdoti...	Stupid bug fixed (introduced a couple of commits ago...	commit \| commitdiff \| tree
2011-01-11	Claudio Sacerdoti...	HUGE COMMIT:	commit \| commitdiff \| tree
2011-01-10	Claudio Sacerdoti...	code simplification	commit \| commitdiff \| tree
2011-01-03	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2011-01-03	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2011-01-03	Claudio Sacerdoti...	Brainstorming	commit \| commitdiff \| tree
2010-12-28	Claudio Sacerdoti...	Bugs and other stuff to do to complete the Matita 1...	commit \| commitdiff \| tree
2010-12-28	Claudio Sacerdoti...	Interface reduction; code clean up.	commit \| commitdiff \| tree
next

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

RSS Atom