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

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

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
2005-09-15	Claudio Sacerdoti...	"bool.ma" is now always included before "logic.ma"...	commit \| commitdiff \| tree \| snapshot
2005-09-15	Claudio Sacerdoti...	Yet another implementation of the single aliases /...	commit \| commitdiff \| tree \| snapshot
2005-09-15	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-15	Stefano Zacchiroli	improved discriminate test: check if it works on induct...	commit \| commitdiff \| tree \| snapshot
2005-09-15	Stefano Zacchiroli	bugfix in discriminate: now works also with inductive...	commit \| commitdiff \| tree \| snapshot
2005-09-15	Stefano Zacchiroli	added \neq notation	commit \| commitdiff \| tree \| snapshot
2005-09-15	Stefano Zacchiroli	bugfix: save "~" backup together with the non-~ version...	commit \| commitdiff \| tree \| snapshot
2005-09-15	Stefano Zacchiroli	added -debug flag which avoid catching top-level except...	commit \| commitdiff \| tree \| snapshot
2005-09-15	Stefano Zacchiroli	- changed command line interface of cicbrowser so that...	commit \| commitdiff \| tree \| snapshot
2005-09-15	Stefano Zacchiroli	uniformed ppmetasenv to other pp* methods: substs are...	commit \| commitdiff \| tree \| snapshot
2005-09-15	Stefano Zacchiroli	moved matita logo in the right place	commit \| commitdiff \| tree \| snapshot
2005-09-15	Stefano Zacchiroli	bugfix: default "false" used to set the _true_ uri ...	commit \| commitdiff \| tree \| snapshot
2005-09-14	Stefano Zacchiroli	fixed a finalization issue for connections closed twice	commit \| commitdiff \| tree \| snapshot
2005-09-14	Enrico Tassi	bugfixes:	commit \| commitdiff \| tree \| snapshot
2005-09-14	Stefano Zacchiroli	done some items	commit \| commitdiff \| tree \| snapshot
2005-09-14	Stefano Zacchiroli	added hyperlinks on case pattern heads and outtype	commit \| commitdiff \| tree \| snapshot
2005-09-14	Stefano Zacchiroli	enable selections and href handling on elements having...	commit \| commitdiff \| tree \| snapshot
2005-09-14	Andrea Asperti	Product, pair and projections.	commit \| commitdiff \| tree \| snapshot
2005-09-14	Andrea Asperti	factorization.ma	commit \| commitdiff \| tree \| snapshot
2005-09-14	Andrea Asperti	New version of the library. nth_prime, gcd, log.	commit \| commitdiff \| tree \| snapshot
2005-09-13	Claudio Sacerdoti...	Bug fixed: when several instances are tried during...	commit \| commitdiff \| tree \| snapshot
2005-09-13	Claudio Sacerdoti...	Enabling/disabling profiling is now controlled by a...	commit \| commitdiff \| tree \| snapshot
2005-09-13	Enrico Tassi	we have to pass back lastmeta and not newmeta (newmeta...	commit \| commitdiff \| tree \| snapshot
2005-09-13	Stefano Zacchiroli	valid baseuri in template	commit \| commitdiff \| tree \| snapshot
2005-09-13	Stefano Zacchiroli	no longer use absolute path for naming notebook labels	commit \| commitdiff \| tree \| snapshot
2005-09-13	Stefano Zacchiroli	fixed parsing of --x=x ("'uminus" is now right associative)	commit \| commitdiff \| tree \| snapshot
2005-09-13	Claudio Sacerdoti...	New policy for the disambiguation passes.	commit \| commitdiff \| tree \| snapshot
2005-09-13	Claudio Sacerdoti...	useless alias removed	commit \| commitdiff \| tree \| snapshot
2005-09-13	Stefano Zacchiroli	removed a comment/bug report about let..in rendering...	commit \| commitdiff \| tree \| snapshot
2005-09-13	Stefano Zacchiroli	fixed "let .. in" rendering, adding the break between...	commit \| commitdiff \| tree \| snapshot
2005-09-13	Stefano Zacchiroli	- changed moo representation in MatitaTypes.status...	commit \| commitdiff \| tree \| snapshot
2005-09-13	Stefano Zacchiroli	cosmetic changes	commit \| commitdiff \| tree \| snapshot
2005-09-13	Stefano Zacchiroli	fixed dummy_floc	commit \| commitdiff \| tree \| snapshot
2005-09-13	Stefano Zacchiroli	- fixed dummy_floc (now in DisambiguateTypes)	commit \| commitdiff \| tree \| snapshot
2005-09-13	Stefano Zacchiroli	added moo dumping debug item	commit \| commitdiff \| tree \| snapshot
2005-09-13	Stefano Zacchiroli	remove matitamake binaries on clean	commit \| commitdiff \| tree \| snapshot
2005-09-13	Stefano Zacchiroli	added "commands_of_environment"	commit \| commitdiff \| tree \| snapshot
2005-09-13	Stefano Zacchiroli	regenerated	commit \| commitdiff \| tree \| snapshot
2005-09-13	Stefano Zacchiroli	moved dummy_floc from Disambiguate to DisambiguateTypes...	commit \| commitdiff \| tree \| snapshot
2005-09-13	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-13	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-13	Claudio Sacerdoti...	Test fixed.	commit \| commitdiff \| tree \| snapshot
2005-09-13	Claudio Sacerdoti...	Two bugs fixed in the apply tactic:	commit \| commitdiff \| tree \| snapshot
2005-09-12	Claudio Sacerdoti...	cic_textual_parser2 ==> cic_disambiguation	commit \| commitdiff \| tree \| snapshot
2005-09-12	Claudio Sacerdoti...	cic_textual_parser2 ==> cic_disambiguation	commit \| commitdiff \| tree \| snapshot
2005-09-12	Claudio Sacerdoti...	core_notation.ma ==> core_notation.moo	commit \| commitdiff \| tree \| snapshot
2005-09-12	Stefano Zacchiroli	removed left-spacing of 2 em for '(' (useful only for...	commit \| commitdiff \| tree \| snapshot
2005-09-12	Stefano Zacchiroli	- de-ALB-ing	commit \| commitdiff \| tree \| snapshot
2005-09-12	Stefano Zacchiroli	cic_textual_parser2 -> cic_disambiguation	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom