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

#342 (Aug 2, 2016, 10:39:06 PM)

Changes
  1. proper latex rendering of abbrevs templates (e.g. src/HOL/Nonstandard_Analysis/HLim.thy); (detail / hgweb)
  2. more symbols; (detail / hgweb)
  3. misc tuning and modernization; (detail / hgweb)
  4. implicit keyword completion only for actual words (amending 73939a9b70a3); (detail / hgweb)

Started by an SCM change

Revision: 4854f7ee0987438a0887913441e903977e73a507
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #342( 1 hr 9 min )Console Output
isabelle-repo-afpbuild #342( 1 hr 17 min )Console Output