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

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

2011-10-14	matitaweb	Made a copy of basics/list.ma as a base for chapter 3.	commit \| commitdiff \| tree
2011-10-14	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-13	matitaweb	commit by user enrico	commit \| commitdiff \| tree
2011-10-13	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-13	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-13	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-13	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-12	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-12	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-12	matitaweb	commit by user lroversi	commit \| commitdiff \| tree
2011-10-12	matitaweb	Administrative commit restoring the repository to the...	commit \| commitdiff \| tree
2011-10-12	matitaweb	commit by user ricciott	commit \| commitdiff \| tree
2011-10-12	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-12	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-12	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-11	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-11	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-11	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-11	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-11	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-11	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-11	matitaweb	Chapter 2	commit \| commitdiff \| tree
2011-10-11	matitaweb	commit by user utente1	commit \| commitdiff \| tree
2011-10-11	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-11	Claudio Sacerdoti...	WARNING: major experimental change.	commit \| commitdiff \| tree
2011-10-11	Claudio Sacerdoti...	New version (by Wilmer). The main difference w.r.t...	commit \| commitdiff \| tree
2011-10-10	Claudio Sacerdoti...	1. nInversion/nDestruct ported to work with jmeq properly	commit \| commitdiff \| tree
2011-10-10	Claudio Sacerdoti...	Debugging code commented out.	commit \| commitdiff \| tree
2011-10-07	matitaweb	Matitaweb: fixed bugs in commit.	commit \| commitdiff \| tree
2011-10-07	matitaweb	commit by user utente3	commit \| commitdiff \| tree
2011-10-07	matitaweb	commit by user utente2	commit \| commitdiff \| tree
2011-10-05	matitaweb	Matitaweb: several improvements to svn interface.	commit \| commitdiff \| tree
2011-10-03	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-03	matitaweb	new version	commit \| commitdiff \| tree
2011-10-03	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-03	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-03	matitaweb	Matitaweb file flag test.	commit \| commitdiff \| tree
2011-10-03	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-10-03	matitaweb	commit by user andrea	commit \| commitdiff \| tree
2011-09-30	matitaweb	Matitaweb: test commit.	commit \| commitdiff \| tree
2011-09-30	matitaweb	Matitaweb: test commit.	commit \| commitdiff \| tree
2011-09-30	matitaweb	Matitaweb: test commit.	commit \| commitdiff \| tree
2011-09-30	matitaweb	Matitaweb: test commit.	commit \| commitdiff \| tree
2011-09-30	matitaweb	...	commit \| commitdiff \| tree
2011-09-30	matitaweb	Matitaweb:	commit \| commitdiff \| tree
2011-09-29	matitaweb	Tutorial update.	commit \| commitdiff \| tree
2011-09-29	matitaweb	Tutorial di Matita (lupo, capra, cavoli)	commit \| commitdiff \| tree
2011-09-26	Claudio Sacerdoti...	Not well understood patch: an assert false did occur...	commit \| commitdiff \| tree
2011-09-21	matitaweb	1) removed many debug prints	commit \| commitdiff \| tree
2011-09-16	matitaweb	File uploading	commit \| commitdiff \| tree
2011-09-16	matitaweb	mah...	commit \| commitdiff \| tree
2011-09-16	matitaweb	The tutorial on line.	commit \| commitdiff \| tree
2011-09-16	matitaweb	The tutorial on line	commit \| commitdiff \| tree
2011-09-12	matitaweb	commit by user utente1	commit \| commitdiff \| tree
2011-09-08	matitaweb	Matitaweb: fixed "new file".	commit \| commitdiff \| tree
2011-09-08	matitaweb	Matitaweb: Save as...	commit \| commitdiff \| tree
2011-09-08	matitaweb	Matitaweb: makefile reverted to old (working) version.	commit \| commitdiff \| tree
2011-09-08	matitaweb	Matitaweb: more changes to file selection dialog box.	commit \| commitdiff \| tree
2011-09-08	matitaweb	Matitaweb: changes to file selection dialog box.	commit \| commitdiff \| tree
2011-09-08	matitaweb	Matitaweb: Changes to the file selection dialog box.	commit \| commitdiff \| tree
2011-09-07	matitaweb	...	commit \| commitdiff \| tree
2011-09-07	matitaweb	Changed behavior in matitaweb.js, function retrieveFile...	commit \| commitdiff \| tree
2011-09-07	matitaweb	logic.ma is now enriched using the correct syntax.	commit \| commitdiff \| tree
2011-09-06	matitaweb	Removed ghost copy of a MatitaScriptLexer (moved from	commit \| commitdiff \| tree
2011-07-15	Claudio Sacerdoti...	The name of the constructor for jmeq changed.	commit \| commitdiff \| tree
2011-07-15	Claudio Sacerdoti...	Bug fixed: when we try to add an object and it is not...	commit \| commitdiff \| tree
2011-07-15	Claudio Sacerdoti...	Use replace when switching tabs (see previous commit).	commit \| commitdiff \| tree
2011-07-15	Claudio Sacerdoti...	New function replace to be used in place of time_travel...	commit \| commitdiff \| tree
2011-07-15	Claudio Sacerdoti...	Dead code removed from the interface. It is used internally...	commit \| commitdiff \| tree
2011-06-22	Claudio Sacerdoti...	Possible assert false case implemented	commit \| commitdiff \| tree
2011-06-22	Claudio Sacerdoti...	Escaping exceptions are now captured.	commit \| commitdiff \| tree
2011-06-17	Claudio Sacerdoti...	Unprotected List.fold_left2.	commit \| commitdiff \| tree
2011-06-17	Claudio Sacerdoti...	Remove the daemon :-)	commit \| commitdiff \| tree
2011-06-07	Claudio Sacerdoti...	This can happen: when you use nodelta.	commit \| commitdiff \| tree
2011-06-06	Claudio Sacerdoti...	Minor changes because of the new, weaker (but much...	commit \| commitdiff \| tree
2011-06-06	Claudio Sacerdoti...	Bug fixed: trailing ' in names were not removed when...	commit \| commitdiff \| tree
2011-06-06	Claudio Sacerdoti...	Major speed-up:	commit \| commitdiff \| tree
2011-06-03	Claudio Sacerdoti...	The pretty printer should never fail, even on fake...	commit \| commitdiff \| tree
2011-06-03	Claudio Sacerdoti...	Pretty printing of exceptions escaped from pretty printing...	commit \| commitdiff \| tree
2011-06-03	Claudio Sacerdoti...	Avoid killing the main gui thread.	commit \| commitdiff \| tree
2011-06-01	Claudio Sacerdoti...	Delift used to produce not well typed substitutions...	commit \| commitdiff \| tree
2011-06-01	Claudio Sacerdoti...	Comment is now up-to-date.	commit \| commitdiff \| tree
2011-06-01	Claudio Sacerdoti...	Print backtrace of exceptions when OCAMLRUNPARAM=b...	commit \| commitdiff \| tree
2011-06-01	Claudio Sacerdoti...	assert false removed	commit \| commitdiff \| tree
2011-05-30	Claudio Sacerdoti...	Better indentation.	commit \| commitdiff \| tree
2011-05-30	Claudio Sacerdoti...	Debugging code to understand cases where the output...	commit \| commitdiff \| tree
2011-05-27	Claudio Sacerdoti...	Name generator for Russell greatly improved.	commit \| commitdiff \| tree
2011-05-26	Claudio Sacerdoti...	Serious bug fixed:	commit \| commitdiff \| tree
2011-05-26	Claudio Sacerdoti...	Syntax for coercion nocomposites fixed.	commit \| commitdiff \| tree
2011-05-26	Claudio Sacerdoti...	Added "nocomposites" to coercions.	commit \| commitdiff \| tree
2011-05-24	Claudio Sacerdoti...	Quick patch to avoid name collisions when passing coercions...	commit \| commitdiff \| tree
2011-05-24	Claudio Sacerdoti...	Coercions are now propagated under let...ins.	commit \| commitdiff \| tree
2011-05-23	Claudio Sacerdoti...	1) interpretation of matches in patterns implemented	commit \| commitdiff \| tree
2011-04-13	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2011-04-01	Claudio Sacerdoti...	Patch to avoid equations of the form ? -> T (oriented...	commit \| commitdiff \| tree
2011-03-27	Claudio Sacerdoti...	Fixes previous wrong commit.	commit \| commitdiff \| tree
2011-03-27	Claudio Sacerdoti...	1) Second half of the bug fixing for the "lexical keywords...	commit \| commitdiff \| tree
2011-03-27	Claudio Sacerdoti...	Bug fixed: some Uri was not refreshed. The effect of...	commit \| commitdiff \| tree
2011-03-27	Claudio Sacerdoti...	Debugging code commented out.	commit \| commitdiff \| tree
2011-03-23	Claudio Sacerdoti...	More verbose in case of errors.	commit \| commitdiff \| tree
next

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

RSS Atom