diff options
| author | amahboubi | 2015-11-10 11:16:31 +0100 |
|---|---|---|
| committer | amahboubi | 2015-11-10 11:16:31 +0100 |
| commit | 490d8fa0e30822caa8ea942e276ac0ed449aae1d (patch) | |
| tree | ad5572894cca7c10cf28a074e155658c860a21de /etc | |
| parent | ec504e283669ceac858bf4cc6234cedda7c50a70 (diff) | |
Update ChangeLog
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/ChangeLog | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/etc/ChangeLog b/etc/ChangeLog index 6316b45..be41718 100644 --- a/etc/ChangeLog +++ b/etc/ChangeLog @@ -6,7 +6,12 @@ * The archive is now open and based on git. Public mirror at: https://github.com/math-comp/math-comp - + + * Sources of the reference manual of the Ssreflect tactic language are + also open and available at: + https://github.com/math-comp/ssr-manual + Pull requests improving the documentation are welcome. + * Renamings or replacements: conjC_closed -> cfConjC_closed class_transr -> class_eqP |