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

#272 (Jun 22, 2016, 11:56:13 AM)

Changes
  1. bundle applicative_syntax; (detail / hgweb)
  2. bundle lifting_syntax (see Isabelle/fb5d8a50c641); (detail / hgweb)

Started by an SCM change

Revision: 8ab92b6abf527e476256c2402e5f6c9fa128dc68
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #272( 4 hr 9 min )Console Output