lh-docker
/
lh-docker-isabelle
1
0
포크 0
코드 이슈 풀 리퀘스트 릴리즈 위키 활동

Added links for Isabelle/DOF 1.1.0.

This commit is contained in:
Achim D. Brucker 2021-03-21 00:41:35 +00:00
부모 315b3d1b1d
커밋 9fa6b32b53
1개의 변경된 파일과 2개의 추가작업 그리고 0개의 파일을 삭제
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
파일 보기

@ -31,6 +31,8 @@ tested with [podman](https://podman.io/) and [Docker](https://www.docker.com).
authoring framework for Isabelle, provided by the University of Exeter and the University
of Paris-Saclay. The following versions are available on docker hub:
* [logicalhacking/isabelle_dof-1.1.0_isabelle2021](https://hub.docker.com/r/logicalhacking/isabelle_dof-1.1.0_isabelle2021)
* [logicalhacking/isabelle_dof-1.1.0_isabelle2020](https://hub.docker.com/r/logicalhacking/isabelle_dof-1.1.0_isabelle2020)
* [logicalhacking/isabelle_dof-1.0.0_isabelle2019](https://hub.docker.com/r/logicalhacking/isabelle_dof-1.0.0_isabelle2019)
## Authors