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

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

2012-05-11	Wilmer Ricciotti	Finished wsem_compare proof.	commit \| commitdiff \| tree
2012-05-10	Wilmer Ricciotti	Progress.	commit \| commitdiff \| tree
2012-05-10	Wilmer Ricciotti	Progress.	commit \| commitdiff \| tree
2012-05-09	Wilmer Ricciotti	Progress.	commit \| commitdiff \| tree
2012-05-09	Wilmer Ricciotti	Progress in compare.ma (some machines have been moved...	commit \| commitdiff \| tree
2012-05-08	Wilmer Ricciotti	progress in turing/universal/compare.ma	commit \| commitdiff \| tree
2012-05-08	Wilmer Ricciotti	Added compare auxiliary machine for universal turing...	commit \| commitdiff \| tree
2012-05-07	Wilmer Ricciotti	progress	commit \| commitdiff \| tree
2012-05-04	Wilmer Ricciotti	Forgotten in previous commit: move_char machines.	commit \| commitdiff \| tree
2012-05-04	Wilmer Ricciotti	Added a turing/universal directory for the universal...	commit \| commitdiff \| tree
2012-05-04	Wilmer Ricciotti	progress	commit \| commitdiff \| tree
2012-05-03	Wilmer Ricciotti	progress in while test machine	commit \| commitdiff \| tree
2012-05-02	Wilmer Ricciotti	While semantics.	commit \| commitdiff \| tree
2012-05-02	Wilmer Ricciotti	Added weak realizability.	commit \| commitdiff \| tree
2012-04-30	Wilmer Ricciotti	More proofs in if-then-else machine.	commit \| commitdiff \| tree
2012-04-30	Wilmer Ricciotti	Monotape turing machines update.	commit \| commitdiff \| tree
2012-04-27	Wilmer Ricciotti	more loop proofs	commit \| commitdiff \| tree
2012-04-27	Wilmer Ricciotti	loop functions	commit \| commitdiff \| tree
2012-04-24	Wilmer Ricciotti	Update to universal turing machine (preliminaries).	commit \| commitdiff \| tree
2012-04-24	Wilmer Ricciotti	More turing machines (still not compiling)	commit \| commitdiff \| tree
2012-04-24	Wilmer Ricciotti	Started converting informal definition of the machines...	commit \| commitdiff \| tree
2012-04-23	Wilmer Ricciotti	Added universal turing machines (only comments for...	commit \| commitdiff \| tree
2012-04-03	Wilmer Ricciotti	More changes to the website (matitaweb).	commit \| commitdiff \| tree
2012-04-03	Wilmer Ricciotti	Various updates to the (obsolete) website.	commit \| commitdiff \| tree
2012-03-27	Wilmer Ricciotti	Matitaweb:	commit \| commitdiff \| tree
2012-03-23	Wilmer Ricciotti	Matitaweb: Fixes a bug in the extensible parser which...	commit \| commitdiff \| tree
2012-03-23	Wilmer Ricciotti	Matitaweb: Fixes a bug which prevented Mozilla from...	commit \| commitdiff \| tree
2012-02-23	Wilmer Ricciotti	refiner porting from matita 1.	commit \| commitdiff \| tree
2012-01-27	Wilmer Ricciotti	Fixes a bug in is_flexible (when checking a meta in...	commit \| commitdiff \| tree
2012-01-23	Wilmer Ricciotti	Inversion principles generation falls back to cases...	commit \| commitdiff \| tree
2012-01-12	Wilmer Ricciotti	Improves the presentation of hypotheses in the goal...	commit \| commitdiff \| tree
2012-01-11	Wilmer Ricciotti	Fixes r11788 (partial, thus broken commit).	commit \| commitdiff \| tree
2012-01-10	Wilmer Ricciotti	Bugfix: NCicUnification.could_reduce now performs whd...	commit \| commitdiff \| tree
2011-12-14	Wilmer Ricciotti	Matitaweb: large commit porting to the new Matita 0...	commit \| commitdiff \| tree
2011-12-13	Wilmer Ricciotti	Matitaweb: clicking buttons disables the GUI to prevent...	commit \| commitdiff \| tree
2011-12-12	Wilmer Ricciotti	Matitaweb: changes to matitadaemon.ml to make it work...	commit \| commitdiff \| tree
2011-12-12	Wilmer Ricciotti	Matitaweb: added utility for conversion of user dbs...	commit \| commitdiff \| tree
2011-12-12	Wilmer Ricciotti	Matitaweb: secure SHA-256 encryption for passwords.	commit \| commitdiff \| tree
2011-12-06	Wilmer Ricciotti	Grammar change: let corecs can take no arguments (and...	commit \| commitdiff \| tree
2011-12-06	Wilmer Ricciotti	Fixes a bug that overwrited the index of the recursive...	commit \| commitdiff \| tree
2011-12-06	Wilmer Ricciotti	Matitaweb:	commit \| commitdiff \| tree
2011-11-18	Wilmer Ricciotti	Solves a bug that caused the auto statistics to refer...	commit \| commitdiff \| tree
2011-11-18	Wilmer Ricciotti	Added help for discriminator and inverter.	commit \| commitdiff \| tree
2011-11-15	Wilmer Ricciotti	Matitaweb: goto bottom can now be undone step by step...	commit \| commitdiff \| tree
2011-11-14	Wilmer Ricciotti	Bug fix in inversion:	commit \| commitdiff \| tree
2011-11-14	Wilmer Ricciotti	Added dependent inversion (default case for jmeq)	commit \| commitdiff \| tree
2011-11-09	Wilmer Ricciotti	Matitaweb:	commit \| commitdiff \| tree
2011-11-02	Wilmer Ricciotti	Matitaweb: Added jquery.js (also used in some of the...	commit \| commitdiff \| tree
2011-11-02	Wilmer Ricciotti	Matitaweb:	commit \| commitdiff \| tree
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
next

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

RSS Atom