repo: a5a9c433f639f25e5e02c0d090104cacdf113e6f
node: 5d1b7ee6070e958a0bd538c3ec0833377d58d57c
branch: default
latesttag: Isabelle2013-1
latesttagdistance: 20
changessincelatesttag: 270
