]> matita.cs.unibo.it Git - helm.git/history - DEVEL
little change to theorem eq_gcd_times_times_eqv_times_gcd
[helm.git] / DEVEL /
2007-07-16 Stefano Zacchiroli* NOT RELEASED YET
2007-07-16 Stefano Zacchiroli* NOT RELEASED YET
2007-07-16 Stefano Zacchiroliproper path for ps.gz doc
2007-07-16 Stefano Zacchiroli texlive-base-bin, texlive-latex-extra
2007-07-16 Stefano Zacchiroli - add build-dep for doc generation: graphviz, texlive...
2007-07-16 Stefano Zacchiroli - add build-dep for doc generation: graphviz, texlive...
2007-07-16 Stefano Zacchiroli* debian/rules
2007-07-16 Stefano Zacchiroliinvoke make doc after build to create ocamldoc docs
2007-07-16 Stefano Zacchiroli* debian/svn-deblayout
2007-07-16 Stefano Zacchiroli* rebuild against OCaml 3.10 and ocamlnet 2.2
2007-07-16 Stefano Zacchiroli* debian/*.install.in
2007-07-16 Stefano Zacchiroli* rebuild with OCaml 3.10
2007-01-29 Stefano Zacchiroliwell-formed ocamldoc comment
2007-01-29 Stefano Zacchirolipreliminary cookie support
2007-01-24 Stefano Zacchirolisend internally generated headers in lowercase form...
2007-01-03 Stefano Zacchiroliready for ocamlnet 2.2
2007-01-03 Stefano Zacchirolimore elegant handling of all/opt building
2006-09-17 Stefano Zacchiroliremoved old .cvsignore files
2006-09-17 Stefano Zacchiroliready for 3.09.3 and ocaml.mk
2006-09-17 Stefano ZacchirolibinNMU safe setting of debian/*
2006-09-14 Stefano Zacchiroliremoved useless file in source package
2006-09-14 Stefano Zacchirolinew release, binNMU safe
2006-09-11 Stefano Zacchiroliready for the upload
2006-09-11 Stefano Zacchiroliadded me as an author, better formatting of debian...
2006-09-11 Stefano Zacchirolirebuilt
2006-09-11 Stefano Zacchirolicommitted the generated version of configure, so that...
2006-09-11 Stefano Zacchiroliuse autotools class so that configure is invoked by...
2006-09-11 Stefano Zacchirolibumped version
2006-09-11 Stefano Zacchirolisnapshot: first draft of binNMU safe cdbs packaging
2006-09-11 Stefano Zacchiroliadded detection of native code compilation in "upstream...
2006-09-11 Stefano Zacchirolioops: changes should be committed to Makefile.in, not...
2006-08-22 Stefano Zacchiroliinfo about where to find LablGtkSourceView now
2006-08-22 Stefano Zacchirolilablgtksourceview is moving to gna, removing the old...
2006-08-20 Stefano Zacchirolitouched changelog, ready for a release!
2006-08-06 Stefano Zacchirolibumped gmetadom dependencies to >= 0.2.4
2006-07-03 Stefano Zacchiroliwhen auto_close is set, use flush + shutdown instead...
2006-05-30 Stefano Zacchirolibugfix: when creating a daemon spec _use_ the auto_clos...
2006-05-29 Stefano Zacchiroli- removed Http_daemon.{start,start\}
2006-05-29 Stefano Zacchiroliadded finally function
2006-05-29 Stefano Zacchiroliforces bash as Makefile SHELL
2006-05-17 Stefano Zacchiroliported to ocaml 3.09.2
2006-05-17 Stefano Zacchiroliported to ocaml 3.09.2
2006-05-17 Stefano Zacchiroliported to ocaml 3.09.2
2006-05-16 Stefano Zacchirolido not export .svn directories
2006-05-16 Stefano Zacchirolitransition to ocaml 3.09.2
2006-02-02 Stefano Zacchirolireorganization continues ...