matita.cs.unibo.it Git - helm.git/history - helm/DEVEL/gdome_xslt/ocaml/gdome

]> matita.cs.unibo.it Git - helm.git/history - helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am

2005-07-07	Stefano Zacchiroli	enable static binding of C/OCaml glue code	blob \| commitdiff \| raw
2005-03-25	Stefano Zacchiroli	remove x_gdome_caml.c generated source on "clean"	blob \| commitdiff \| raw \| diff to current
2003-10-21	Stefano Zacchiroli	- debian release 0.0.6-3	blob \| commitdiff \| raw \| diff to current
2003-10-04	Luca Padovani	* changed version in configure.ac	blob \| commitdiff \| raw \| diff to current
2003-10-03	Luca Padovani	* further code cleanup	blob \| commitdiff \| raw \| diff to current
2003-10-03	Luca Padovani	* updated #include directives	blob \| commitdiff \| raw \| diff to current
2003-03-13	Stefano Zacchiroli	bugfix: installs also i_gdome_xslt.ml, gdome_xslt_init...	blob \| commitdiff \| raw \| diff to current
2003-03-13	Stefano Zacchiroli	installs also i_gomde_xslt.mli	blob \| commitdiff \| raw \| diff to current
2003-03-13	Stefano Zacchiroli	debian release 0.0.4-2:	blob \| commitdiff \| raw \| diff to current
2003-03-11	Stefano Zacchiroli	use autotools also for ocaml part (again?)	blob \| commitdiff \| raw \| diff to current
2002-12-24	Stefano Zacchiroli	better use of variables to install/uninstall stuff	blob \| commitdiff \| raw \| diff to current
2002-12-09	Stefano Zacchiroli	switched to automake based build process	blob \| commitdiff \| raw \| diff to current

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