diff options
Diffstat (limited to 'devel/ocaml/HISTORY')
| -rw-r--r-- | devel/ocaml/HISTORY | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/devel/ocaml/HISTORY b/devel/ocaml/HISTORY index 1994a3e8fd..cb98e15308 100644 --- a/devel/ocaml/HISTORY +++ b/devel/ocaml/HISTORY @@ -1,3 +1,6 @@ +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 |