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

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

2008-07-18	Enrico Tassi	metavariable context has a separator now	commit \| commitdiff \| tree \| snapshot
2008-07-18	Enrico Tassi	exception inside regex callback not re-raised if equal...	commit \| commitdiff \| tree \| snapshot
2008-07-17	Claudio Sacerdoti...	Bugs fixed:	commit \| commitdiff \| tree \| snapshot
2008-07-17	Claudio Sacerdoti...	1 => \\e	commit \| commitdiff \| tree \| snapshot
2008-07-17	Claudio Sacerdoti...	Executables are now ignored.	commit \| commitdiff \| tree \| snapshot
2008-07-16	Ferruccio Guidi	Procedural: some comments added in the generated script	commit \| commitdiff \| tree \| snapshot
2008-07-16	Enrico Tassi	notations for lists adds some breaking points	commit \| commitdiff \| tree \| snapshot
2008-07-16	Claudio Sacerdoti...	Duplicated doc removed.	commit \| commitdiff \| tree \| snapshot
2008-07-16	Claudio Sacerdoti...	Snapshot (not working).	commit \| commitdiff \| tree \| snapshot
2008-07-16	Claudio Sacerdoti...	a) update with upstream version	commit \| commitdiff \| tree \| snapshot
2008-07-15	Ferruccio Guidi	cic2acic: new function acic_term_of_cic_term	commit \| commitdiff \| tree \| snapshot
2008-07-15	Enrico Tassi	more notation moved to core notation, unification of...	commit \| commitdiff \| tree \| snapshot
2008-07-15	Enrico Tassi	Since CProp_i = Type_i everything lowered without 2...	commit \| commitdiff \| tree \| snapshot
2008-07-15	Enrico Tassi	CProp_i <= Type_i , Type_i <= CProp_i	commit \| commitdiff \| tree \| snapshot
2008-07-15	Enrico Tassi	models over N fixed	commit \| commitdiff \| tree \| snapshot
2008-07-15	Enrico Tassi	new q_function representation	commit \| commitdiff \| tree \| snapshot
2008-07-15	Enrico Tassi	removed dummy comment	commit \| commitdiff \| tree \| snapshot
2008-07-15	Enrico Tassi	Using Prop conjuction on Props lowers the universes.	commit \| commitdiff \| tree \| snapshot
2008-07-14	Ferruccio Guidi	lambda-delta: we added the support for position indexes...	commit \| commitdiff \| tree \| snapshot
2008-07-14	Ferruccio Guidi	Procedural: we added the support for rendering definiti...	commit \| commitdiff \| tree \| snapshot
2008-07-13	Ferruccio Guidi	Procedural: we added the support for theorem flavours...	commit \| commitdiff \| tree \| snapshot
2008-07-13	Ferruccio Guidi	cicUtil : we added a context to is_sober...	commit \| commitdiff \| tree \| snapshot
2008-07-12	Ferruccio Guidi	Procedural: bug fix in the procedural rendering of...	commit \| commitdiff \| tree \| snapshot
2008-07-12	Ferruccio Guidi	librarian: retrieval of buildable files speeded up...	commit \| commitdiff \| tree \| snapshot
2008-07-12	Claudio Sacerdoti...	New feature/bug fixed (hopefully): it is now possible...	commit \| commitdiff \| tree \| snapshot
2008-07-12	Claudio Sacerdoti...	Notation for existential partially fixed: it is now...	commit \| commitdiff \| tree \| snapshot
2008-07-11	Claudio Sacerdoti...	A very nice experiment using notation: we define the...	commit \| commitdiff \| tree \| snapshot
2008-07-11	Claudio Sacerdoti...	Exists is no longer an ad-hoc notation hard-coded in...	commit \| commitdiff \| tree \| snapshot
2008-07-11	Claudio Sacerdoti...	Added new ternary layout \infrule premises conclusion...	commit \| commitdiff \| tree \| snapshot
2008-07-10	Enrico Tassi	value has a specification	commit \| commitdiff \| tree \| snapshot
2008-07-10	Enrico Tassi	updated changelog	commit \| commitdiff \| tree \| snapshot
2008-07-10	Enrico Tassi	more work on dama	commit \| commitdiff \| tree \| snapshot
2008-07-10	Enrico Tassi	fixed regression in casting an argument to funclass...	commit \| commitdiff \| tree \| snapshot
2008-07-09	Ferruccio Guidi	some bug fixes	commit \| commitdiff \| tree \| snapshot
2008-07-09	Enrico Tassi	better notation	commit \| commitdiff \| tree \| snapshot
2008-07-09	Enrico Tassi	minor fixes	commit \| commitdiff \| tree \| snapshot
2008-07-09	Enrico Tassi	CProp hierarchy fixed:	commit \| commitdiff \| tree \| snapshot
2008-07-09	Enrico Tassi	tab -> ' '	commit \| commitdiff \| tree \| snapshot
2008-07-09	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-07-07	Enrico Tassi	simplified coercDb implementation with additional info...	commit \| commitdiff \| tree \| snapshot
2008-07-04	Ferruccio Guidi	- we replaced a normalize with a whd in the classificat...	commit \| commitdiff \| tree \| snapshot
2008-07-04	Claudio Sacerdoti...	More definitions, following Ciraulo's Phd Thesis "Const...	commit \| commitdiff \| tree \| snapshot
2008-07-04	Ferruccio Guidi	- Procedural: bug fix in rendering the application...	commit \| commitdiff \| tree \| snapshot
2008-07-04	Claudio Sacerdoti...	Compatibility finished.	commit \| commitdiff \| tree \| snapshot
2008-07-04	Claudio Sacerdoti...	Nice: cotransitivity proved.	commit \| commitdiff \| tree \| snapshot
2008-07-03	Claudio Sacerdoti...	More work.	commit \| commitdiff \| tree \| snapshot
2008-07-03	Claudio Sacerdoti...	First few lemmas. But I have some problems in making...	commit \| commitdiff \| tree \| snapshot
2008-07-03	Claudio Sacerdoti...	First experiment in Padua about formal topologies.	commit \| commitdiff \| tree \| snapshot
2008-07-03	Enrico Tassi	...snapshot	commit \| commitdiff \| tree \| snapshot
2008-07-03	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-07-02	Enrico Tassi	some work	commit \| commitdiff \| tree \| snapshot
2008-07-02	Ferruccio Guidi	svn:ignore set on LambdaDelta-2	commit \| commitdiff \| tree \| snapshot
2008-07-02	Ferruccio Guidi	- new tactic applyP for use in the Procedural script...	commit \| commitdiff \| tree \| snapshot
2008-07-02	Wilmer Ricciotti	Fixed a bug which prevented mutually recursive definiti...	commit \| commitdiff \| tree \| snapshot
2008-07-02	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-07-02	Enrico Tassi	return 1 in case of failure	commit \| commitdiff \| tree \| snapshot
2008-07-02	Enrico Tassi	0.5.2	commit \| commitdiff \| tree \| snapshot
2008-07-02	Enrico Tassi	0.5.2	commit \| commitdiff \| tree \| snapshot
2008-07-02	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-07-02	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-07-02	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-07-02	Enrico Tassi	calculation of the sort user to choose the rewriting...	commit \| commitdiff \| tree \| snapshot
2008-07-01	Ferruccio Guidi	- lambda-delta: some speed up (not very much :) actually)	commit \| commitdiff \| tree \| snapshot
2008-07-01	Enrico Tassi	shifting done, merge attacked	commit \| commitdiff \| tree \| snapshot
2008-07-01	Enrico Tassi	shift almost done	commit \| commitdiff \| tree \| snapshot
2008-06-30	Enrico Tassi	new specification	commit \| commitdiff \| tree \| snapshot
2008-06-30	Ferruccio Guidi	we improved the data structures used in the translation...	commit \| commitdiff \| tree \| snapshot
2008-06-30	Enrico Tassi	some more work on q	commit \| commitdiff \| tree \| snapshot
2008-06-30	Ferruccio Guidi	we tranlate an Automath book in an itermediate format...	commit \| commitdiff \| tree \| snapshot
2008-06-28	Enrico Tassi	some more work to factorize out uninteresting parts...	commit \| commitdiff \| tree \| snapshot
2008-06-27	Enrico Tassi	more work to try to understand where the issue is	commit \| commitdiff \| tree \| snapshot
2008-06-27	Enrico Tassi	lost in the wood	commit \| commitdiff \| tree \| snapshot
2008-06-26	Enrico Tassi	more work	commit \| commitdiff \| tree \| snapshot
2008-06-26	Enrico Tassi	few more steps	commit \| commitdiff \| tree \| snapshot
2008-06-26	Enrico Tassi	more work	commit \| commitdiff \| tree \| snapshot
2008-06-26	Enrico Tassi	some more work	commit \| commitdiff \| tree \| snapshot
2008-06-26	Enrico Tassi	more work on q	commit \| commitdiff \| tree \| snapshot
2008-06-25	Enrico Tassi	some more work	commit \| commitdiff \| tree \| snapshot
2008-06-25	Enrico Tassi	better, reparsable, notation	commit \| commitdiff \| tree \| snapshot
2008-06-24	Enrico Tassi	removed <_,_> notation second interpretation for depend...	commit \| commitdiff \| tree \| snapshot
2008-06-24	Enrico Tassi	notation factored, coercion commant taking terms and...	commit \| commitdiff \| tree \| snapshot
2008-06-24	Enrico Tassi	missing file added	commit \| commitdiff \| tree \| snapshot
2008-06-23	Ferruccio Guidi	metaAut.xlate_item started	commit \| commitdiff \| tree \| snapshot
2008-06-23	Ferruccio Guidi	we set the http daemon timeout to 15 minutes, which...	commit \| commitdiff \| tree \| snapshot
2008-06-23	Enrico Tassi	more work, but russell too slow	commit \| commitdiff \| tree \| snapshot
2008-06-23	Enrico Tassi	add \\ in front of tex macros	commit \| commitdiff \| tree \| snapshot
2008-06-23	Enrico Tassi	notation support fixed to parentesize in a more sane...	commit \| commitdiff \| tree \| snapshot
2008-06-23	Ferruccio Guidi	stylesheet application moved after header send	commit \| commitdiff \| tree \| snapshot
2008-06-23	Enrico Tassi	xxx	commit \| commitdiff \| tree \| snapshot
2008-06-22	Ferruccio Guidi	- grafiteParser.ml: the callback invocation was displaced	commit \| commitdiff \| tree \| snapshot
2008-06-20	Enrico Tassi	left -> right	commit \| commitdiff \| tree \| snapshot
2008-06-20	Claudio Sacerdoti...	Fixed bugs in the documentation of notation.	commit \| commitdiff \| tree \| snapshot
2008-06-20	Claudio Sacerdoti...	More documentation for notation.	commit \| commitdiff \| tree \| snapshot
2008-06-20	Claudio Sacerdoti...	Further documentation for notation.	commit \| commitdiff \| tree \| snapshot
2008-06-20	Claudio Sacerdoti...	- partial implementation of pattern for case documented	commit \| commitdiff \| tree \| snapshot
2008-06-19	Enrico Tassi	fixed core notation	commit \| commitdiff \| tree \| snapshot
2008-06-19	Enrico Tassi	notation fixed to be NON associative by default	commit \| commitdiff \| tree \| snapshot
2008-06-19	Claudio Sacerdoti...	1. bug fixed in generalize_pattern: a lazy const_tac...	commit \| commitdiff \| tree \| snapshot
2008-06-19	Claudio Sacerdoti...	- notation fixed according to the new stricter semantics	commit \| commitdiff \| tree \| snapshot
2008-06-19	Ferruccio Guidi	- Procedural: we now check that an eliminator opens...	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom