Re: [isabelle-dev] NEWS: proof outline with cases

On 08/08/16 10:52, Andreas Lochbihler wrote: > sometimes quotes are needed around the case name (e.g., if it is a > keyword like "try" or "oracle", or if it is a case of an induction rule > by the function package for an equation which has been split up by the > sequential option, i.e., 3_1 and

Re: [isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle

On 08/08/16 14:44, Lars Hupel wrote: > > For HOL-Proofs, the relevant job is "isabelle-repo-makeall". A catalog > of all builds and all archived logs can be found under the following URL: > > >