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

Removed scaffold.

Browse Source
This commit is contained in:
Achim D. Brucker 2025-03-16 20:14:23 +00:00
parent 870266868e
commit 40b10493f2
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Isabelle_DOF-add_ons-2025/ROOTS
View File

@ -5,4 +5,3 @@ Isabelle_DOF-Example-I
Isabelle_DOF-Example-II
Isabelle_DOF-Examples-Extra
Isabelle_DOF-Examples-Templates
Isabelle_DOF-Scaffold