On Mon, 18 Mar 2013, Tjark Weber wrote:
On Mon, 2013-03-18 at 12:16 +0100, Makarius wrote:
If anything is missing or wrong in README_REPOSITORY, I ask once again to
point it out, either on isabelle-dev or privately, and not to make
unreliable/unmaintained clones of such important information.
On Sun, 17 Mar 2013, Clemens Ballarin wrote:
Also, which server should I use for pushing my changes to Isabelle so as
to avoid repository trouble?
isabelle-server.in.tum.de is the canonical entry point for ssh etc. as
has been pointed out already. It runs some funny Gentoo Linux, which is
Hi Clemens,
On 17.03.2013 20:43, Clemens Ballarin wrote:
Dear Developers,
What it the current best practice for testing my change to Isabelle?
There used to be testboard, but I'm unsure how that evolved. Is there
a similar service for testing my change to Isabelle against the AFP?
I do use
On Mon, 18 Mar 2013, Dmitriy Traytel wrote:
Another alternative is to build everything on your own machine, which is
feasible thanks to the wonders of PolyML 5.5 and the new build system. All
you need to do is to clone the AFP repository, register it as a component
(via init_component
On Mon, 2013-03-18 at 12:16 +0100, Makarius wrote:
If anything is missing or wrong in README_REPOSITORY, I ask once again to
point it out, either on isabelle-dev or privately, and not to make
unreliable/unmaintained clones of such important information.
Occasionally
cd isabelle
hg pull
Dear Developers,
What it the current best practice for testing my change to Isabelle?
There used to be testboard, but I'm unsure how that evolved. Is there
a similar service for testing my change to Isabelle against the AFP?
Also, which server should I use for pushing my changes to