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

Spell checking.

Browse Source
This commit is contained in:
Achim D. Brucker 2025-04-24 06:51:20 +01:00
parent d354391849
commit 0244d64e5e
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Isabelle_DOF-add_ons-2024/README.md
View File

@ -61,7 +61,7 @@ directory containing the content of the archive. In this directory, execute
the following command to register these add-ons as Isabelle components:
```console
foo@bar:Isabelle_DOF-add_ons-2024$isabelle components -u .
foo@bar:Isabelle_DOF-add_ons-2024$ isabelle components -u .
```
for building the standard session of Isabelle/DOF, execute the following command:
@ -222,7 +222,7 @@ SPDX-License-Identifier: BSD-2-Clause
Certification](https://www.brucker.ch/bibliography/download/2019/brucker.ea-ontologies-certification-2019.pdf).
In Integrated Formal Methods (IFM). Lecture Notes in Computer Science (11918).
Springer-Verlag 2019.
[doi:10.1007/978-3-030-34968-4_4](http://dx.doi.org/10.1007/978-3-030-34968-4_4)
[doi:10.1007/978-3-030-34968-4_4](http://dx.doi.org/10.1007/978-3-030-34968-4_4)
* Sergio Bezzecchi, Paolo Crisafulli, Charlotte Pichot, and Burkhart Wolff.
[Making Agile Development Processes fit for V-style Certification