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

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

2001-12-13	Claudio Sacerdoti...	The hash-table used in the implementation was of "type"	commit \| commitdiff \| tree
2001-12-13	Claudio Sacerdoti...	New architecture for the environment.	commit \| commitdiff \| tree
2001-12-12	Claudio Sacerdoti...	Fixing of guarded_by_constructors completed.	commit \| commitdiff \| tree
2001-12-11	Claudio Sacerdoti...	PARTIAL COMMIT:	commit \| commitdiff \| tree
2001-12-10	Claudio Sacerdoti...	Bug fixed: the strictly_positive condition was unnecessarily...	commit \| commitdiff \| tree
2001-12-07	Claudio Sacerdoti...	The typing rule for LetIn was simply wrong. Fixed.	commit \| commitdiff \| tree
2001-12-07	Claudio Sacerdoti...	Bug partially fixed: the branch of a case of type Prod...	commit \| commitdiff \| tree
2001-12-06	Claudio Sacerdoti...	Bug fixed: cooking w.r.t. a variable with a body must...	commit \| commitdiff \| tree
2001-12-06	Claudio Sacerdoti...	It now exits gracefully after an End-of-file.	commit \| commitdiff \| tree
2001-12-05	Claudio Sacerdoti...	http:/ ==> http://	commit \| commitdiff \| tree
2001-12-05	Claudio Sacerdoti...	Very stupid bug fixed: in is_small, I created an environment...	commit \| commitdiff \| tree
2001-12-05	Claudio Sacerdoti...	The definition of small inductive types has been relaxed...	commit \| commitdiff \| tree
2001-12-05	Claudio Sacerdoti...	Debugging code removed to achieve more tail-recursivity.	commit \| commitdiff \| tree
2001-12-05	Claudio Sacerdoti...	Just code clean-up.	commit \| commitdiff \| tree
2001-12-05	Claudio Sacerdoti...	Discharging of variables with a body was bugged. Fixed.	commit \| commitdiff \| tree
2001-12-04	Claudio Sacerdoti...	* Code improvement: there were two different functions...	commit \| commitdiff \| tree
2001-12-04	Claudio Sacerdoti...	does_not_occur now handles LetIn correctly (i.e. raising...	commit \| commitdiff \| tree
2001-12-04	Claudio Sacerdoti...	Error reporting improved.	commit \| commitdiff \| tree
2001-12-04	Claudio Sacerdoti...	is_small did not use the environment. Hence the List...	commit \| commitdiff \| tree
2001-12-04	Claudio Sacerdoti...	lift 0 was just a very heavy implementation of the...	commit \| commitdiff \| tree
2001-12-04	Claudio Sacerdoti...	decast must also perform LetIn reduction now.	commit \| commitdiff \| tree
2001-12-04	Claudio Sacerdoti...	ppterm added	commit \| commitdiff \| tree
2001-12-03	Claudio Sacerdoti...	Makefile improved: dependencies from libraries are...	commit \| commitdiff \| tree
2001-12-03	Claudio Sacerdoti...	Dependencies from libraries now checked.	commit \| commitdiff \| tree
2001-12-03	Claudio Sacerdoti...	* Major code cleanup.	commit \| commitdiff \| tree
2001-12-03	Claudio Sacerdoti...	Makefile improved.	commit \| commitdiff \| tree
2001-12-03	Claudio Sacerdoti...	Main code clean-up.	commit \| commitdiff \| tree
2001-11-30	Claudio Sacerdoti...	cicAnnotationHinter.ml* were in the library without...	commit \| commitdiff \| tree
2001-11-30	Claudio Sacerdoti...	cicAnnotationHinter.ml* have no reason to be in the...	commit \| commitdiff \| tree
2001-11-30	Claudio Sacerdoti...	Exception management improved.	commit \| commitdiff \| tree
2001-11-30	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2001-11-30	Claudio Sacerdoti...	New implementation of the proof-checker daemon: there...	commit \| commitdiff \| tree
2001-11-29	Claudio Sacerdoti...	CicCooking.init() must now be used to initialize the...	commit \| commitdiff \| tree
2001-11-29	Claudio Sacerdoti...	A .cmo file inside a .cma is linked iff it is referenced...	commit \| commitdiff \| tree
2001-11-29	Claudio Sacerdoti...	LetIn reduction (alias zeta-reduction) is now performed...	commit \| commitdiff \| tree
2001-11-29	Claudio Sacerdoti...	LetIn was missing.	commit \| commitdiff \| tree
2001-11-29	Claudio Sacerdoti...	* .mli added where needed	commit \| commitdiff \| tree
2001-11-28	Claudio Sacerdoti...	configure.in now used (just to check that ocaml and...	commit \| commitdiff \| tree
2001-11-28	Claudio Sacerdoti...	META files are now automatically generated from META...	commit \| commitdiff \| tree
2001-11-27	Claudio Sacerdoti...	First version of fix_params into CVS.	commit \| commitdiff \| tree
2001-11-27	Claudio Sacerdoti...	First versione of the proofChecker into CVS.	commit \| commitdiff \| tree
2001-11-27	Claudio Sacerdoti...	param.annotations was yes or NO. It is now yer or no.	commit \| commitdiff \| tree
2001-11-27	Claudio Sacerdoti...	annotations: was yes or NO. It is now yes or no.	commit \| commitdiff \| tree
2001-11-27	Claudio Sacerdoti...	First release of cicAnnotationHelper in CVS.	commit \| commitdiff \| tree
2001-11-27	Claudio Sacerdoti...	.depend must be in the repository	commit \| commitdiff \| tree
2001-11-27	Claudio Sacerdoti...	New implementation using the new HELM OCaml libraries.	commit \| commitdiff \| tree
2001-11-27	Claudio Sacerdoti...	New implementation that uses the new HELM OCaml libraries.	commit \| commitdiff \| tree
2001-11-27	Claudio Sacerdoti...	1) .cma/.cmxa used to simplify META files.	commit \| commitdiff \| tree
2001-11-26	Claudio Sacerdoti...	.cvsignore and .depend forgot	commit \| commitdiff \| tree
2001-11-26	Claudio Sacerdoti...	HELM OCaml libraries with findlib support.	commit \| commitdiff \| tree
2001-11-26	Claudio Sacerdoti...	initial checkin	commit \| commitdiff \| tree
2001-11-23	Claudio Sacerdoti...	Content-type for MathML Content "fixed". Why was it...	commit \| commitdiff \| tree
2001-11-22	Claudio Sacerdoti...	out of sync w.r.t. configuration.ml	commit \| commitdiff \| tree
2001-11-21	Claudio Sacerdoti...	Underlining of hyperlinks removed.	commit \| commitdiff \| tree
2001-11-21	Claudio Sacerdoti...	mkMetaTheoryURL(): param.embedKeys() forgot.	commit \| commitdiff \| tree
2001-11-16	Claudio Sacerdoti...	BUG FIXED:	commit \| commitdiff \| tree
2001-11-16	Claudio Sacerdoti...	Checks for mlminidom and lablgtk added.	commit \| commitdiff \| tree
2001-11-16	Claudio Sacerdoti...	Some spourious files removed.	commit \| commitdiff \| tree
2001-11-16	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2001-11-16	Claudio Sacerdoti...	.cvsignore improved	commit \| commitdiff \| tree
2001-11-15	Claudio Sacerdoti...	Distribution improvements.	commit \| commitdiff \| tree
2001-11-15	Claudio Sacerdoti...	Now automatically generated from Makefile.in	commit \| commitdiff \| tree
2001-11-15	Claudio Sacerdoti...	No more used.	commit \| commitdiff \| tree
2001-11-15	Claudio Sacerdoti...	First commit towards the 0.2.8 version.	commit \| commitdiff \| tree
2001-11-14	Claudio Sacerdoti...	Bug fixed	commit \| commitdiff \| tree
2001-11-14	Claudio Sacerdoti...	Bug fixed: $< confused with $^	commit \| commitdiff \| tree
2001-11-14	Claudio Sacerdoti...	missing macro	commit \| commitdiff \| tree
2001-11-14	Claudio Sacerdoti...	HTTP_GETTER_URIS_DBM added	commit \| commitdiff \| tree
2001-11-14	Claudio Sacerdoti...	HTTP_GETTER_SERVERS_FILE introduced	commit \| commitdiff \| tree
2001-11-14	Claudio Sacerdoti...	Small improvement.	commit \| commitdiff \| tree
2001-11-14	Claudio Sacerdoti...	Simplification.	commit \| commitdiff \| tree
2001-11-13	Claudio Sacerdoti...	0.0.2 ==> 0.2.0 ;-)	commit \| commitdiff \| tree
2001-11-13	Claudio Sacerdoti...	- Check for ocamlfind added.	commit \| commitdiff \| tree
2001-11-13	Claudio Sacerdoti...	Unused variable removed.	commit \| commitdiff \| tree
2001-11-13	Claudio Sacerdoti...	mlminidom 0.0.2 for minidom 0.1.3	commit \| commitdiff \| tree
2001-11-12	Claudio Sacerdoti...	Bug fixed.	commit \| commitdiff \| tree
2001-11-12	Claudio Sacerdoti...	Required by the new getxslt method implementation.	commit \| commitdiff \| tree
2001-11-12	Claudio Sacerdoti...	Required by the new xslt_index.txt implementation.	commit \| commitdiff \| tree
2001-11-12	Claudio Sacerdoti...	Absolute URL to the Getter removed thanks to the new...	commit \| commitdiff \| tree
2001-11-12	Claudio Sacerdoti...	No more absolute URLs: the getxslt method of the Getter...	commit \| commitdiff \| tree
2001-11-12	Claudio Sacerdoti...	Version number updated.	commit \| commitdiff \| tree
2001-11-12	Claudio Sacerdoti...	Bug fixed. The bug used to lead to divergence in certain...	commit \| commitdiff \| tree
2001-11-12	Claudio Sacerdoti...	The stylesheet to create graphs are now applied to...	commit \| commitdiff \| tree
2001-11-12	Claudio Sacerdoti...	Never really used. Functionality eventually replaced...	commit \| commitdiff \| tree
2001-11-12	Claudio Sacerdoti...	Better error handling when port is not available.	commit \| commitdiff \| tree
2001-11-12	Claudio Sacerdoti...	Version 1.2.1beta => 1.2.1	commit \| commitdiff \| tree
2001-11-12	Claudio Sacerdoti...	- Stylesheet exceptions now printed in red.	commit \| commitdiff \| tree
2001-11-12	Claudio Sacerdoti...	Code cleanup: more code sharing achieved.	commit \| commitdiff \| tree
2001-11-12	Claudio Sacerdoti...	Bug fixed: xsl:import not first child of xsl:stylesheet.	commit \| commitdiff \| tree
2001-11-12	Claudio Sacerdoti...	Bug fixed: unbound variable.	commit \| commitdiff \| tree
2001-11-09	Claudio Sacerdoti...	Code improvement: more code shared.	commit \| commitdiff \| tree
2001-11-09	Claudio Sacerdoti...	Small bug fixed.	commit \| commitdiff \| tree
2001-11-09	Claudio Sacerdoti...	The body of the variables was not printed.	commit \| commitdiff \| tree
2001-11-09	Claudio Sacerdoti...	indent="yes" in xsl:output removed to impreve performance.	commit \| commitdiff \| tree
2001-11-09	Claudio Sacerdoti...	indent="yes" in xsl:output removed for performance...	commit \| commitdiff \| tree
2001-11-08	Claudio Sacerdoti...	The same patch I have applied in the previous commit...	commit \| commitdiff \| tree
2001-11-08	Claudio Sacerdoti...	The patch of Irene to allow MathML presentation inside...	commit \| commitdiff \| tree
2001-11-08	Claudio Sacerdoti...	Workaround replacement: instead of a litteral URL ...	commit \| commitdiff \| tree
2001-11-08	Claudio Sacerdoti...	Bug (that I introduced in my last commit to solve the...	commit \| commitdiff \| tree
2001-11-07	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
next

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

RSS Atom