repo: a5a9c433f639f25e5e02c0d090104cacdf113e6f
node: f540925258fb22e4af529568f54906c0173215c4
branch: default
latesttag: Isabelle99-2
latesttagdistance: 1317
changessincelatesttag: 1317
