This website requires JavaScript.
Explore
Help
Sign In
rajames
/
LithosAnanke
Watch
1
Star
1
Fork
0
Code
Issues
76
Pull Requests
1
Actions
1
Packages
Projects
1
Releases
6
Activity
Files
d2c11d4b6f5eb632f0b2913f64be8e3010412e21
LithosAnanke
/
logs
/
20261107-152312
T
History
…
..
isabelle
release v4.0.0-alpha.1: accepted in full, logs and record [skip ci]
2026-11-07 15:24:28 +00:00