Skip to content
[Jenkins]Jenkins
log in
Started 7 yr 10 mo ago
Took 1 hr 12 min on built-in
Success

#357 (Aug 7, 2016, 1:53:11 PM)

Changes
  1. proper operator syntax as in main HOL -- avoid clash of (greek) identifiers; (detail / hgweb)
  2. more symbols; (detail / hgweb)
  3. isabelle update_cartouches -c -t; (detail / hgweb)

Started by an SCM change

Revision: 1a5a8d4240306464337d12b40336e7f89b1c9c9c
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #357( 1 hr 12 min )Console Output