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

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

2008-08-24	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-08-23	Ferruccio Guidi	Procedural: bug fix in comment generation	commit \| commitdiff \| tree \| snapshot
2008-08-23	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-08-23	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-08-23	Claudio Sacerdoti...	Definition of categories.	commit \| commitdiff \| tree \| snapshot
2008-08-23	Claudio Sacerdoti...	Some notation moved to core_notation.	commit \| commitdiff \| tree \| snapshot
2008-08-23	Claudio Sacerdoti...	Also create the graphviz graph.	commit \| commitdiff \| tree \| snapshot
2008-08-23	Claudio Sacerdoti...	New debug item to print aliases.	commit \| commitdiff \| tree \| snapshot
2008-08-23	Ferruccio Guidi	Procedural: explicit flavour specification for constant...	commit \| commitdiff \| tree \| snapshot
2008-08-23	Enrico Tassi	notation with mstyle attributes, like colors and size	commit \| commitdiff \| tree \| snapshot
2008-08-23	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-08-21	Enrico Tassi	pango escape fixed	commit \| commitdiff \| tree \| snapshot
2008-08-21	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-08-21	Claudio Sacerdoti...	Avoid warning.	commit \| commitdiff \| tree \| snapshot
2008-08-21	Claudio Sacerdoti...	Added catching of an exception to implement a missing...	commit \| commitdiff \| tree \| snapshot
2008-08-21	Ferruccio Guidi	svn:ignore property is now swr correctly`	commit \| commitdiff \| tree \| snapshot
2008-08-21	Ferruccio Guidi	basic support for imposed flavour in procedural object...	commit \| commitdiff \| tree \| snapshot
2008-08-17	Enrico Tassi	escape < in pango attrs	commit \| commitdiff \| tree \| snapshot
2008-08-16	Enrico Tassi	added support for font scaling to autogui	commit \| commitdiff \| tree \| snapshot
2008-08-16	Enrico Tassi	added interpretation for \naturals, \rationals, and...	commit \| commitdiff \| tree \| snapshot
2008-08-12	Wilmer Ricciotti	Fixed two legacy comments	commit \| commitdiff \| tree \| snapshot
2008-08-01	Enrico Tassi	fixed recursiveness check	commit \| commitdiff \| tree \| snapshot
2008-08-01	Enrico Tassi	fixed recursiveness check	commit \| commitdiff \| tree \| snapshot
2008-07-30	Enrico Tassi	fixed check, if 0 constructors then no List.nth is...	commit \| commitdiff \| tree \| snapshot
2008-07-30	Enrico Tassi	allowed sort elim now check for recursive types	commit \| commitdiff \| tree \| snapshot
2008-07-30	Enrico Tassi	fixed allowed sort elim	commit \| commitdiff \| tree \| snapshot
2008-07-30	Claudio Sacerdoti...	Missing check implemented: uniformity of left parameter...	commit \| commitdiff \| tree \| snapshot
2008-07-30	Claudio Sacerdoti...	Missing check in positivity implemented: we did not...	commit \| commitdiff \| tree \| snapshot
2008-07-25	Enrico Tassi	- too strict check on left parameters of constructors...	commit \| commitdiff \| tree \| snapshot
2008-07-25	Claudio Sacerdoti...	AST to ASTFE completed up to a few computational (...	commit \| commitdiff \| tree \| snapshot
2008-07-23	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-07-23	Enrico Tassi	0.5.3	commit \| commitdiff \| tree \| snapshot
2008-07-23	Enrico Tassi	0.5.3	commit \| commitdiff \| tree \| snapshot
2008-07-23	Enrico Tassi	some more fixes	commit \| commitdiff \| tree \| snapshot
2008-07-23	Enrico Tassi	fixed some GUI glitches	commit \| commitdiff \| tree \| snapshot
2008-07-23	Enrico Tassi	positivity check fixed	commit \| commitdiff \| tree \| snapshot
2008-07-23	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-07-23	Enrico Tassi	positivity check fixed, some subterms were erroneously...	commit \| commitdiff \| tree \| snapshot
2008-07-23	Enrico Tassi	universes in CicBrowser	commit \| commitdiff \| tree \| snapshot
2008-07-23	Enrico Tassi	better ranking interface	commit \| commitdiff \| tree \| snapshot
2008-07-23	Enrico Tassi	better tex/utf8 win	commit \| commitdiff \| tree \| snapshot
2008-07-23	Enrico Tassi	better cb	commit \| commitdiff \| tree \| snapshot
2008-07-23	Enrico Tassi	better UI for TeX/Unicode and terms grammar	commit \| commitdiff \| tree \| snapshot
2008-07-23	Claudio Sacerdoti...	Update.	commit \| commitdiff \| tree \| snapshot
2008-07-23	Enrico Tassi	remove bad aliases from toolbox	commit \| commitdiff \| tree \| snapshot
2008-07-23	Claudio Sacerdoti...	Universe levels fixed.	commit \| commitdiff \| tree \| snapshot
2008-07-22	Ferruccio Guidi	matitadep: we now handle the inline of an uri, we remov...	commit \| commitdiff \| tree \| snapshot
2008-07-22	Ferruccio Guidi	transcript: now we can generate procedural output	commit \| commitdiff \| tree \| snapshot
2008-07-22	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-07-22	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-07-22	Claudio Sacerdoti...	In some universe, membership is a morphism.	commit \| commitdiff \| tree \| snapshot
2008-07-22	Claudio Sacerdoti...	Sambin's & Valentini's toolbox (???)	commit \| commitdiff \| tree \| snapshot
2008-07-22	Claudio Sacerdoti...	Dependencies removed.	commit \| commitdiff \| tree \| snapshot
2008-07-21	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-07-21	Claudio Sacerdoti...	frac is an infix operator!	commit \| commitdiff \| tree \| snapshot
2008-07-21	Claudio Sacerdoti...	Error message improved.	commit \| commitdiff \| tree \| snapshot
2008-07-21	Claudio Sacerdoti...	Rendering of \infrule improved.	commit \| commitdiff \| tree \| snapshot
2008-07-21	Ferruccio Guidi	we implemented the support for generating ma files...	commit \| commitdiff \| tree \| snapshot
2008-07-21	Enrico Tassi	added notes about notation	commit \| commitdiff \| tree \| snapshot
2008-07-21	Enrico Tassi	add conf key matita.debug_menu	commit \| commitdiff \| tree \| snapshot
2008-07-21	Enrico Tassi	avoid empty hvbox	commit \| commitdiff \| tree \| snapshot
2008-07-21	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2008-07-21	Claudio Sacerdoti...	Semantic analysis implemented (sort of).	commit \| commitdiff \| tree \| snapshot
2008-07-18	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2008-07-18	Claudio Sacerdoti...	New input notation for bottom-up tree construction...	commit \| commitdiff \| tree \| snapshot
2008-07-18	Claudio Sacerdoti...	Snapshot.	commit \| commitdiff \| tree \| snapshot
2008-07-18	Claudio Sacerdoti...	Input notation.	commit \| commitdiff \| tree \| snapshot
2008-07-18	Enrico Tassi	better metavariable context	commit \| commitdiff \| tree \| snapshot
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
next

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

RSS Atom