pierre.derathe
/
Isabelle_DOF
Archived
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Disable TR_my_commented_isabelle for now: does not work with Isabelle2021-1.

This commit is contained in:
Makarius Wenzel 2021-12-18 23:07:25 +01:00
parent ec49f45966
commit 86b555b56e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
examples/technical_report/ROOTS
View File

@ -1,2 +1,2 @@
Isabelle_DOF-Manual
TR_my_commented_isabelle
#TR_my_commented_isabelle