Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Update.

This commit is contained in:
Achim D. Brucker 2023-02-21 08:01:43 +00:00
parent 47fa3590aa
commit be9ef5a122
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
README.md
View File

@ -35,7 +35,7 @@ foo@bar:~$ isabelle components -u .
The final step for the installation is:
```console
foo@bar:~$ isabelle build -D .
foo@bar:~$ isabelle build -D . -X proofs
```
This will compile Isabelle/DOF and run the example suite.
@ -48,7 +48,7 @@ If you want to work with or extend one of the examples, e.g., you can open it
similar to any standard Isabelle theory:
```console
isabelle jedit -d . -l Isabelle_DOF examples/scholarly_paper/2018_cicm/IsaDofApplications.thy
isabelle jedit -d . -l Isabelle_DOF Isabelle_DOF-Example-Scholarly_Paper/IsaDofApplications.thy
```
This will open an example of a scientific paper using the pre-compiled session
@ -57,7 +57,7 @@ If you want to edit the ontology definition, just open the theory file with the
default HOL session:
```console
isabelle jedit -d . -l HOL examples/scholarly_paper/2018_cicm/IsaDofApplications.thy
isabelle jedit -d . -l HOL Isabelle_DOF-Example-Scholarly_Paper/IsaDofApplications.thy
```
While this gives you more flexibility, it might "clutter" your editing