On Wed, 20 Mar 2013, Makarius wrote:
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
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
t
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 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 pul
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 "/path/t
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
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 Isabel