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 |