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

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

2005-09-23	Claudio Sacerdoti...	More profiling code.	commit \| commitdiff \| tree \| snapshot
2005-09-23	Claudio Sacerdoti...	CicUtil.profile ==> HExtlib.profile	commit \| commitdiff \| tree \| snapshot
2005-09-23	Claudio Sacerdoti...	CicUtil.profile ==> HExtlib.profile	commit \| commitdiff \| tree \| snapshot
2005-09-23	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-23	Stefano Zacchiroli	bugfix: evaluation of object commands is now atomic...	commit \| commitdiff \| tree \| snapshot
2005-09-23	Stefano Zacchiroli	"verbose" argument of remove is now optional (default...	commit \| commitdiff \| tree \| snapshot
2005-09-23	Claudio Sacerdoti...	Less feedback during removal of objects.	commit \| commitdiff \| tree \| snapshot
2005-09-23	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-23	Claudio Sacerdoti...	Too many OPTIMIZE TABLES (because of a very stupid...	commit \| commitdiff \| tree \| snapshot
2005-09-23	Claudio Sacerdoti...	save_object_to_disk profiler fixed	commit \| commitdiff \| tree \| snapshot
2005-09-23	Claudio Sacerdoti...	Profiling code removed.	commit \| commitdiff \| tree \| snapshot
2005-09-23	Claudio Sacerdoti...	several "INSERT VALUE" ==> "INSERT VALUES" (more efficient)	commit \| commitdiff \| tree \| snapshot
2005-09-23	Claudio Sacerdoti...	Profiling code removed.	commit \| commitdiff \| tree \| snapshot
2005-09-23	Stefano Zacchiroli	avoid generating useless parens in mathml contextes...	commit \| commitdiff \| tree \| snapshot
2005-09-23	Stefano Zacchiroli	removed a line of dead code	commit \| commitdiff \| tree \| snapshot
2005-09-23	Claudio Sacerdoti...	Dead code removed again!!!	commit \| commitdiff \| tree \| snapshot
2005-09-23	Stefano Zacchiroli	avoid pattern matching on attributed terms since this...	commit \| commitdiff \| tree \| snapshot
2005-09-23	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-09-23	Enrico Tassi	universes are saved to disk	commit \| commitdiff \| tree \| snapshot
2005-09-23	Claudio Sacerdoti...	The disambiguation now returns the aliases diff. It...	commit \| commitdiff \| tree \| snapshot
2005-09-23	Enrico Tassi	added universes list handling	commit \| commitdiff \| tree \| snapshot
2005-09-23	Enrico Tassi	added universes	commit \| commitdiff \| tree \| snapshot
2005-09-23	Enrico Tassi	added parsing of Type:N	commit \| commitdiff \| tree \| snapshot
2005-09-23	Enrico Tassi	a wrong exception was raised	commit \| commitdiff \| tree \| snapshot
2005-09-23	Stefano Zacchiroli	bugfix for uminus notation, prints parens where needed	commit \| commitdiff \| tree \| snapshot
2005-09-23	Enrico Tassi	added support for universes uri ".univ"	commit \| commitdiff \| tree \| snapshot
2005-09-23	Claudio Sacerdoti...	The disambiguation now returns the aliases diff. It...	commit \| commitdiff \| tree \| snapshot
2005-09-23	Andrea Asperti	log.ma renamed into ord.ma	commit \| commitdiff \| tree \| snapshot
2005-09-23	Claudio Sacerdoti...	The new_aliases argument of the functions alias_diff...	commit \| commitdiff \| tree \| snapshot
2005-09-23	Andrea Asperti	A few changes to factorization and gcd.	commit \| commitdiff \| tree \| snapshot
2005-09-23	Claudio Sacerdoti...	Environment replaced by lists of domain and codomain...	commit \| commitdiff \| tree \| snapshot
2005-09-22	Claudio Sacerdoti...	More notation here and there.	commit \| commitdiff \| tree \| snapshot
2005-09-22	Claudio Sacerdoti...	More notation here and there: \sup, \divides, \ndivides, !	commit \| commitdiff \| tree \| snapshot
2005-09-22	Claudio Sacerdoti...	* Added divides and ndivides	commit \| commitdiff \| tree \| snapshot
2005-09-22	Claudio Sacerdoti...	'!' is no longer a decorator (to allow a reasonable...	commit \| commitdiff \| tree \| snapshot
2005-09-22	Claudio Sacerdoti...	More notation here and there.	commit \| commitdiff \| tree \| snapshot
2005-09-22	Claudio Sacerdoti...	Profiling messages grepped out.	commit \| commitdiff \| tree \| snapshot
2005-09-22	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-22	Claudio Sacerdoti...	Dead code removed	commit \| commitdiff \| tree \| snapshot
2005-09-21	Claudio Sacerdoti...	More profiling code.	commit \| commitdiff \| tree \| snapshot
2005-09-21	Claudio Sacerdoti...	This commit removes the slowest identity function ever...	commit \| commitdiff \| tree \| snapshot
2005-09-21	Claudio Sacerdoti...	We do not longer generate inner-types and inner-sorts...	commit \| commitdiff \| tree \| snapshot
2005-09-21	Claudio Sacerdoti...	We do not longer generate inner-types and inner-sorts...	commit \| commitdiff \| tree \| snapshot
2005-09-21	Stefano Zacchiroli	ported to the new parser interface (Ulexing.lexbuf...	commit \| commitdiff \| tree \| snapshot
2005-09-21	Stefano Zacchiroli	uses ligatures (as a sample)	commit \| commitdiff \| tree \| snapshot
2005-09-21	Stefano Zacchiroli	added ligatures support	commit \| commitdiff \| tree \| snapshot
2005-09-21	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree \| snapshot
2005-09-21	Enrico Tassi	clean_and_fill optimization	commit \| commitdiff \| tree \| snapshot
2005-09-21	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-21	Alberto Griggio	bugfix on proof construction	commit \| commitdiff \| tree \| snapshot
2005-09-21	Claudio Sacerdoti...	All the debug_print are now lazy.	commit \| commitdiff \| tree \| snapshot
2005-09-21	Claudio Sacerdoti...	More debug_print made lazy.	commit \| commitdiff \| tree \| snapshot
2005-09-21	Claudio Sacerdoti...	1. profiling code added	commit \| commitdiff \| tree \| snapshot
2005-09-20	Claudio Sacerdoti...	Profiling did not profile functions that raise an excep...	commit \| commitdiff \| tree \| snapshot
2005-09-20	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-20	Claudio Sacerdoti...	More profiling code added.	commit \| commitdiff \| tree \| snapshot
2005-09-20	Claudio Sacerdoti...	More profiling code inserted.	commit \| commitdiff \| tree \| snapshot
2005-09-20	Stefano Zacchiroli	added non-builtin notation for exists	commit \| commitdiff \| tree \| snapshot
2005-09-20	Stefano Zacchiroli	changed ast representation of exists	commit \| commitdiff \| tree \| snapshot
2005-09-20	Stefano Zacchiroli	pretty printing of literals is now subject to the debug...	commit \| commitdiff \| tree \| snapshot
2005-09-20	Stefano Zacchiroli	changed ast representation of exists, now an 'exists...	commit \| commitdiff \| tree \| snapshot
2005-09-20	Stefano Zacchiroli	bugfix in default magic handling: consider as having...	commit \| commitdiff \| tree \| snapshot
2005-09-20	Stefano Zacchiroli	- bugfix: eta abstractions ignores attributed node...	commit \| commitdiff \| tree \| snapshot
2005-09-20	Stefano Zacchiroli	more refere to bindings in env type definition	commit \| commitdiff \| tree \| snapshot
2005-09-20	Enrico Tassi	fixed matitadep: now it should consider ALL depndencies	commit \| commitdiff \| tree \| snapshot
2005-09-20	Enrico Tassi	added a minimal parser to extract informations relevant...	commit \| commitdiff \| tree \| snapshot
2005-09-20	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-20	Enrico Tassi	all initialization code is now in the new matitaInit...	commit \| commitdiff \| tree \| snapshot
2005-09-20	Enrico Tassi	matitadep now parses notation.	commit \| commitdiff \| tree \| snapshot
2005-09-20	Enrico Tassi	development windows now avoids doing an anction selecti...	commit \| commitdiff \| tree \| snapshot
2005-09-19	Claudio Sacerdoti...	* Obsolete debugging comments removed	commit \| commitdiff \| tree \| snapshot
2005-09-19	Claudio Sacerdoti...	Notation for "ex" introduced. It is the same as the...	commit \| commitdiff \| tree \| snapshot
2005-09-19	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-19	Claudio Sacerdoti...	More profiling code.	commit \| commitdiff \| tree \| snapshot
2005-09-19	Claudio Sacerdoti...	Great speed-up in alias_diff (about 3x).	commit \| commitdiff \| tree \| snapshot
2005-09-19	Claudio Sacerdoti...	A bit of profiling functions added here and there.	commit \| commitdiff \| tree \| snapshot
2005-09-19	Claudio Sacerdoti...	Spurious interpretation removed.	commit \| commitdiff \| tree \| snapshot
2005-09-19	Claudio Sacerdoti...	Profiling disabled.	commit \| commitdiff \| tree \| snapshot
2005-09-19	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-19	Claudio Sacerdoti...	This commit (partially) removes a big source of ineffic...	commit \| commitdiff \| tree \| snapshot
2005-09-19	Stefano Zacchiroli	added list.ma	commit \| commitdiff \| tree \| snapshot
2005-09-19	Stefano Zacchiroli	- avoid catching top level exceptions when the relevant...	commit \| commitdiff \| tree \| snapshot
2005-09-19	Stefano Zacchiroli	splitted command line arguments among debugging and...	commit \| commitdiff \| tree \| snapshot
2005-09-19	Stefano Zacchiroli	- added support for -debug, which avoid catching top...	commit \| commitdiff \| tree \| snapshot
2005-09-19	Stefano Zacchiroli	- bugfix: when backtracking restore the appropriate...	commit \| commitdiff \| tree \| snapshot
2005-09-19	Claudio Sacerdoti...	Removed final question marks from {apply\|elim\|rewrite}s.	commit \| commitdiff \| tree \| snapshot
2005-09-19	Claudio Sacerdoti...	Some code that used to avoid a fixed bug removed.	commit \| commitdiff \| tree \| snapshot
2005-09-19	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-19	Claudio Sacerdoti...	.ma inclusions corrected/minimized	commit \| commitdiff \| tree \| snapshot
2005-09-19	Claudio Sacerdoti...	Profiling code commented out.	commit \| commitdiff \| tree \| snapshot
2005-09-19	Claudio Sacerdoti...	CicUtil.profile made even more polymorphic.	commit \| commitdiff \| tree \| snapshot
2005-09-16	Enrico Tassi	added a function to reorder the metasenv.	commit \| commitdiff \| tree \| snapshot
2005-09-16	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-16	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-16	Stefano Zacchiroli	added notation for: nleq, ngeq, nless, and ngtr	commit \| commitdiff \| tree \| snapshot
2005-09-16	Stefano Zacchiroli	added notation for nleq, nlgt, ...	commit \| commitdiff \| tree \| snapshot
2005-09-16	Stefano Zacchiroli	added entites/overrides for leq, geq, nleq, ngeq, to	commit \| commitdiff \| tree \| snapshot
2005-09-16	Stefano Zacchiroli	re-generated	commit \| commitdiff \| tree \| snapshot
2005-09-16	Stefano Zacchiroli	uses Hashtbl.replace instead of Hashtbl.add so that:	commit \| commitdiff \| tree \| snapshot
2005-09-15	Claudio Sacerdoti...	Yet another implementation of the single aliases /...	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom