diff options
Diffstat (limited to 'Changelog')
-rw-r--r-- | Changelog | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -1,3 +1,9 @@ +Release 1.12.1, 2013-01-29 +========================== + +Ported to Coq 8.4pl1. Otherwise functionally identical to release 1.12. + + Release 1.12, 2013-01-11 ======================== |