Achim D. Brucker
|
26ce1b6147
|
Added DOI for CSF paper.
|
2020-12-31 10:34:15 +00:00 |
Achim D. Brucker
|
dd7720682e
|
Added reference to successor project.
|
2020-12-30 15:08:54 +00:00 |
Achim D. Brucker
|
af43be20ef
|
Added master repository URL.
|
2018-08-03 17:56:55 +02:00 |
Achim D. Brucker
|
9d0641480a
|
Added SPDX License Identifier.
|
2018-08-03 17:53:47 +02:00 |
Achim D. Brucker
|
49054ca8ce
|
Cleanup of Markdown.
|
2018-08-03 17:51:53 +02:00 |
Achim D. Brucker
|
8d16f2b40f
|
Updated description and clarified Isabelle version.
|
2016-08-02 13:45:45 +01:00 |
Achim D. Brucker
|
22da81b807
|
Updated readme.
|
2016-07-29 00:51:36 +01:00 |
Achim D. Brucker
|
beb6c839ef
|
Renaming to start conversion to markdown.
|
2016-07-29 00:38:27 +01:00 |