Isabelle_DOF/src
Burkhart Wolff c8a3c58f7f
ci/woodpecker/push/build Pipeline was successful Details
end of discussion with Achim
2022-06-30 12:58:49 +02:00
..
DOF Moved core ACM styles into DOF-core.sty. 2022-06-29 21:45:09 +01:00
document-templates LIPIcs needs to stay unsupported, right now. 2022-06-29 21:46:39 +01:00
ontologies Renaming to ensure compliance with naming restrictions. 2022-06-29 19:08:56 +01:00
scala Integrated dof-common.tex into DOF-core.sty. 2022-06-29 20:12:32 +01:00
tests end of discussion with Achim 2022-06-30 12:58:49 +02:00
ROOT Renaming to ensure compliance with naming restrictions. 2022-06-29 19:08:56 +01:00
ROOTS Fixed file attributes. 2022-04-18 09:20:36 +01:00