Branch: master

master

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from 'master'

${ noResults }

Commit Graph

26 Commits (master)

 

All Branches   

Search

Author	SHA1	Message	Date
Achim D. Brucker	26ce1b6147	Added DOI for CSF paper.	2 years ago
Achim D. Brucker	dd7720682e	Added reference to successor project.	2 years ago
Achim D. Brucker	af43be20ef	Added master repository URL.	4 years ago
Achim D. Brucker	9d0641480a	Added SPDX License Identifier.	4 years ago
Achim D. Brucker	49054ca8ce	Cleanup of Markdown.	4 years ago
Achim D. Brucker	8d16f2b40f	Updated description and clarified Isabelle version.	6 years ago
Achim D. Brucker	65583684a1	Makefile for generating theory files.	6 years ago
Achim D. Brucker	10a9b2514e	Ported to Isabelle 2016.	6 years ago
Achim D. Brucker	35fd91aad5	Regenerated example theory file.	6 years ago
Achim D. Brucker	c028fc027e	Updated path to ofmc.thy.	6 years ago
Achim D. Brucker	805e67fefb	Ignore generated binary.	6 years ago
Achim D. Brucker	781d13855a	Switched to plain Makefiles for build.	6 years ago
Achim D. Brucker	2c804039b5	Deleted outdated config.sml.in.	6 years ago
Achim D. Brucker	bb1c93b00e	Generated thy files for Isabelle 2015.	6 years ago
Achim D. Brucker	9ef8e90bd7	Removed outdated Isabelle files.	6 years ago
Achim D. Brucker	9f66f82aa8	Updated ofmc grammar and regenerated parser.	6 years ago
Achim D. Brucker	ec42f2f2de	Added timing of theory loading.	6 years ago
Achim D. Brucker	53cea57fb5	Cleanup (removed dead code).	6 years ago
Achim D. Brucker	0d6d685268	Removed outdated IsaMakefile.	6 years ago
Achim D. Brucker	aad1e984f9	Updated/clarified license information.	6 years ago
Achim D. Brucker	22da81b807	Updated readme.	6 years ago
Achim D. Brucker	3212d103b1	Updated readme and added citation information.	6 years ago
Achim D. Brucker	be33b1158c	Updated license (to a 2-clause BSD-style license).	6 years ago
Achim D. Brucker	beb6c839ef	Renaming to start conversion to markdown.	6 years ago
Achim D. Brucker	38c374f657	Updated file/directory structure to match new standard naming/layout.	6 years ago
Achim D. Brucker	0407d94abd	Import of originally published version of isabelle-ofmc.	13 years ago