Skip to content
[Jenkins]Jenkins
log in
Started 8 yr 3 mo ago
Took 3 hr 25 min on built-in
Success

#123 (Apr 2, 2016, 4:26:12 PM)

Changes
  1. clarified check_sources; (detail / hgweb)
  2. obsolete (see 1d977436c1bf); (detail / hgweb)
  3. more robust display of bidirectional Unicode text: enforce left-to-right; (detail / hgweb)

Started by an SCM change

Revision: 29ca4cdd998d47a4dbcd25723c044a388e68af6b
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #123( 1 hr 14 min )Console Output
isabelle-repo-afpbuild #123( 3 hr 25 min )Console Output