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

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

2002-11-22	Stefano Zacchiroli	- added targets relative to ocamldoc doc generation	commit \| commitdiff \| tree \| snapshot
2002-11-22	Stefano Zacchiroli	- bumped version to 0.0.5	commit \| commitdiff \| tree \| snapshot
2002-11-22	Stefano Zacchiroli	- removed old entries from TODO	commit \| commitdiff \| tree \| snapshot
2002-11-22	Stefano Zacchiroli	- added support for multithreaded daemons	commit \| commitdiff \| tree \| snapshot
2002-11-21	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2002-11-21	Claudio Sacerdoti...	First version of the stuff to create the DB.	commit \| commitdiff \| tree \| snapshot
2002-11-21	Claudio Sacerdoti...	The notational stylesheets from CIC to MathML Content...	commit \| commitdiff \| tree \| snapshot
2002-11-21	Claudio Sacerdoti...	First version of Di Lena's stylesheet generator (for...	commit \| commitdiff \| tree \| snapshot
2002-11-21	Claudio Sacerdoti...	typo fixed	commit \| commitdiff \| tree \| snapshot
2002-11-21	Claudio Sacerdoti...	*.yy.c removed	commit \| commitdiff \| tree \| snapshot
2002-11-21	Claudio Sacerdoti...	.rdf ==> .xml	commit \| commitdiff \| tree \| snapshot
2002-11-21	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2002-11-21	Claudio Sacerdoti...	<h:Object> is now repeated every time a MainHypothesis...	commit \| commitdiff \| tree \| snapshot
2002-11-20	Claudio Sacerdoti...	Bug fixed: refSort were exported (as refObj) also when...	commit \| commitdiff \| tree \| snapshot
2002-11-20	Claudio Sacerdoti...	rdf:parseType="Resource" added to backPointer	commit \| commitdiff \| tree \| snapshot
2002-11-20	Claudio Sacerdoti...	* New metadata for refSort and refRel	commit \| commitdiff \| tree \| snapshot
2002-11-20	Stefano Zacchiroli	TODO list	commit \| commitdiff \| tree \| snapshot
2002-11-20	Stefano Zacchiroli	- changed invoked daemons for proof checker, draw graph...	commit \| commitdiff \| tree \| snapshot
2002-11-20	Stefano Zacchiroli	added env var DRAW_GRAPH_DIR	commit \| commitdiff \| tree \| snapshot
2002-11-20	Stefano Zacchiroli	- get working directory from env var DRAW_GRAPH_DIR	commit \| commitdiff \| tree \| snapshot
2002-11-20	Stefano Zacchiroli	- http debugging value copied from daemon debugging...	commit \| commitdiff \| tree \| snapshot
2002-11-20	Claudio Sacerdoti...	<h:depth> must precede <h:occurrence> (to make metadata...	commit \| commitdiff \| tree \| snapshot
2002-11-20	Stefano Zacchiroli	bumped version to 0.0.4	commit \| commitdiff \| tree \| snapshot
2002-11-20	Claudio Sacerdoti...	Debug code removed.	commit \| commitdiff \| tree \| snapshot
2002-11-20	Stefano Zacchiroli	- bugfix: perform GET parameter parsing on HTTP encoded...	commit \| commitdiff \| tree \| snapshot
2002-11-20	Ferruccio Guidi	mqint patched (compilation warning removed)	commit \| commitdiff \| tree \| snapshot
2002-11-20	Andrea Asperti	Minor bug fixes:	commit \| commitdiff \| tree \| snapshot
2002-11-20	Stefano Zacchiroli	- added a lot of debugging messages	commit \| commitdiff \| tree \| snapshot
2002-11-19	natile	Now Pattern module really exists in repository.	commit \| commitdiff \| tree \| snapshot
2002-11-19	natile	Pattern module added.	commit \| commitdiff \| tree \| snapshot
2002-11-19	Stefano Zacchiroli	added ocaml version of draw_graph and uri_set_queue	commit \| commitdiff \| tree \| snapshot
2002-11-19	Andrea Asperti	New metadata for sort and rel.	commit \| commitdiff \| tree \| snapshot
2002-11-18	natile	Relation: inverse switch added.	commit \| commitdiff \| tree \| snapshot
2002-11-18	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2002-11-18	Ferruccio Guidi	generator patched for new semantics with structurated...	commit \| commitdiff \| tree \| snapshot
2002-11-18	Ferruccio Guidi	structurated attribute names added	commit \| commitdiff \| tree \| snapshot
2002-11-17	Stefano Zacchiroli	bumped version to 0.0.3	commit \| commitdiff \| tree \| snapshot
2002-11-17	Stefano Zacchiroli	renamed tcp_server module in http_tcp_server to avoid...	commit \| commitdiff \| tree \| snapshot
2002-11-17	Stefano Zacchiroli	bug fix: reset timeout after processing request in...	commit \| commitdiff \| tree \| snapshot
2002-11-17	Stefano Zacchiroli	* empty log message *	commit \| commitdiff \| tree \| snapshot
2002-11-17	Stefano Zacchiroli	Added debug flag and debug_print function	commit \| commitdiff \| tree \| snapshot
2002-11-17	Stefano Zacchiroli	.cvsignore for examples dir	commit \| commitdiff \| tree \| snapshot
2002-11-17	Stefano Zacchiroli	- split http_parser module (all code that parse http...	commit \| commitdiff \| tree \| snapshot
2002-11-15	Stefano Zacchiroli	oopss, I forgot to commit .depend last time ...	commit \| commitdiff \| tree \| snapshot
2002-11-15	Stefano Zacchiroli	backported new pxp module from branch V7_3_new_exportation	commit \| commitdiff \| tree \| snapshot
2002-11-14	Ferruccio Guidi	replaced fun with inverse attribute	commit \| commitdiff \| tree \| snapshot
2002-11-14	Ferruccio Guidi	added inverse switch for relation and attribute	commit \| commitdiff \| tree \| snapshot
2002-11-14	Stefano Zacchiroli	name fix due to changes in libhttp-ocaml (e.g. s/Http...	commit \| commitdiff \| tree \| snapshot
2002-11-14	natile	Attribute files added.	commit \| commitdiff \| tree \| snapshot
2002-11-14	natile	Unused files removed.	commit \| commitdiff \| tree \| snapshot
2002-11-14	Stefano Zacchiroli	load http.cma instead of http.cmo	commit \| commitdiff \| tree \| snapshot
2002-11-14	Stefano Zacchiroli	no longer use -pack and Http.*, now interface is the...	commit \| commitdiff \| tree \| snapshot
2002-11-14	Stefano Zacchiroli	Now use cm{,x}a	commit \| commitdiff \| tree \| snapshot
2002-11-14	Stefano Zacchiroli	Changed source-package name to "ocaml-http"	commit \| commitdiff \| tree \| snapshot
2002-11-13	natile	Attribute patched: now takes an extra argument of type...	commit \| commitdiff \| tree \| snapshot
2002-11-13	natile	Attribute patched with inverse function.	commit \| commitdiff \| tree \| snapshot
2002-11-13	Stefano Zacchiroli	switched to OCaml HTTP module	commit \| commitdiff \| tree \| snapshot
2002-11-13	Stefano Zacchiroli	added ocaml-http 0.0.1	commit \| commitdiff \| tree \| snapshot
2002-11-05	Claudio Sacerdoti...	first commit	commit \| commitdiff \| tree \| snapshot
2002-11-04	natile	Fun patched.	commit \| commitdiff \| tree \| snapshot
2002-11-04	Enrico Tassi	bug found:	commit \| commitdiff \| tree \| snapshot
2002-10-31	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2002-10-31	Claudio Sacerdoti...	Comments removed.	commit \| commitdiff \| tree \| snapshot
2002-10-31	Claudio Sacerdoti...	Quotes problem fixed.	commit \| commitdiff \| tree \| snapshot
2002-10-31	Ferruccio Guidi	MQueryGenerator ported to use fun "objectName"	commit \| commitdiff \| tree \| snapshot
2002-10-31	Ferruccio Guidi	silly debug output removed from stdout	commit \| commitdiff \| tree \| snapshot
2002-10-31	Claudio Sacerdoti...	New version of the library added.	commit \| commitdiff \| tree \| snapshot
2002-10-29	Claudio Sacerdoti...	xmlns:h namespace "fixed"	commit \| commitdiff \| tree \| snapshot
2002-10-29	Claudio Sacerdoti...	New version for the new DTD.	commit \| commitdiff \| tree \| snapshot
2002-10-28	natile	Fun patched but works only in one direction (from the...	commit \| commitdiff \| tree \| snapshot
2002-10-25	Claudio Sacerdoti...	proof-checker ported to the mowgli version	commit \| commitdiff \| tree \| snapshot
2002-10-25	Claudio Sacerdoti...	Proof-checker ported to the mowgli version.	commit \| commitdiff \| tree \| snapshot
2002-10-25	Claudio Sacerdoti...	Better configuration management.	commit \| commitdiff \| tree \| snapshot
2002-10-25	Enrico Tassi	Now esempi/fourier.cic end with a proof!	commit \| commitdiff \| tree \| snapshot
2002-10-24	Claudio Sacerdoti...	Bug fixed: I don't know what the bug was exactly, but...	commit \| commitdiff \| tree \| snapshot
2002-10-22	Ferruccio Guidi	mqint.ml patched	commit \| commitdiff \| tree \| snapshot
2002-10-22	Ferruccio Guidi	topLevel updated to use mqint set_database and get_database	commit \| commitdiff \| tree \| snapshot
2002-10-22	Claudio Sacerdoti...	Bug ``fixed'': we do not need to apply sym_eqT since...	commit \| commitdiff \| tree \| snapshot
2002-10-22	Claudio Sacerdoti...	- matql_interpreter_galax branch removed once and for...	commit \| commitdiff \| tree \| snapshot
2002-10-22	natile	Switching interpreter patched, addedd:	commit \| commitdiff \| tree \| snapshot
2002-10-22	Claudio Sacerdoti...	The two interpreters are now both in mathql_interpreter...	commit \| commitdiff \| tree \| snapshot
2002-10-21	Claudio Sacerdoti...	No more useful	commit \| commitdiff \| tree \| snapshot
2002-10-21	natile	Old modules (use.ml/mli, eval.ml/mli,...) eliminated.	commit \| commitdiff \| tree \| snapshot
2002-10-21	natile	Switching interpreter.	commit \| commitdiff \| tree \| snapshot
2002-10-21	Michele Galatà	Comments reindented.	commit \| commitdiff \| tree \| snapshot
2002-10-21	natile	Merge of the new_mathql branch with the main branch:	commit \| commitdiff \| tree \| snapshot
2002-10-21	natile	Merge of the new_mathql branch with the main branch:	commit \| commitdiff \| tree \| snapshot
2002-10-17	Enrico Tassi	- indentation is now in pseudo-functional style!	commit \| commitdiff \| tree \| snapshot
2002-10-17	Enrico Tassi	- rewritesimpl_tac added in fourierR.ml (wrong location)	commit \| commitdiff \| tree \| snapshot
2002-10-16	Claudio Sacerdoti...	- write_tac fixed (the list of new goals was empty)	commit \| commitdiff \| tree \| snapshot
2002-10-14	Claudio Sacerdoti...	A tough test for rewrite.	commit \| commitdiff \| tree \| snapshot
2002-10-14	Claudio Sacerdoti...	- bug fixed: some liftings were missing in the implemen...	commit \| commitdiff \| tree \| snapshot
2002-10-11	Claudio Sacerdoti...	- rewrite extended to handle rewritings with eqT	commit \| commitdiff \| tree \| snapshot
2002-10-11	Claudio Sacerdoti...	Trivial bug in equality_replace fixed: an exception...	commit \| commitdiff \| tree \| snapshot
2002-10-11	Claudio Sacerdoti...	New tactic rewrite implemented.	commit \| commitdiff \| tree \| snapshot
2002-10-11	Claudio Sacerdoti...	- idtac used for debugging removed	commit \| commitdiff \| tree \| snapshot
2002-10-11	Enrico Tassi	More debug printings.	commit \| commitdiff \| tree \| snapshot
2002-10-11	natile	Use patched.	commit \| commitdiff \| tree \| snapshot
2002-10-10	Enrico Tassi	Added an example to test fourier_tac.	commit \| commitdiff \| tree \| snapshot
2002-10-10	Enrico Tassi	Debug printing update, now the unification bug	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom