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
|
65583684a1
|
Makefile for generating theory files.
|
2016-08-02 13:44:10 +01:00 |
Achim D. Brucker
|
10a9b2514e
|
Ported to Isabelle 2016.
|
2016-08-02 13:42:54 +01:00 |
Achim D. Brucker
|
35fd91aad5
|
Regenerated example theory file.
|
2016-08-02 13:36:07 +01:00 |
Achim D. Brucker
|
c028fc027e
|
Updated path to ofmc.thy.
|
2016-08-02 13:35:30 +01:00 |
Achim D. Brucker
|
805e67fefb
|
Ignore generated binary.
|
2016-08-02 13:30:56 +01:00 |
Achim D. Brucker
|
781d13855a
|
Switched to plain Makefiles for build.
|
2016-08-02 13:30:24 +01:00 |
Achim D. Brucker
|
2c804039b5
|
Deleted outdated config.sml.in.
|
2016-08-02 12:50:09 +01:00 |
Achim D. Brucker
|
bb1c93b00e
|
Generated thy files for Isabelle 2015.
|
2016-08-02 12:49:06 +01:00 |
Achim D. Brucker
|
9ef8e90bd7
|
Removed outdated Isabelle files.
|
2016-08-02 12:47:41 +01:00 |
Achim D. Brucker
|
9f66f82aa8
|
Updated ofmc grammar and regenerated parser.
|
2016-08-02 12:45:50 +01:00 |
Achim D. Brucker
|
ec42f2f2de
|
Added timing of theory loading.
|
2016-08-02 12:41:10 +01:00 |
Achim D. Brucker
|
53cea57fb5
|
Cleanup (removed dead code).
|
2016-08-02 12:31:19 +01:00 |
Achim D. Brucker
|
0d6d685268
|
Removed outdated IsaMakefile.
|
2016-08-02 12:23:20 +01:00 |
Achim D. Brucker
|
aad1e984f9
|
Updated/clarified license information.
|
2016-08-02 09:52:39 +01:00 |
Achim D. Brucker
|
22da81b807
|
Updated readme.
|
2016-07-29 00:51:36 +01:00 |
Achim D. Brucker
|
3212d103b1
|
Updated readme and added citation information.
|
2016-07-29 00:50:37 +01:00 |
Achim D. Brucker
|
be33b1158c
|
Updated license (to a 2-clause BSD-style license).
|
2016-07-29 00:44:52 +01:00 |
Achim D. Brucker
|
beb6c839ef
|
Renaming to start conversion to markdown.
|
2016-07-29 00:38:27 +01:00 |
Achim D. Brucker
|
38c374f657
|
Updated file/directory structure to match new standard naming/layout.
|
2016-07-29 00:37:53 +01:00 |
Achim D. Brucker
|
0407d94abd
|
Import of originally published version of isabelle-ofmc.
|
2009-11-02 14:14:13 +00:00 |