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

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

2011-09-06	Wilmer Ricciotti	First attempt at svn commit of developments.	commit \| commitdiff \| tree \| snapshot
2011-09-05	Ferruccio Guidi	- the substitution lemma is proved!	commit \| commitdiff \| tree \| snapshot
2011-09-05	Wilmer Ricciotti	commit by user utente	commit \| commitdiff \| tree \| snapshot
2011-09-05	Wilmer Ricciotti	commit by user utente	commit \| commitdiff \| tree \| snapshot
2011-09-02	Ferruccio Guidi	- the theory of parallel substitution of local environm...	commit \| commitdiff \| tree \| snapshot
2011-08-29	Ferruccio Guidi	- we shared the atomic term constructions	commit \| commitdiff \| tree \| snapshot
2011-08-27	Ferruccio Guidi	- the shift function is now defined and cpr_shift_fwd...	commit \| commitdiff \| tree \| snapshot
2011-08-25	Ferruccio Guidi	- weakening leq, we proved cpr_bind_dx	commit \| commitdiff \| tree \| snapshot
2011-08-24	Ferruccio Guidi	one reduction rule (tpr) was redundant	commit \| commitdiff \| tree \| snapshot
2011-08-23	Ferruccio Guidi	- confluence of parallel substitution (tps) closed...	commit \| commitdiff \| tree \| snapshot
2011-08-22	Ferruccio Guidi	we now use non-telescopic substitution in parallel...	commit \| commitdiff \| tree \| snapshot
2011-08-19	Ferruccio Guidi	- tentative definition of lcpr (contex-sensitive parall...	commit \| commitdiff \| tree \| snapshot
2011-08-18	Ferruccio Guidi	the refactoring was not really complete	commit \| commitdiff \| tree \| snapshot
2011-08-18	Ferruccio Guidi	refactoring completed	commit \| commitdiff \| tree \| snapshot
2011-08-18	Ferruccio Guidi	- some refactoring	commit \| commitdiff \| tree \| snapshot
2011-08-18	Ferruccio Guidi	- matitaclean greatly improved but ...	commit \| commitdiff \| tree \| snapshot
2011-08-10	Ferruccio Guidi	refactoring completed!	commit \| commitdiff \| tree \| snapshot
2011-08-10	Ferruccio Guidi	the refactoring continues ...	commit \| commitdiff \| tree \| snapshot
2011-08-10	Ferruccio Guidi	the refactoring continues ...	commit \| commitdiff \| tree \| snapshot
2011-08-10	Ferruccio Guidi	lambda-delta must be a contrib	commit \| commitdiff \| tree \| snapshot
2011-08-10	Ferruccio Guidi	lambda-delta must be a contrib	commit \| commitdiff \| tree \| snapshot
2011-08-10	Ferruccio Guidi	some refactoring	commit \| commitdiff \| tree \| snapshot
2011-08-09	Ferruccio Guidi	confluence of parallel substitution (tps) started ...	commit \| commitdiff \| tree \| snapshot
2011-08-08	Ferruccio Guidi	- tps_tpr closed! (substitution is a reduction)	commit \| commitdiff \| tree \| snapshot
2011-08-07	Ferruccio Guidi	- cpr is now defined and the cpr_flat propery is proved...	commit \| commitdiff \| tree \| snapshot
2011-08-06	Ferruccio Guidi	- transitivity of parallel telescopic substitution...	commit \| commitdiff \| tree \| snapshot
2011-08-03	Ferruccio Guidi	the generation of the multiple conjunction is now suppo...	commit \| commitdiff \| tree \| snapshot
2011-07-29	Ferruccio Guidi	confluence of tpr completed!	commit \| commitdiff \| tree \| snapshot
2011-07-28	Ferruccio Guidi	confluence: case 13 closed	commit \| commitdiff \| tree \| snapshot
2011-07-28	Ferruccio Guidi	xoa: new binary for the generation of multiple logical...	commit \| commitdiff \| tree \| snapshot
2011-07-27	Ferruccio Guidi	- xoa: bug fix and improvement	commit \| commitdiff \| tree \| snapshot
2011-07-26	Ferruccio Guidi	tpr: more inversion lemmas and a main property stated	commit \| commitdiff \| tree \| snapshot
2011-07-25	Ferruccio Guidi	lift_weight: bug fix	commit \| commitdiff \| tree \| snapshot
2011-07-25	Ferruccio Guidi	- inversion lemmas for tpr completed!	commit \| commitdiff \| tree \| snapshot
2011-07-24	Ferruccio Guidi	- some renaming	commit \| commitdiff \| tree \| snapshot
2011-07-24	Ferruccio Guidi	- sone refactoring	commit \| commitdiff \| tree \| snapshot
2011-07-22	Ferruccio Guidi	confluence of reduction started ...	commit \| commitdiff \| tree \| snapshot
2011-07-21	Ferruccio Guidi	one main propery of drop closed, one added	commit \| commitdiff \| tree \| snapshot
2011-07-20	Ferruccio Guidi	two more main properties of drop closed	commit \| commitdiff \| tree \| snapshot
2011-07-20	Wilmer Ricciotti	Matitaweb: fixed a bug concerning matita/html/xml escap...	commit \| commitdiff \| tree \| snapshot
2011-07-20	Wilmer Ricciotti	1) Matitaweb now disambiguates scripts as it runs them	commit \| commitdiff \| tree \| snapshot
2011-07-19	Ferruccio Guidi	first main property of drop closed	commit \| commitdiff \| tree \| snapshot
2011-07-19	Ferruccio Guidi	- drop_main: bug fix	commit \| commitdiff \| tree \| snapshot
2011-07-19	Ferruccio Guidi	- nnAuto.ml: width overflows are warnings, not errors	commit \| commitdiff \| tree \| snapshot
2011-07-19	Ferruccio Guidi	one main property of lift closed	commit \| commitdiff \| tree \| snapshot
2011-07-18	Ferruccio Guidi	- functional properties of lift closed!	commit \| commitdiff \| tree \| snapshot
2011-07-17	Ferruccio Guidi	more lemmas and some generated logical constants for...	commit \| commitdiff \| tree \| snapshot
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
next

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

RSS Atom