Skip to content
[Jenkins]Jenkins
log in
Started 8 yr 4 mo ago
Took 2 hr 37 min on built-in
Failed

#45 (Feb 27, 2016, 9:14:11 PM)

Changes
  1. more symbols; (detail / hgweb)
  2. symbol interpretation for \<circle>; (detail / hgweb)
  3. update due to fontforge save operation; (detail / hgweb)
  4. moved getopts to Scala; (detail / hgweb)
  5. moved getopts to Scala; (detail / hgweb)

Started by an SCM change

Revision: e5e38e1f2dd4c844abe86051b5954fd6d942e064
Resume build
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #45( 2 hr 37 min )Console Output
isabelle-repo-makeallbuild #45( 53 min )Console Output