Re: [isabelle] Highlight sorry in jEdit



Just to be clear on that: reports from the development front are welcome here,
in particular as a reply to a question/suggestion.

Tobias

Am 16/11/2012 20:20, schrieb Makarius:
> On Fri, 16 Nov 2012, Johannes Hölzl wrote:
> 
>> Ah, my statement was not intended to be an actual observation of the Isabelle
>> repository. As the question was asked on isabelle-users I assumed that Joachim
>> does not run the development version of Isabelle and I wanted to give him an
>> glimpse of a possible future release of Isabelle.
> 
> "Possible future" is the historically correct term, but predictions are hard,
> especicially about the future.  Here on isabelle-users the assumption is that
> people are working with real releases, and are not engaging in the painful path
> between them, where things might come and go in non-monotonic ways.
> 
> 
>> But to store the information for the archive: in revision a3bede207a04 of the
>> repository Isabelle/jEdit nicely marks "sorry" in red :-)
> 
> Quotation of changeset ids only makes sense on the isabelle-dev list, which is
> about ongoing moves.  The most basic syntactic criterion to distinguish the two
> mailing lists (approximatvively) is this:
> 
>   * isabelle-users: everything you ever wanted to know, but were afraid to ask,
> about working with official Isabelle releases (lets say approx. the 2-3 most
> recent ones for serious work, older ones for historical anecdotes)
> 
>   * isabelle-dev: discussion over changes (with proper changeset ids) and
> administrative chores around the development process etc.
> 
> 
>     Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.