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

Switchted to notion of upstream repository.

This commit is contained in:
Achim D. Brucker 2022-03-17 08:48:25 +00:00
parent 17d7562d4f
commit a66e90cf25
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@ -192,7 +192,7 @@ SPDX-License-Identifier: BSD-2-Clause
Processes fit for V-style Certification Procedures.](https://hal.archives-ouvertes.fr/hal-01702815/document)
In ERTS 2018. <https://hal.archives-ouvertes.fr/hal-01702815>
## Main Repository
## Upstream Repository
The main git repository, i.e., the single source of truth, for this project is hosted
The upstream git repository, i.e., the single source of truth, for this project is hosted
at <https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF>.