Re: [PG-devel] no deactivation-hooks when killing fully asserted active buffer

Hi, is there viewvc and cvshistory running on the Proof General cvs? (Like, for example, http://www.sos.cs.ru.nl/cgi-bin/~tews/olmar/viewvc-patch.cgi/elsa/ and http://www.sos.cs.ru.nl/cgi-bin/~tews/olmar/cvshistory.cgi) David Aspinall writes: I've committed a patch to proof-protected-process

Re: [PG-devel] no deactivation-hooks when killing fully asserted active buffer

is there viewvc and cvshistory running on the Proof General cvs? There's a handy view via Mercurial here courtesy of Markarius Wenzel (hopefully he won't mind me advertising) http://www4.in.tum.de/~wenzelm/cgi-bin/repos.cgi/ProofGeneral/ I've committed a patch to proof-protected-proc

Re: [PG-devel] no deactivation-hooks when killing fully asserted active buffer

On Mon, 24 Jan 2011, David Aspinall wrote: is there viewvc and cvshistory running on the Proof General cvs? There's a handy view via Mercurial here courtesy of Markarius Wenzel (hopefully he won't mind me advertising) http://www4.in.tum.de/~wenzelm/cgi-bin/repos.cgi/ProofGeneral/ I was te