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