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

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

2012-05-31	Claudio Sacerdoti...	Thanks to Guarrigue, code for Serializer functor simplified...	commit \| commitdiff \| tree
2012-05-17	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2012-05-17	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2012-05-17	Claudio Sacerdoti...	Efficient hashing used.	commit \| commitdiff \| tree
2012-05-17	Claudio Sacerdoti...	hash function exported	commit \| commitdiff \| tree
2012-05-17	Claudio Sacerdoti...	The lpo cache is now implemented as an hastbl for more...	commit \| commitdiff \| tree
2012-05-16	Claudio Sacerdoti...	Added cache to lpo implementation.	commit \| commitdiff \| tree
2012-05-16	Claudio Sacerdoti...	Orientation of equalities is now displayed.	commit \| commitdiff \| tree
2012-05-16	Claudio Sacerdoti...	Orientation of equalities is now displayed.	commit \| commitdiff \| tree
2012-05-16	Claudio Sacerdoti...	Removed duplicated notation and interaction with the...	commit \| commitdiff \| tree
2012-05-16	Claudio Sacerdoti...	Compare was not compatible with eq!	commit \| commitdiff \| tree
2012-05-16	Claudio Sacerdoti...	New, faster implementation of lpo checked against old...	commit \| commitdiff \| tree
2012-05-16	Claudio Sacerdoti...	Added alias instance=1 to avoid interaction with the...	commit \| commitdiff \| tree
2012-05-15	Claudio Sacerdoti...	Pruning generalized from Vars to applied Vars.	commit \| commitdiff \| tree
2012-05-15	Claudio Sacerdoti...	Bug fixed in does_not_occur when a LetIn was found...	commit \| commitdiff \| tree
2012-05-15	Claudio Sacerdoti...	print => debug	commit \| commitdiff \| tree
2012-05-15	Claudio Sacerdoti...	Patch by Ferruccio that enables \top/\bot for False...	commit \| commitdiff \| tree
2012-05-15	Claudio Sacerdoti...	Divergence during indexing fixed: (? t = t') was not...	commit \| commitdiff \| tree
2012-05-15	Claudio Sacerdoti...	Sys.Break no longer caught during indexing	commit \| commitdiff \| tree
2012-05-10	Claudio Sacerdoti...	Patch to improve the pretty-printing of error messages.	commit \| commitdiff \| tree
2012-05-10	Claudio Sacerdoti...	Sys.Break no longer captured in two places.	commit \| commitdiff \| tree
2012-05-04	Claudio Sacerdoti...	(no commit message)	commit \| commitdiff \| tree
2012-05-04	Claudio Sacerdoti...	(no commit message)	commit \| commitdiff \| tree
2012-05-03	Claudio Sacerdoti...	Speed up: moved a #ppterm inside the lazy it belongs to.	commit \| commitdiff \| tree
2012-04-17	Claudio Sacerdoti...	Fixed w.r.t. new yelp.	commit \| commitdiff \| tree
2012-03-09	Claudio Sacerdoti...	Fixes bug where switching to a new tab the slider is...	commit \| commitdiff \| tree
2012-03-06	Claudio Sacerdoti...	Forward compatibility with new releases of Camlp5.	commit \| commitdiff \| tree
2012-03-06	Claudio Sacerdoti...	Workaround for a BSD bug (submitted by Boender).	commit \| commitdiff \| tree
2012-03-06	Claudio Sacerdoti...	Bug fixed: horizontal scrolling now works correctly...	commit \| commitdiff \| tree
2012-03-06	Claudio Sacerdoti...	MAJOR SPEED UP. The previous implementation of scrolling...	commit \| commitdiff \| tree
2012-03-06	Claudio Sacerdoti...	Minor speed up in the code.	commit \| commitdiff \| tree
2012-03-06	Claudio Sacerdoti...	Major speed-up improvement. Adding one callback per...	commit \| commitdiff \| tree
2012-01-31	Claudio Sacerdoti...	Notation for destructuring let-in for triples fixed.	commit \| commitdiff \| tree
2012-01-27	Claudio Sacerdoti...	Better error messages.	commit \| commitdiff \| tree
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
next

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

RSS Atom