[isabelle-dev] Publishing contributions as an external
makarius at sketis.net
Mon Apr 16 11:52:20 CEST 2012
On Mon, 16 Apr 2012, Christian Sternagel wrote:
> I drafted a first version of a HOWTO under
Nice summary of the mail thread. As I said, I will not interfere with the
community site directly, but might occasionally learn from it how to
improve the "official" documents further.
> @Lukas: Thanks for pointing me to "mercurial queues" which are really a
> great tool. Using queues it should be easily possible (even as an
> external) to avoid the long "pilage" of private changes and public
The queues became quite popular early for Isabelle/Mercurial experts. So
far I've never tried it myself.
I wonder if the more recent rebase extension would do similar things in a
more basic way. Are there any users of it?
More information about the isabelle-dev