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

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

2012-07-06	Wilmer Ricciotti	Added NotationPt.name_of_obj.	commit \| commitdiff \| tree
2012-07-06	Wilmer Ricciotti	Cosmetic changes.	commit \| commitdiff \| tree
2012-07-06	Wilmer Ricciotti	Bug fixing + cosmetic changes	commit \| commitdiff \| tree
2012-07-06	Wilmer Ricciotti	manual commit after active hyperlinks	commit \| commitdiff \| tree
2012-07-06	Wilmer Ricciotti	manual	commit \| commitdiff \| tree
2012-07-06	Wilmer Ricciotti	commit by user utente	commit \| commitdiff \| tree
2012-07-03	Wilmer Ricciotti	Matitaweb: several improvements in the UI.	commit \| commitdiff \| tree
2012-07-03	Wilmer Ricciotti	Matitaweb: opening a file resets the status.	commit \| commitdiff \| tree
2012-06-21	Wilmer Ricciotti	Hyperlink support.	commit \| commitdiff \| tree
2012-06-06	Wilmer Ricciotti	More conjectures proved.	commit \| commitdiff \| tree
2012-06-01	Wilmer Ricciotti	Finalized copy sub-machine of the universal turing...	commit \| commitdiff \| tree
2012-05-31	Wilmer Ricciotti	Progress.	commit \| commitdiff \| tree
2012-05-30	Wilmer Ricciotti	Progress.	commit \| commitdiff \| tree
2012-05-30	Wilmer Ricciotti	Progress.	commit \| commitdiff \| tree
2012-05-30	Wilmer Ricciotti	Progress.	commit \| commitdiff \| tree
2012-05-28	Wilmer Ricciotti	Progress.	commit \| commitdiff \| tree
2012-05-25	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree
2012-05-24	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree
2012-05-24	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree
2012-05-23	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree
2012-05-23	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree
2012-05-22	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree
2012-05-22	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree
2012-05-22	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree
2012-05-21	Wilmer Ricciotti	Progress.	commit \| commitdiff \| tree
2012-05-21	Wilmer Ricciotti	Added move_tape.ma	commit \| commitdiff \| tree
2012-05-21	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree
2012-05-18	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree
2012-05-18	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree
2012-05-18	Wilmer Ricciotti	Progress in semantics of the copy machine.	commit \| commitdiff \| tree
2012-05-17	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree
2012-05-17	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree
2012-05-17	Wilmer Ricciotti	Added step machine for universal machine.	commit \| commitdiff \| tree
2012-05-17	Wilmer Ricciotti	move tape right	commit \| commitdiff \| tree
2012-05-17	Wilmer Ricciotti	Added null character.	commit \| commitdiff \| tree
2012-05-15	Wilmer Ricciotti	Progress	commit \| commitdiff \| tree
2012-05-15	Wilmer Ricciotti	Added universal machine (mockup)	commit \| commitdiff \| tree
2012-05-14	Wilmer Ricciotti	Added copy machine (mockup)	commit \| commitdiff \| tree
2012-05-11	Wilmer Ricciotti	Definition of the structure of the transition table...	commit \| commitdiff \| tree
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
next

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

RSS Atom