Fri, 25 May 2018 21:08:00 +0200 | Lars Hupel | macOS build: exclude HOL-Proofs | file | diff | annotate |
Fri, 07 Apr 2017 10:47:25 +0200 | wenzelm | explicit Sessions.Selection; | file | diff | annotate |
Thu, 06 Apr 2017 22:04:30 +0200 | wenzelm | clarified signature: tree structure is not essential; | file | diff | annotate |
Wed, 28 Sep 2016 14:48:46 +0200 | Lars Hupel | sequential (jobs = 1) makeall profile | file | diff | annotate |