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

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

2011-10-28	Wilmer Ricciotti	Matitaweb: added layout.js (currently manages resizing...	commit \| commitdiff \| tree
2011-10-27	Wilmer Ricciotti	Matitaweb: Fixed a bug in matitaweb.js concerning disambigua...	commit \| commitdiff \| tree
2011-10-24	Wilmer Ricciotti	Matitaweb: first attempt at web UI for disambiguation.	commit \| commitdiff \| tree
2011-10-20	Wilmer Ricciotti	JMeq lifted to work on Type[1].	commit \| commitdiff \| tree
2011-10-20	Wilmer Ricciotti	Removed some unneeded normalizations from the generation...	commit \| commitdiff \| tree
2011-10-20	Wilmer Ricciotti	Matitaweb: added preliminary support for interactive...	commit \| commitdiff \| tree
2011-10-18	Wilmer Ricciotti	Changes in "destruct" tactic (allowing performance...	commit \| commitdiff \| tree
2011-10-12	Wilmer Ricciotti	Matitaweb: Fixed netplex.conf (which was changed by...	commit \| commitdiff \| tree
2011-10-12	Wilmer Ricciotti	Matitaweb: svn now skips empty commits.	commit \| commitdiff \| tree
2011-10-12	Wilmer Ricciotti	Matitaweb: svn now skips empty add.	commit \| commitdiff \| tree
2011-10-11	Wilmer Ricciotti	Matitaweb: Fixed long-time bug with dependencies and...	commit \| commitdiff \| tree
2011-10-06	Wilmer Ricciotti	Matitaweb: added a titlebar to the GUI.	commit \| commitdiff \| tree
2011-10-06	Wilmer Ricciotti	Matitaweb: more changes to commit (now almost usable).	commit \| commitdiff \| tree
2011-10-05	Wilmer Ricciotti	commit by user utente	commit \| commitdiff \| tree
2011-10-03	Wilmer Ricciotti	Matitaweb: test commit.	commit \| commitdiff \| tree
2011-10-03	Wilmer Ricciotti	Matitaweb: commit test.	commit \| commitdiff \| tree
2011-10-03	Wilmer Ricciotti	Matitaweb: commit test.	commit \| commitdiff \| tree
2011-10-03	Wilmer Ricciotti	Matitaweb: commit test.	commit \| commitdiff \| tree
2011-10-03	Wilmer Ricciotti	Matitaweb: implementation of file-flagging for keeping...	commit \| commitdiff \| tree
2011-09-30	Wilmer Ricciotti	Matitaweb: Library test.	commit \| commitdiff \| tree
2011-09-30	Wilmer Ricciotti	Matitaweb: Some bugfixes concerning file flags.	commit \| commitdiff \| tree
2011-09-22	Wilmer Ricciotti	Matitaweb: Fixed a bug which caused matita to forget...	commit \| commitdiff \| tree
2011-09-20	Wilmer Ricciotti	Matitaweb: disabled many verbose debug prints.	commit \| commitdiff \| tree
2011-09-17	Wilmer Ricciotti	Fixes a bug (introduced in the previous revision) which...	commit \| commitdiff \| tree
2011-09-16	Wilmer Ricciotti	This commit patches the environment and the library...	commit \| commitdiff \| tree
2011-09-12	Wilmer Ricciotti	Added debug print in NCicLibrary.serialize.	commit \| commitdiff \| tree
2011-09-09	Wilmer Ricciotti	Matitaweb: layout change in the matitaweb inteface...	commit \| commitdiff \| tree
2011-09-08	Wilmer Ricciotti	Matitaweb: New File functionality.	commit \| commitdiff \| tree
2011-09-08	Wilmer Ricciotti	Matitaweb: first attempt at "Save as".	commit \| commitdiff \| tree
2011-09-08	Wilmer Ricciotti	Matitaweb: changes to file selection dialog box.	commit \| commitdiff \| tree
2011-09-08	Wilmer Ricciotti	Matitaweb: changes in file selection dialog box.	commit \| commitdiff \| tree
2011-09-08	Wilmer Ricciotti	Matitaweb: changes to file selection dialog box.	commit \| commitdiff \| tree
2011-09-08	Wilmer Ricciotti	Matitaweb: Some changes in file selection dialogbox.	commit \| commitdiff \| tree
2011-09-07	Wilmer Ricciotti	Changed redirect behaviour of the daemon (incompatibility...	commit \| commitdiff \| tree
2011-09-06	Wilmer Ricciotti	When the user db is not found, matitaweb now creates...	commit \| commitdiff \| tree
2011-09-06	Wilmer Ricciotti	First attempt at svn commit of developments.	commit \| commitdiff \| tree
2011-09-05	Wilmer Ricciotti	commit by user utente	commit \| commitdiff \| tree
2011-09-05	Wilmer Ricciotti	commit by user utente	commit \| commitdiff \| tree
2011-07-20	Wilmer Ricciotti	Matitaweb: fixed a bug concerning matita/html/xml escaping...	commit \| commitdiff \| tree
2011-07-20	Wilmer Ricciotti	1) Matitaweb now disambiguates scripts as it runs them	commit \| commitdiff \| tree
2011-07-14	Wilmer Ricciotti	Changes to TeX-macro conversion.	commit \| commitdiff \| tree
2011-07-14	Wilmer Ricciotti	Matitaweb: Bugfix for TeX-macro conversion.	commit \| commitdiff \| tree
2011-07-14	Wilmer Ricciotti	Matitaweb: changes to utf8MacroTable.js	commit \| commitdiff \| tree
2011-07-14	Wilmer Ricciotti	Matitaweb: changes to utf8MacroTable.js.	commit \| commitdiff \| tree
2011-07-14	Wilmer Ricciotti	Matitaweb: TeX-like macro handling.	commit \| commitdiff \| tree
2011-07-14	Wilmer Ricciotti	Changes to utf8MacroTable.js.	commit \| commitdiff \| tree
2011-07-14	Wilmer Ricciotti	Added Utf8MacroTable for MatitaWeb.	commit \| commitdiff \| tree
2011-07-14	Wilmer Ricciotti	More keyboard handling tests	commit \| commitdiff \| tree
2011-07-13	Wilmer Ricciotti	more tests on keyboard handling.	commit \| commitdiff \| tree
2011-07-13	Wilmer Ricciotti	more tests on keyboard events.	commit \| commitdiff \| tree
2011-07-13	Wilmer Ricciotti	more tests on keyboard events.	commit \| commitdiff \| tree
2011-07-13	Wilmer Ricciotti	more keyboard events tests.	commit \| commitdiff \| tree
2011-07-13	Wilmer Ricciotti	more keyboard events tests.	commit \| commitdiff \| tree
2011-07-13	Wilmer Ricciotti	more keyboard events tests.	commit \| commitdiff \| tree
2011-07-13	Wilmer Ricciotti	more keyboard tests.	commit \| commitdiff \| tree
2011-07-13	Wilmer Ricciotti	more keyboard events tests	commit \| commitdiff \| tree
2011-07-13	Wilmer Ricciotti	more keyboard event tests	commit \| commitdiff \| tree
2011-07-13	Wilmer Ricciotti	more tests with keyboard events.	commit \| commitdiff \| tree
2011-07-13	Wilmer Ricciotti	minor bugfix	commit \| commitdiff \| tree
2011-07-13	Wilmer Ricciotti	Testing keyboard events handling.	commit \| commitdiff \| tree
2011-06-23	Wilmer Ricciotti	Added facility for resetting the library.	commit \| commitdiff \| tree
2011-06-23	Wilmer Ricciotti	...	commit \| commitdiff \| tree
2011-06-23	Wilmer Ricciotti	Added matitaweb administration panel.	commit \| commitdiff \| tree
2011-06-22	Wilmer Ricciotti	Removed filename input box from index.html (just browse...	commit \| commitdiff \| tree
2011-06-22	Wilmer Ricciotti	Fix to matitaweb library dialog box.	commit \| commitdiff \| tree
2011-06-22	Wilmer Ricciotti	Fixes to library dialog box in matitaweb.	commit \| commitdiff \| tree
2011-06-22	Wilmer Ricciotti	Opening scripts using the Library dialog (try 1).	commit \| commitdiff \| tree
2011-06-22	Wilmer Ricciotti	More changes to matitaweb.css.	commit \| commitdiff \| tree
2011-06-22	Wilmer Ricciotti	More changes to matitaweb.css.	commit \| commitdiff \| tree
2011-06-22	Wilmer Ricciotti	Changes to matitaweb.js (dialog box).	commit \| commitdiff \| tree
2011-06-22	Wilmer Ricciotti	Show library test 1.	commit \| commitdiff \| tree
2011-06-22	Wilmer Ricciotti	More changes to matitaweb.css.	commit \| commitdiff \| tree
2011-06-22	Wilmer Ricciotti	More changes to matitaweb.css.	commit \| commitdiff \| tree
2011-06-22	Wilmer Ricciotti	Fix in matitaweb.css.	commit \| commitdiff \| tree
2011-06-22	Wilmer Ricciotti	Fix in matitaweb:index.html.	commit \| commitdiff \| tree
2011-06-22	Wilmer Ricciotti	Changes to matitaweb.css (dialog boxes).	commit \| commitdiff \| tree
2011-06-22	Wilmer Ricciotti	Changes to matitaweb.css (dialog boxes).	commit \| commitdiff \| tree
2011-06-22	Wilmer Ricciotti	More changes to matitaweb dialog boxes.	commit \| commitdiff \| tree
2011-06-22	Wilmer Ricciotti	Second attempt at dialog boxes in index.html.	commit \| commitdiff \| tree
2011-06-22	Wilmer Ricciotti	Bugfix in index.html.	commit \| commitdiff \| tree
2011-06-22	Wilmer Ricciotti	First attempt at dialog boxes.	commit \| commitdiff \| tree
2011-06-22	Wilmer Ricciotti	More bugfixes for matitaweb's viewlib.	commit \| commitdiff \| tree
2011-06-22	Wilmer Ricciotti	Bugfix in matitaweb viewlib.	commit \| commitdiff \| tree
2011-06-22	Wilmer Ricciotti	Matitaweb viewlib, part II.	commit \| commitdiff \| tree
2011-06-22	Wilmer Ricciotti	Added viewlib to matitaweb.	commit \| commitdiff \| tree
2011-06-21	Wilmer Ricciotti	More bugfixes in matitaFilesystem.ml	commit \| commitdiff \| tree
2011-06-21	Wilmer Ricciotti	Bugfix in matitaFilesystem.ml	commit \| commitdiff \| tree
2011-06-21	Wilmer Ricciotti	Changed user library dir to users/	commit \| commitdiff \| tree
2011-06-21	Wilmer Ricciotti	Added generation of HTML representation of the library.	commit \| commitdiff \| tree
2011-06-16	Wilmer Ricciotti	Added module MatitaFilesystem, to be used for the management...	commit \| commitdiff \| tree
2011-06-16	Wilmer Ricciotti	Added location of the weblib repository to matita.conf...	commit \| commitdiff \| tree
2011-06-16	Wilmer Ricciotti	Added repository for the shared library to be used...	commit \| commitdiff \| tree
2011-06-15	Wilmer Ricciotti	(Almost) working multi-user matitaweb.	commit \| commitdiff \| tree
2011-06-15	Wilmer Ricciotti	Logout (partial work) (multi-user matita)	commit \| commitdiff \| tree
2011-06-15	Wilmer Ricciotti	Multi-user Matita (and Matitaweb): added user authentication...	commit \| commitdiff \| tree
2011-06-10	Wilmer Ricciotti	Multi-user matita: changed the status object to include...	commit \| commitdiff \| tree
2011-06-09	Wilmer Ricciotti	Fixes bugs in the Matitaweb UI.	commit \| commitdiff \| tree
2011-06-08	Wilmer Ricciotti	Fix for internet explorer (but still works badly).	commit \| commitdiff \| tree
2011-06-08	Wilmer Ricciotti	Cosmetic changes.	commit \| commitdiff \| tree
2011-06-08	Wilmer Ricciotti	Fixed a bug in the retract command of Matitaweb.	commit \| commitdiff \| tree
next

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

RSS Atom