On 07/12/2011 01:18 PM, Makarius wrote:
On Tue, 12 Jul 2011, Alexander Krauss wrote:
sed -i 's/THE_VERSION/$(hg id)/g' version.ML
isabelle usedir ...
Actually, a similar thing happens when an isabelle distribution is
built from a repository clone.
Alex needs to do this because he his
On Mon, 11 Jul 2011, Rafal Kolanski wrote:
The problem:
There exist situations whereupon we find ourselves with an Isabelle image
file without knowing what exactly it is.
One such situation is using wwwfind to present multiple images on multiple
ports. One cannot expect users to remember
Dear Isabelle Developers,
The problem:
There exist situations whereupon we find ourselves with an Isabelle
image file without knowing what exactly it is.
One such situation is using wwwfind to present multiple images on
multiple ports. One cannot expect users to remember which is which just