Achim D. Brucker
8e65263093
All checks were successful
ci/woodpecker/push/build Pipeline was successful
6 lines
54 B
Plaintext
Executable File
6 lines
54 B
Plaintext
Executable File
output
|
|
.afp
|
|
*~
|
|
*#
|
|
Isabelle_DOF-Unit-Tests/latex_test/
|