diff options
Diffstat (limited to 'devel/ocaml/HISTORY')
-rw-r--r-- | devel/ocaml/HISTORY | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/devel/ocaml/HISTORY b/devel/ocaml/HISTORY index 5128a41ffc..cb98e15308 100644 --- a/devel/ocaml/HISTORY +++ b/devel/ocaml/HISTORY @@ -1,3 +1,9 @@ +2014-02-01 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> + * DETAILS: version 4.01.0 + +2013-01-20 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> + * TRIGGERS: perform check_self on cast binutils, tk, tcl + 2011-07-22 Treeve Jelbert <treeve@sourcemage.org> * DETAILS: version 3.12.1 |