]> matita.cs.unibo.it Git - helm.git/history - DEVEL/lablgtkmathview
remove spurious entry
[helm.git] / DEVEL / lablgtkmathview /
2007-07-16 Stefano Zacchiroli* NOT RELEASED YET
2007-07-16 Stefano Zacchiroli* debian/*.install.in
2007-07-16 Stefano Zacchiroli* rebuild with OCaml 3.10
2006-09-17 Stefano Zacchiroliready for 3.09.3 and ocaml.mk
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-05-17 Stefano Zacchiroliported to ocaml 3.09.2
2006-02-02 Stefano Zacchirolireorganization continues ...