afp-mirror
/
Extended_Finite_State_Machines
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
10 Commits 1 Branch 3 Tags 84 KiB
Commit Graph

3 Commits

Author SHA1 Message Date
Achim D. Brucker 3a7a6daf2c Changed name to reflect development status.
ci/woodpecker/push/build Pipeline was successful Details
2022-03-26 08:12:43 +00:00
Achim D. Brucker e40cb5bbde Migration to Isabelle 2021-1 (based on afp-2021-12-28). 2021-12-31 07:42:15 +00:00
Achim D. Brucker a7c68b6777 Initial import from AFP. 2020-12-19 08:46:46 +00:00