afp-mirror
/
Extended_Finite_State_Machines
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
10 Commits
1 Branch
3 Tags
466 KiB
Branch: main
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'main'
${ noResults }
Commit Graph

10 Commits (main)
 

Author SHA1 Message Date
Achim D. Brucker 3a7a6daf2c Changed name to reflect development status.
ci/woodpecker/push/build Pipeline was successful
Details
 2 months ago
Achim D. Brucker 9ddae0c3d9 Switched from Jenkins to Woodpecker CI.
ci/woodpecker/push/build Pipeline failed
Details
 2 months ago
Achim D. Brucker ebbe081ca7 Switched from Jenkins to Woodpecker CI.
ci/woodpecker/push/build Pipeline failed
Details
 2 months ago
Achim D. Brucker 814d511859 Renamed upstream repository.
5 months ago
Achim D. Brucker e40cb5bbde Migration to Isabelle 2021-1 (based on afp-2021-12-28).
5 months ago
Achim D. Brucker c3c1cafaa3 Import of AFP for Isabelle 2021.
1 year ago
Achim D. Brucker 9fd9332f74 Renamed session to avoid name clash with offical AFP entry.
1 year ago
Achim D. Brucker 73b3b13ab0 Initial commit.
1 year ago
Achim D. Brucker d456a3965d Initial commit.
1 year ago
Achim D. Brucker a7c68b6777 Initial import from AFP.
1 year ago