<html><body><div style="color:#000; background-color:#fff; font-family:times new roman, new york, times, serif;font-size:14pt"><div style="" class=""><span style="" class="">>> </span>Here we are back to the (wrong) assumption that Proof General could <br style="" clear="none">>> continue forever, without doing anything.</div><div style="color: rgb(0, 0, 0); font-size: 18.6667px; font-family: times new roman,new york,times,serif; background-color: transparent; font-style: normal;" class=""><br></div><div style="color: rgb(0, 0, 0); font-size: 18.6667px; font-family: times new roman,new york,times,serif; background-color: transparent; font-style: normal;" class="">I do not assume this, and in time I will switch to Isabelle/jEdit -- my experience <br></div><div style="color: rgb(0, 0, 0); font-size: 18.6667px; font-family: times new roman,new york,times,serif; background-color: transparent; font-style: normal;" class="">with working with Jasmin
is already close to the "corridor full of smart people" <br></div><div style="color: rgb(0, 0, 0); font-size: 18.6667px; font-family: times new roman,new york,times,serif; background-color: transparent; font-style: normal;" class="">experience anyway. :-) <br></div><div style="color: rgb(0, 0, 0); font-size: 18.6667px; font-family: times new roman,new york,times,serif; background-color: transparent; font-style: normal;" class=""><br></div><div style="color: rgb(0, 0, 0); font-size: 18.6667px; font-family: times new roman,new york,times,serif; background-color: transparent; font-style: normal;" class="">I also appreciate your efforts to keep the old army hero alive with Isabelle. <br></div><div style="color: rgb(0, 0, 0); font-size: 18.6667px; font-family: times new roman,new york,times,serif; background-color: transparent; font-style: normal;" class=""><br></div><div style="color: rgb(0, 0, 0); font-size: 18.6667px; font-family: times
new roman,new york,times,serif; background-color: transparent; font-style: normal;" class="">Andrei <br></div><div style="color: rgb(0, 0, 0); font-size: 18.6667px; font-family: times new roman,new york,times,serif; background-color: transparent; font-style: normal;" class=""><br></div><div style="color: rgb(0, 0, 0); font-size: 18.6667px; font-family: times new roman,new york,times,serif; background-color: transparent; font-style: normal;" class=""><br><span style="" class=""></span></div><div style="display: block;" class="yahoo_quoted"> <div class="" style="font-family: times new roman, new york, times, serif; font-size: 14pt;"> <div class="" style="font-family: HelveticaNeue, Helvetica Neue, Helvetica, Arial, Lucida Grande, sans-serif; font-size: 12pt;"> <div style="" class="" dir="ltr"> <font style="" class="" face="Arial" size="2"> On Friday, May 16, 2014 10:57 AM, Makarius <makarius@sketis.net> wrote:<br style="" class=""> </font> </div>
<div style="" class="">On Thu, 15 May 2014, Andrei Popescu wrote:<br style="" class="" clear="none"><br style="" class="" clear="none">> Proof General is a silent proof partner who gives me a lot of space. By <br style="" class="" clear="none">> contrast, Isabelle/jEdit seems like a corridor full of smart people who <br style="" class="" clear="none">> keep offering to help me. I prefer to do proofs with my office door <br style="" class="" clear="none">> closed.<br style="" class="" clear="none"><br style="" class="" clear="none">Here we are back to the (wrong) assumption that Proof General could <br style="" class="" clear="none">continue forever, without doing anything.<br style="" class="" clear="none"><br style="" class="" clear="none">In the past 3 years of Proof General being "legacy" I have invested <br style="" class="" clear="none">substantial work just to keep the status quo more or less. Over more than <br style="" class=""
clear="none">5 years there were calls to arms, to hold the territory of the general, <br style="" class="" clear="none">but no volunteers ever showed up at <a style="" class="" shape="rect" ymailto="mailto:proofgeneral-devel@inf.ed.ac.uk." href="mailto:proofgeneral-devel@inf.ed.ac.uk.">proofgeneral-devel@inf.ed.ac.uk.</a><br style="" class="" clear="none"><br style="" class="" clear="none">Without anybody doing anything, the only option to remaining users of <br style="" class="" clear="none">Proof General is to stick to the last Isabelle version that supported <br style="" class="" clear="none">it, i.e. when the list of remaining uses of it has become empty.<div style="" class="" id="yqtfd18894"><br style="" class="" clear="none"><br style="" class="" clear="none"><br style="" class="" clear="none"> Makarius<br style="" class="" clear="none"></div><br style="" class=""><br style="" class=""></div> </div> </div> </div>
</div></body></html>