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

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

2011-07-15	Claudio Sacerdoti...	The name of the constructor for jmeq changed.	commit \| commitdiff \| tree \| snapshot
2011-07-15	Claudio Sacerdoti...	Bug fixed: when we try to add an object and it is not...	commit \| commitdiff \| tree \| snapshot
2011-07-15	Claudio Sacerdoti...	Use replace when switching tabs (see previous commit).	commit \| commitdiff \| tree \| snapshot
2011-07-15	Claudio Sacerdoti...	New function replace to be used in place of time_travel...	commit \| commitdiff \| tree \| snapshot
2011-07-15	Claudio Sacerdoti...	Dead code removed from the interface. It is used intern...	commit \| commitdiff \| tree \| snapshot
2011-07-14	Wilmer Ricciotti	Changes to TeX-macro conversion.	commit \| commitdiff \| tree \| snapshot
2011-07-14	Wilmer Ricciotti	Matitaweb: Bugfix for TeX-macro conversion.	commit \| commitdiff \| tree \| snapshot
2011-07-14	Wilmer Ricciotti	Matitaweb: changes to utf8MacroTable.js	commit \| commitdiff \| tree \| snapshot
2011-07-14	Wilmer Ricciotti	Matitaweb: changes to utf8MacroTable.js.	commit \| commitdiff \| tree \| snapshot
2011-07-14	Wilmer Ricciotti	Matitaweb: TeX-like macro handling.	commit \| commitdiff \| tree \| snapshot
2011-07-14	Wilmer Ricciotti	Changes to utf8MacroTable.js.	commit \| commitdiff \| tree \| snapshot
2011-07-14	Wilmer Ricciotti	Added Utf8MacroTable for MatitaWeb.	commit \| commitdiff \| tree \| snapshot
2011-07-14	Wilmer Ricciotti	More keyboard handling tests	commit \| commitdiff \| tree \| snapshot
2011-07-13	Ferruccio Guidi	- new definition of subst based on drop	commit \| commitdiff \| tree \| snapshot
2011-07-13	Wilmer Ricciotti	more tests on keyboard handling.	commit \| commitdiff \| tree \| snapshot
2011-07-13	Wilmer Ricciotti	more tests on keyboard events.	commit \| commitdiff \| tree \| snapshot
2011-07-13	Wilmer Ricciotti	more tests on keyboard events.	commit \| commitdiff \| tree \| snapshot
2011-07-13	Wilmer Ricciotti	more keyboard events tests.	commit \| commitdiff \| tree \| snapshot
2011-07-13	Wilmer Ricciotti	more keyboard events tests.	commit \| commitdiff \| tree \| snapshot
2011-07-13	Wilmer Ricciotti	more keyboard events tests.	commit \| commitdiff \| tree \| snapshot
2011-07-13	Wilmer Ricciotti	more keyboard tests.	commit \| commitdiff \| tree \| snapshot
2011-07-13	Wilmer Ricciotti	more keyboard events tests	commit \| commitdiff \| tree \| snapshot
2011-07-13	Wilmer Ricciotti	more keyboard event tests	commit \| commitdiff \| tree \| snapshot
2011-07-13	Wilmer Ricciotti	more tests with keyboard events.	commit \| commitdiff \| tree \| snapshot
2011-07-13	Wilmer Ricciotti	minor bugfix	commit \| commitdiff \| tree \| snapshot
2011-07-13	Wilmer Ricciotti	Testing keyboard events handling.	commit \| commitdiff \| tree \| snapshot
2011-06-25	Ferruccio Guidi	long file names caused indentation underflow (String...	commit \| commitdiff \| tree \| snapshot
2011-06-25	Ferruccio Guidi	- some depend files	commit \| commitdiff \| tree \| snapshot
2011-06-23	Wilmer Ricciotti	Added facility for resetting the library.	commit \| commitdiff \| tree \| snapshot
2011-06-23	Wilmer Ricciotti	...	commit \| commitdiff \| tree \| snapshot
2011-06-23	Wilmer Ricciotti	Added matitaweb administration panel.	commit \| commitdiff \| tree \| snapshot
2011-06-22	Claudio Sacerdoti...	Possible assert false case implemented	commit \| commitdiff \| tree \| snapshot
2011-06-22	Wilmer Ricciotti	Removed filename input box from index.html (just browse...	commit \| commitdiff \| tree \| snapshot
2011-06-22	Wilmer Ricciotti	Fix to matitaweb library dialog box.	commit \| commitdiff \| tree \| snapshot
2011-06-22	Wilmer Ricciotti	Fixes to library dialog box in matitaweb.	commit \| commitdiff \| tree \| snapshot
2011-06-22	Wilmer Ricciotti	Opening scripts using the Library dialog (try 1).	commit \| commitdiff \| tree \| snapshot
2011-06-22	Wilmer Ricciotti	More changes to matitaweb.css.	commit \| commitdiff \| tree \| snapshot
2011-06-22	Wilmer Ricciotti	More changes to matitaweb.css.	commit \| commitdiff \| tree \| snapshot
2011-06-22	Wilmer Ricciotti	Changes to matitaweb.js (dialog box).	commit \| commitdiff \| tree \| snapshot
2011-06-22	Wilmer Ricciotti	Show library test 1.	commit \| commitdiff \| tree \| snapshot
2011-06-22	Wilmer Ricciotti	More changes to matitaweb.css.	commit \| commitdiff \| tree \| snapshot
2011-06-22	Wilmer Ricciotti	More changes to matitaweb.css.	commit \| commitdiff \| tree \| snapshot
2011-06-22	Wilmer Ricciotti	Fix in matitaweb.css.	commit \| commitdiff \| tree \| snapshot
2011-06-22	Wilmer Ricciotti	Fix in matitaweb:index.html.	commit \| commitdiff \| tree \| snapshot
2011-06-22	Wilmer Ricciotti	Changes to matitaweb.css (dialog boxes).	commit \| commitdiff \| tree \| snapshot
2011-06-22	Wilmer Ricciotti	Changes to matitaweb.css (dialog boxes).	commit \| commitdiff \| tree \| snapshot
2011-06-22	Wilmer Ricciotti	More changes to matitaweb dialog boxes.	commit \| commitdiff \| tree \| snapshot
2011-06-22	Wilmer Ricciotti	Second attempt at dialog boxes in index.html.	commit \| commitdiff \| tree \| snapshot
2011-06-22	Wilmer Ricciotti	Bugfix in index.html.	commit \| commitdiff \| tree \| snapshot
2011-06-22	Wilmer Ricciotti	First attempt at dialog boxes.	commit \| commitdiff \| tree \| snapshot
2011-06-22	Wilmer Ricciotti	More bugfixes for matitaweb's viewlib.	commit \| commitdiff \| tree \| snapshot
2011-06-22	Wilmer Ricciotti	Bugfix in matitaweb viewlib.	commit \| commitdiff \| tree \| snapshot
2011-06-22	Wilmer Ricciotti	Matitaweb viewlib, part II.	commit \| commitdiff \| tree \| snapshot
2011-06-22	Claudio Sacerdoti...	Escaping exceptions are now captured.	commit \| commitdiff \| tree \| snapshot
2011-06-22	Wilmer Ricciotti	Added viewlib to matitaweb.	commit \| commitdiff \| tree \| snapshot
2011-06-21	Ferruccio Guidi	missing ; to delimit syntax :(	commit \| commitdiff \| tree \| snapshot
2011-06-21	Wilmer Ricciotti	More bugfixes in matitaFilesystem.ml	commit \| commitdiff \| tree \| snapshot
2011-06-21	Wilmer Ricciotti	Bugfix in matitaFilesystem.ml	commit \| commitdiff \| tree \| snapshot
2011-06-21	Wilmer Ricciotti	Changed user library dir to users/	commit \| commitdiff \| tree \| snapshot
2011-06-21	Wilmer Ricciotti	Added generation of HTML representation of the library.	commit \| commitdiff \| tree \| snapshot
2011-06-21	Andrea Asperti	Some progress	commit \| commitdiff \| tree \| snapshot
2011-06-20	Andrea Asperti	ported reduction.ma	commit \| commitdiff \| tree \| snapshot
2011-06-20	Andrea Asperti	Ported par_reduction	commit \| commitdiff \| tree \| snapshot
2011-06-20	Andrea Asperti	ported substs and subterms	commit \| commitdiff \| tree \| snapshot
2011-06-18	Ferruccio Guidi	- xoa: more existential types	commit \| commitdiff \| tree \| snapshot
2011-06-17	Claudio Sacerdoti...	Unprotected List.fold_left2.	commit \| commitdiff \| tree \| snapshot
2011-06-17	Claudio Sacerdoti...	Remove the daemon :-)	commit \| commitdiff \| tree \| snapshot
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
next

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

RSS Atom