Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity
2,053 Commits 14 Branches 9 Tags 75 MiB
Commit Graph

16 Commits

Author SHA1 Message Date
Achim D. Brucker f44b5458f2 Enabled session Isabelle_DOF-Examples-Templates. 2024-02-25 11:46:12 +00:00
Achim D. Brucker 9318ea55a0 Fixed archive building after session renaming. 2023-04-15 16:52:25 +01:00
Burkhart Wolff c82a3a7e70 restructuring with iFM2020 as own AFP component
ci/woodpecker/push/build Pipeline failed Details
2023-04-06 13:48:38 +02:00
Achim D. Brucker fba9ca78e9 Restructured examples. 2023-02-19 22:40:11 +00:00
Achim D. Brucker aaeb793a51 Moved ontologies into session Isabelle_DOF-Ontologies. 2023-02-19 16:41:16 +00:00
Achim D. Brucker 43ccaf43f7 Refactoring of session setup. 2023-02-19 13:06:00 +00:00
Achim D. Brucker 41e6c9ed02 Fixed file attributes.
ci/woodpecker/push/build Pipeline was successful Details
2022-04-18 09:44:44 +01:00
Burkhart Wolff 7e2224859e mmm 2020-06-22 17:42:40 +02:00
Achim D. Brucker 8953f37629 Large directory restructuring.
Isabelle_DOF/Isabelle_DOF/master This commit looks good Details 
This commit restructures the file hierarchy:
1) implementation is moved into src/ directory to clean up
   the main directory and to make it easier for users to
   find the README.md.
2) ontologies (both, the Isabelle-part and the LaTeX-part) are
   now structured into directories.
 2019-07-20 21:12:40 +01:00
Achim D. Brucker 530727cccd Removed local AFP entries. 2019-01-05 21:01:52 +00:00
Achim D. Brucker 2bd8a04b34 Fixed duplicate ROOTS entries. 2018-12-08 13:44:34 +01:00
Achim D. Brucker b904b1dabf Reverted ROOTS to setup without nested paths. 2018-12-06 18:45:12 +01:00
Burkhart Wolff eda8535b1c - changed back ROOTS 
- IsaDof_Manual Monitor should be report.
 2018-12-06 12:31:12 +01:00
Achim D. Brucker 781c1ed0dc Manual merge. 2018-12-04 18:15:52 +00:00
Achim D. Brucker 4aa8730762 Updated ROOT(s) setup to include AFP entries ... 2018-11-06 09:10:11 +00:00
Burkhart Wolff 36fac27d0c New Config for 2017 including AFP contributions for Regular-Sets and Regular Automata. 
Added a thin layer interfacing these two.
Slight textual improvements of examples (updates to more recent notations).
 2018-10-30 15:50:01 +01:00