Commit Graph

10 Commits

Author SHA1 Message Date
Achim D. Brucker 8e65263093 Ignore generated latex-outputs in test session.
ci/woodpecker/push/build Pipeline was successful Details
2023-02-25 11:01:58 +00:00
Achim D. Brucker b7948659ad Ignore Isabelle/JEdit tmp files. 2022-03-26 19:56:23 +00:00
Burkhart Wolff 7e2224859e mmm 2020-06-22 17:42:40 +02:00
Achim D. Brucker d6d9e1bb5c New command "reflect_ML_exports" for loading ML exported code into Isabelle's ML environment using the Isabelle's virtual file system.
Isabelle_DOF/Isabelle_DOF/master This commit looks good Details
2019-08-17 16:31:27 +01:00
Achim D. Brucker fdd9509eac Remove and ignore autogenerated file.
Isabelle_DOF/Isabelle_DOF/master There was a failure building this commit Details
2019-08-17 10:23:41 +01:00
Achim D. Brucker 51c9dbfcff Ignore tmp-files. 2019-07-23 15:14:09 +01:00
Achim D. Brucker 84dd96a1d9 Ignore local afp installation directory (.afp). 2019-01-06 13:28:46 +00:00
Achim D. Brucker 6fec11c152 Ignore generated templates for LaTeX styles. 2018-12-18 22:08:41 +00:00
Achim D. Brucker b1d39bd9ec Added: simple test setup. 2018-03-06 09:44:07 +00:00
Achim D. Brucker 6c39fe1451 Initial commit: Scala build setup. 2018-03-05 09:53:51 +00:00