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

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

2011-06-17	Andrea Asperti	New syntax of dummy with the type	commit \| commitdiff \| tree \| snapshot
2011-06-17	Andrea Asperti	Added a copy of lambdaN to extend the syntax of dummies...	commit \| commitdiff \| tree \| snapshot
2011-06-16	Wilmer Ricciotti	Added module MatitaFilesystem, to be used for the manag...	commit \| commitdiff \| tree \| snapshot
2011-06-16	Wilmer Ricciotti	Added location of the weblib repository to matita.conf...	commit \| commitdiff \| tree \| snapshot
2011-06-16	Wilmer Ricciotti	Added repository for the shared library to be used...	commit \| commitdiff \| tree \| snapshot
2011-06-15	Wilmer Ricciotti	(Almost) working multi-user matitaweb.	commit \| commitdiff \| tree \| snapshot
2011-06-15	Wilmer Ricciotti	Logout (partial work) (multi-user matita)	commit \| commitdiff \| tree \| snapshot
2011-06-15	Wilmer Ricciotti	Multi-user Matita (and Matitaweb): added user authentic...	commit \| commitdiff \| tree \| snapshot
2011-06-14	Ferruccio Guidi	some restructuring	commit \| commitdiff \| tree \| snapshot
2011-06-14	Ferruccio Guidi	more lemmas to prove and a correction in subst	commit \| commitdiff \| tree \| snapshot
2011-06-13	Ferruccio Guidi	more notation and one more lemma to prove :(	commit \| commitdiff \| tree \| snapshot
2011-06-13	Ferruccio Guidi	reductions rules and one lemma	commit \| commitdiff \| tree \| snapshot
2011-06-12	Ferruccio Guidi	more properties of relocation	commit \| commitdiff \| tree \| snapshot
2011-06-10	Wilmer Ricciotti	Multi-user matita: changed the status object to include...	commit \| commitdiff \| tree \| snapshot
2011-06-09	Wilmer Ricciotti	Fixes bugs in the Matitaweb UI.	commit \| commitdiff \| tree \| snapshot
2011-06-08	Wilmer Ricciotti	Fix for internet explorer (but still works badly).	commit \| commitdiff \| tree \| snapshot
2011-06-08	Wilmer Ricciotti	Cosmetic changes.	commit \| commitdiff \| tree \| snapshot
2011-06-08	Wilmer Ricciotti	Fixed a bug in the retract command of Matitaweb.	commit \| commitdiff \| tree \| snapshot
2011-06-08	Wilmer Ricciotti	Logo for use in matitaweb.	commit \| commitdiff \| tree \| snapshot
2011-06-08	Wilmer Ricciotti	Removed dependency of Matitaweb from GTK libraries.	commit \| commitdiff \| tree \| snapshot
2011-06-07	Ferruccio Guidi	- we removed the reduction-related item categorization	commit \| commitdiff \| tree \| snapshot
2011-06-07	Wilmer Ricciotti	Removed hardcoded include paths from matitadaemon.	commit \| commitdiff \| tree \| snapshot
2011-06-07	Wilmer Ricciotti	Some changes in the Makefile for matitaweb.	commit \| commitdiff \| tree \| snapshot
2011-06-07	Wilmer Ricciotti	Fixes record projections (see matita 1.0 branch)	commit \| commitdiff \| tree \| snapshot
2011-06-07	Wilmer Ricciotti	Matitaweb daemon ported from Ocaml Http to Ocamlnet...	commit \| commitdiff \| tree \| snapshot
2011-06-07	Claudio Sacerdoti...	This can happen: when you use nodelta.	commit \| commitdiff \| tree \| snapshot
2011-06-06	Claudio Sacerdoti...	Minor changes because of the new, weaker (but much...	commit \| commitdiff \| tree \| snapshot
2011-06-06	Claudio Sacerdoti...	Bug fixed: trailing ' in names were not removed when...	commit \| commitdiff \| tree \| snapshot
2011-06-06	Ferruccio Guidi	We reintroduce the distinction between binding and...	commit \| commitdiff \| tree \| snapshot
2011-06-06	Claudio Sacerdoti...	Major speed-up:	commit \| commitdiff \| tree \| snapshot
2011-06-06	Wilmer Ricciotti	This update uses XML for client-server communication...	commit \| commitdiff \| tree \| snapshot
2011-06-03	Ferruccio Guidi	- we introduce extended existentials (generated)	commit \| commitdiff \| tree \| snapshot
2011-06-03	Ferruccio Guidi	Max width overflows, which cause auto to fail, are...	commit \| commitdiff \| tree \| snapshot
2011-06-03	Wilmer Ricciotti	Fixed a bug that prevented record projections from...	commit \| commitdiff \| tree \| snapshot
2011-06-03	Claudio Sacerdoti...	The pretty printer should never fail, even on fake...	commit \| commitdiff \| tree \| snapshot
2011-06-03	Claudio Sacerdoti...	Pretty printing of exceptions escaped from pretty print...	commit \| commitdiff \| tree \| snapshot
2011-06-03	Claudio Sacerdoti...	Avoid killing the main gui thread.	commit \| commitdiff \| tree \| snapshot
2011-06-01	Claudio Sacerdoti...	Delift used to produce not well typed substitutions...	commit \| commitdiff \| tree \| snapshot
2011-06-01	Ferruccio Guidi	CC2FO_K_cube: soundness of the K interpretation stated	commit \| commitdiff \| tree \| snapshot
2011-06-01	Claudio Sacerdoti...	Comment is now up-to-date.	commit \| commitdiff \| tree \| snapshot
2011-06-01	Wilmer Ricciotti	Matita Web: moved the javascript in a separate file...	commit \| commitdiff \| tree \| snapshot
2011-06-01	Ferruccio Guidi	subst.ma: some additions	commit \| commitdiff \| tree \| snapshot
2011-06-01	Claudio Sacerdoti...	Print backtrace of exceptions when OCAMLRUNPARAM=b...	commit \| commitdiff \| tree \| snapshot
2011-06-01	Claudio Sacerdoti...	assert false removed	commit \| commitdiff \| tree \| snapshot
2011-05-31	Wilmer Ricciotti	Partial implementation of "go to cursor" action.	commit \| commitdiff \| tree \| snapshot
2011-05-30	Ferruccio Guidi	auto does not work here :(	commit \| commitdiff \| tree \| snapshot
2011-05-30	Ferruccio Guidi	basics: some additions	commit \| commitdiff \| tree \| snapshot
2011-05-30	Claudio Sacerdoti...	Better indentation.	commit \| commitdiff \| tree \| snapshot
2011-05-30	Wilmer Ricciotti	Partially working table layout of matita web (only...	commit \| commitdiff \| tree \| snapshot
2011-05-30	Claudio Sacerdoti...	Debugging code to understand cases where the output...	commit \| commitdiff \| tree \| snapshot
2011-05-27	Claudio Sacerdoti...	Name generator for Russell greatly improved.	commit \| commitdiff \| tree \| snapshot
2011-05-26	Wilmer Ricciotti	Improved rendering of sequents in matitaweb, including...	commit \| commitdiff \| tree \| snapshot
2011-05-26	Claudio Sacerdoti...	Serious bug fixed:	commit \| commitdiff \| tree \| snapshot
2011-05-26	Enrico Tassi	Prod indexed as Dead, that is equal only to itself...	commit \| commitdiff \| tree \| snapshot
2011-05-26	Wilmer Ricciotti	Preliminary version of matitaweb handling multiple...	commit \| commitdiff \| tree \| snapshot
2011-05-26	Claudio Sacerdoti...	Syntax for coercion nocomposites fixed.	commit \| commitdiff \| tree \| snapshot
2011-05-26	Claudio Sacerdoti...	Added "nocomposites" to coercions.	commit \| commitdiff \| tree \| snapshot
2011-05-25	Ferruccio Guidi	- degree: some improvements and the Deg_append lemma	commit \| commitdiff \| tree \| snapshot
2011-05-24	Claudio Sacerdoti...	Quick patch to avoid name collisions when passing coerc...	commit \| commitdiff \| tree \| snapshot
2011-05-24	Claudio Sacerdoti...	Coercions are now propagated under let...ins.	commit \| commitdiff \| tree \| snapshot
2011-05-24	Wilmer Ricciotti	Fixed box pretty printing.	commit \| commitdiff \| tree \| snapshot
2011-05-24	Wilmer Ricciotti	matitaweb: added retract (undo)	commit \| commitdiff \| tree \| snapshot
2011-05-24	Ferruccio Guidi	degree.ma: we defined the "degree" of a term, which...	commit \| commitdiff \| tree \| snapshot
2011-05-23	Claudio Sacerdoti...	1) interpretation of matches in patterns implemented	commit \| commitdiff \| tree \| snapshot
2011-05-23	Wilmer Ricciotti	Added support for hyperlinks in the goal view of the...	commit \| commitdiff \| tree \| snapshot
2011-05-23	Wilmer Ricciotti	...	commit \| commitdiff \| tree \| snapshot
2011-05-23	Andrea Asperti	Removed dead code	commit \| commitdiff \| tree \| snapshot
2011-05-20	Ferruccio Guidi	- we weakened SAT3	commit \| commitdiff \| tree \| snapshot
2011-05-20	Andrea Asperti	want_indent bug fixed	commit \| commitdiff \| tree \| snapshot
2011-05-20	Andrea Asperti	readded function box_of	commit \| commitdiff \| tree \| snapshot
2011-05-20	Wilmer Ricciotti	Compilation fix	commit \| commitdiff \| tree \| snapshot
2011-05-20	Wilmer Ricciotti	Compilation fix	commit \| commitdiff \| tree \| snapshot
2011-05-20	Andrea Asperti	Simplified rendering.	commit \| commitdiff \| tree \| snapshot
2011-05-20	Andrea Asperti	Simplified rendering	commit \| commitdiff \| tree \| snapshot
2011-05-20	Andrea Asperti	Simplified rendering	commit \| commitdiff \| tree \| snapshot
2011-05-20	Andrea Asperti	rm rendering attrs	commit \| commitdiff \| tree \| snapshot
2011-05-20	Andrea Asperti	Removed mathml and proof rendering.	commit \| commitdiff \| tree \| snapshot
2011-05-20	Andrea Asperti	Simplified rendering	commit \| commitdiff \| tree \| snapshot
2011-05-20	Andrea Asperti	Porting to new reduction.	commit \| commitdiff \| tree \| snapshot
2011-05-19	Wilmer Ricciotti	Added matitadaemon.	commit \| commitdiff \| tree \| snapshot
2011-05-19	Ferruccio Guidi	cube.ma: some pts specifications of the lambda-cube	commit \| commitdiff \| tree \| snapshot
2011-05-19	Andrea Asperti	Porting to the new pts.	commit \| commitdiff \| tree \| snapshot
2011-05-19	Andrea Asperti	Porting to new parametric TJ.	commit \| commitdiff \| tree \| snapshot
2011-05-19	Andrea Asperti	Dummies are blocked.	commit \| commitdiff \| tree \| snapshot
2011-05-18	Andrea Asperti	New version of TJ parametric in the specification of...	commit \| commitdiff \| tree \| snapshot
2011-05-14	Ferruccio Guidi	we added a property	commit \| commitdiff \| tree \| snapshot
2011-05-13	Ferruccio Guidi	ground: some arithmetical properties added	commit \| commitdiff \| tree \| snapshot
2011-05-13	Wilmer Ricciotti	interim version (added smallLexer)	commit \| commitdiff \| tree \| snapshot
2011-05-12	Wilmer Ricciotti	Record projections:	commit \| commitdiff \| tree \| snapshot
2011-05-12	Wilmer Ricciotti	Record projections:	commit \| commitdiff \| tree \| snapshot
2011-05-11	Andrea Asperti	Partial modifications.	commit \| commitdiff \| tree \| snapshot
2011-04-28	Ferruccio Guidi	we uncommented R3 and R4 tu be used in lambda-delta	commit \| commitdiff \| tree \| snapshot
2011-04-28	Ferruccio Guidi	- weight: bugfix + weight-based eliminator axiomatized	commit \| commitdiff \| tree \| snapshot
2011-04-21	Ferruccio Guidi	- we added notation for the zetable and thetable items	commit \| commitdiff \| tree \| snapshot
2011-04-20	Andrea Asperti	convertibility.	commit \| commitdiff \| tree \| snapshot
2011-04-20	Andrea Asperti	generatin lemmas and subject reduction (with a lot...	commit \| commitdiff \| tree \| snapshot
2011-04-20	Andrea Asperti	progress	commit \| commitdiff \| tree \| snapshot
2011-04-20	Andrea Asperti	error in the conversion rule	commit \| commitdiff \| tree \| snapshot
2011-04-19	Ferruccio Guidi	notation bug fix	commit \| commitdiff \| tree \| snapshot
2011-04-19	Ferruccio Guidi	- some bug fixes	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom