Re: [isabelle-dev] The coming release of Isabelle2017

Nothing fancy, just a couple of code_post rules to rewrite successor notation into numeral notation after evaluation and before printing. I don't know if there's a better way to do that, but I think we discussed this on the mailing list a while ago and came to the conclusion that code_post is

Re: [isabelle-dev] The coming release of Isabelle2017

What’s the idea here? Larry > On 5 Jul 2017, at 21:09, Manuel Eberl wrote: > > the proper printing of "nat" values as numerals instead of successor notation. ___ isabelle-dev mailing list isabelle-...@in.tum.de

Re: [isabelle-dev] The coming release of Isabelle2017

I still want to take care of two really tiny things: the "subseq" situation and the proper printing of "nat" values as numerals instead of successor notation. Just mentioning that for the sake of completeness. Manuel On 2017-07-05 21:04, Makarius wrote: > Dear all, > > we are now almost 7

[isabelle-dev] The coming release of Isabelle2017

Dear all, we are now almost 7 months after Isabelle2016-1 (December 2016). Following the standard schedule, the Isabelle2017 release should appear at the start of October 2017. During the last 3 weeks in July, I will be in Cambridge. That is also a possibility to show me old and new problems in

Re: [isabelle-dev] NEWS: Isabelle/VSCode

On 03/07/17 21:14, Simon Wimmer wrote: > > One thing that disturbed me in the beginning was that I first have to > edit a document before any symbols get prettified. This might be a weakness of the Prettify Symbols Mode, or just a mistake in setting it up on my side. (For months, I have not