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

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

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
2011-06-08	Wilmer Ricciotti	Logo for use in matitaweb.	commit \| commitdiff \| tree
2011-06-08	Wilmer Ricciotti	Removed dependency of Matitaweb from GTK libraries.	commit \| commitdiff \| tree
2011-06-07	Wilmer Ricciotti	Removed hardcoded include paths from matitadaemon.	commit \| commitdiff \| tree
2011-06-07	Wilmer Ricciotti	Some changes in the Makefile for matitaweb.	commit \| commitdiff \| tree
2011-06-07	Wilmer Ricciotti	Fixes record projections (see matita 1.0 branch)	commit \| commitdiff \| tree
2011-06-07	Wilmer Ricciotti	Matitaweb daemon ported from Ocaml Http to Ocamlnet...	commit \| commitdiff \| tree
2011-06-06	Wilmer Ricciotti	This update uses XML for client-server communication...	commit \| commitdiff \| tree
2011-06-03	Wilmer Ricciotti	Fixed a bug that prevented record projections from...	commit \| commitdiff \| tree
2011-06-01	Wilmer Ricciotti	Matita Web: moved the javascript in a separate file...	commit \| commitdiff \| tree
2011-05-31	Wilmer Ricciotti	Partial implementation of "go to cursor" action.	commit \| commitdiff \| tree
2011-05-30	Wilmer Ricciotti	Partially working table layout of matita web (only...	commit \| commitdiff \| tree
2011-05-26	Wilmer Ricciotti	Improved rendering of sequents in matitaweb, including...	commit \| commitdiff \| tree
2011-05-26	Wilmer Ricciotti	Preliminary version of matitaweb handling multiple...	commit \| commitdiff \| tree
2011-05-24	Wilmer Ricciotti	Fixed box pretty printing.	commit \| commitdiff \| tree
2011-05-24	Wilmer Ricciotti	matitaweb: added retract (undo)	commit \| commitdiff \| tree
2011-05-23	Wilmer Ricciotti	Added support for hyperlinks in the goal view of the...	commit \| commitdiff \| tree
2011-05-23	Wilmer Ricciotti	...	commit \| commitdiff \| tree
2011-05-20	Wilmer Ricciotti	Compilation fix	commit \| commitdiff \| tree
2011-05-20	Wilmer Ricciotti	Compilation fix	commit \| commitdiff \| tree
2011-05-19	Wilmer Ricciotti	Added matitadaemon.	commit \| commitdiff \| tree
2011-05-13	Wilmer Ricciotti	interim version (added smallLexer)	commit \| commitdiff \| tree
2011-05-12	Wilmer Ricciotti	Record projections:	commit \| commitdiff \| tree
2011-05-12	Wilmer Ricciotti	Record projections:	commit \| commitdiff \| tree
2011-03-30	Wilmer Ricciotti	Keeping track of locations of disambiguated ids and...	commit \| commitdiff \| tree
2011-03-08	Wilmer Ricciotti	First commit with new (incomplete) disambiguation engine.	commit \| commitdiff \| tree
2011-02-21	Wilmer Ricciotti	fork for Matita version B	commit \| commitdiff \| tree
2011-02-09	Wilmer Ricciotti	enabling destruct defs	commit \| commitdiff \| tree
2011-01-21	Wilmer Ricciotti	Removed inclusion of logic/equality.ma in datatypes...	commit \| commitdiff \| tree
2011-01-20	Wilmer Ricciotti	Bugfix for elimination principles.	commit \| commitdiff \| tree
2011-01-20	Wilmer Ricciotti	Bug fix for generation of elimination principles.	commit \| commitdiff \| tree
2011-01-19	Wilmer Ricciotti	Added some typing info to elimination principles, allowing...	commit \| commitdiff \| tree
2011-01-19	Wilmer Ricciotti	Added some typing info to elimination principles, allowing...	commit \| commitdiff \| tree
2010-12-22	Wilmer Ricciotti	more theory for lists	commit \| commitdiff \| tree
2010-12-22	Wilmer Ricciotti	...	commit \| commitdiff \| tree
2010-07-28	Wilmer Ricciotti	Fixes unexpected behaviour of ncut when multiple goals...	commit \| commitdiff \| tree
2010-07-28	Wilmer Ricciotti	Experimental enhancements to the ndestruct tactic....	commit \| commitdiff \| tree
2010-06-10	Wilmer Ricciotti	Fix for inversion principles of types with a single...	commit \| commitdiff \| tree
2010-06-08	Wilmer Ricciotti	Fixed a bug in the undebruijnate function which caused...	commit \| commitdiff \| tree
2010-05-12	Wilmer Ricciotti	Library support files for John Major equality and Russell.	commit \| commitdiff \| tree
2010-05-12	Wilmer Ricciotti	Experimental support for Russell (coercions moving...	commit \| commitdiff \| tree
2010-05-06	Wilmer Ricciotti	Fixing naming scheme for composite coercions.	commit \| commitdiff \| tree
2010-05-04	Wilmer Ricciotti	* Fixed a couple of glitches in ndestruct	commit \| commitdiff \| tree
2010-03-31	Wilmer Ricciotti	Added test file for inversion in ng matita.	commit \| commitdiff \| tree
2010-03-25	Wilmer Ricciotti	Z.ma updated to reflect changes in the logical Not...	commit \| commitdiff \| tree
2010-03-02	Wilmer Ricciotti	Added reverse rewriting principle in Type[0].	commit \| commitdiff \| tree
2010-03-02	Wilmer Ricciotti	Some integrations to the ng library.	commit \| commitdiff \| tree
2010-03-02	Wilmer Ricciotti	Added syntax for ninversion tactic (still experimental).	commit \| commitdiff \| tree
2010-03-01	Wilmer Ricciotti	Fixed a bug in the unification, which prevented some...	commit \| commitdiff \| tree
2010-02-25	Wilmer Ricciotti	Minimal example in Z showing a problem in the nnormalize...	commit \| commitdiff \| tree
2010-02-03	Wilmer Ricciotti	Disabled debug prints in ndestruct tactic.	commit \| commitdiff \| tree
2010-02-02	Wilmer Ricciotti	New version using Streicher's K axiom. Should be faster...	commit \| commitdiff \| tree
2010-02-02	Wilmer Ricciotti	Added Streicher's K axiom.	commit \| commitdiff \| tree
2010-02-02	Wilmer Ricciotti	Fixed a bug with indexed inductive types which sometimes...	commit \| commitdiff \| tree
2010-01-12	Wilmer Ricciotti	Fixed a bug in the discrimination principle: the refiner...	commit \| commitdiff \| tree
2009-12-04	Wilmer Ricciotti	Bugfix in inversion (was using refl_eq instead of refl).	commit \| commitdiff \| tree
2009-11-27	Wilmer Ricciotti	ndestruct now clears off identity equations whenever...	commit \| commitdiff \| tree
2009-11-25	Wilmer Ricciotti	Fixed inversion, which was broken by the last changes...	commit \| commitdiff \| tree
2009-11-24	Wilmer Ricciotti	Bugfix in tipify: a metavariable was set to type without...	commit \| commitdiff \| tree
2009-11-24	Wilmer Ricciotti	In order to prevent useless meta extensions, we optimize...	commit \| commitdiff \| tree
2009-11-24	Wilmer Ricciotti	When unifying	commit \| commitdiff \| tree
2009-11-19	Wilmer Ricciotti	- Added a swap parameter to the unification procedure	commit \| commitdiff \| tree
2009-11-18	Wilmer Ricciotti	NCicRefiner.force_to_sort implemented on top of NCicUnificat...	commit \| commitdiff \| tree
2009-11-18	Wilmer Ricciotti	Code factorization for check_type.	commit \| commitdiff \| tree
2009-11-17	Wilmer Ricciotti	ndestruct tactic: mainly bugfixes; the algorithm isn...	commit \| commitdiff \| tree
2009-11-16	Wilmer Ricciotti	Implementation of ndestruct tactic (including destruction...	commit \| commitdiff \| tree
2009-10-20	Wilmer Ricciotti	...	commit \| commitdiff \| tree
2009-10-13	Wilmer Ricciotti	Experimental scripts for nth-order rewriting principles.	commit \| commitdiff \| tree
2009-10-06	Wilmer Ricciotti	Syntax highlighting for 'ninverter' keyword	commit \| commitdiff \| tree
2009-10-06	Wilmer Ricciotti	Inverters/Inversion:	commit \| commitdiff \| tree
2009-10-02	Wilmer Ricciotti	Updated command ninverter. Syntax:	commit \| commitdiff \| tree
next

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

RSS Atom