diff options
| author | Enrico Tassi | 2018-04-20 11:08:59 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2018-04-20 11:08:59 +0200 |
| commit | b78523ff2c3349e98686871891028069edfa7523 (patch) | |
| tree | c3ca48d343ea1562e04c1614ff97abeda5d5619e /etc/README | |
| parent | ed05182cece6bb3706e09b2ce14af4a41a2e8141 (diff) | |
move etc/ files to the root and remove obsolete ones
Diffstat (limited to 'etc/README')
| -rw-r--r-- | etc/README | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/etc/README b/etc/README deleted file mode 100644 index 4d33be7..0000000 --- a/etc/README +++ /dev/null @@ -1,40 +0,0 @@ - THE MATHEMATICAL COMPONENTS LIBRARY - ------------------------------------------ - - -DOCUMENTATION -============= - - The documentation of the ssreflect tactics, a brief - description of the mathematical components libraries - and a detailed list of the changes made in the releases - is available as an Inria Research Report at - - http://hal.inria.fr/inria-00258384 - - -AVAILABILITY -============ - - Ssreflect and the Mathematical Components library are available at: - http://math-comp.github.io/math-comp/ - - -THE DISCUSSION LIST -=================== - - The ssreflect list (ssreflect@msr-inria.inria.fr) is meant to be - a standard way to discuss about the ssreflect extension and the - mathematical components library. - - To subscribe visit: https://sympa.inria.fr/sympa/info/ssreflect - -LICENSING -========= - - This program is free software; you can redistribute it and/or modify - it under the terms of the CeCILL B FREE SOFTWARE LICENSE. - - You should have received a copy of the CeCILL B License with this - Kit, in the file named "CeCILL-B". - If not, visit http://www.cecill.info |