1.1 --- a/README	Thu Apr 16 10:37:30 2009 +0200
     1.2 +++ b/README	Thu Apr 16 10:51:44 2009 +0200
     1.3 @@ -9,9 +9,9 @@
     1.4  
     1.5      http://isabelle.in.tum.de/repos/isabelle
     1.6      
     1.7 -Currently, Isabelle 2008 is recommended:
     1.8 +Currently, Isabelle 2009 is recommended:
     1.9  
    1.10 -    http://isabelle.in.tum.de/repos/isabelle/rev/2cf13a72e170
    1.11 +    http://isabelle.in.tum.de/
    1.12  
    1.13  Then, invoke
    1.14  
    1.15 @@ -21,6 +21,6 @@
    1.16  Set shell variable ISABELLE_TOOL explicitly if this does not use 
    1.17  the desired Isabelle version.
    1.18  
    1.19 -Sources of the importer itself are available via mercurial:
    1.20 +Sources of Haskabelle itself are available via mercurial:
    1.21  
    1.22 -    http://www4.in.tum.de/~haftmann/cgi-bin/hgweb.cgi/haskabelle/
    1.23 +    https://isabelle.in.tum.de/repos/haskabelle

     2.1 --- a/admin/builddoc	Thu Apr 16 10:37:30 2009 +0200
     2.2 +++ b/admin/builddoc	Thu Apr 16 10:51:44 2009 +0200
     2.3 @@ -20,5 +20,6 @@
     2.4  ## building
     2.5  
     2.6  cd "$HASKABELLE_HOME/doc-src/Haskabelle"
     2.7 +"$HASKABELLE_HOME/bin/isabelle" make clean || fail "building documentation sources failed"
     2.8  "$HASKABELLE_HOME/bin/isabelle" make || fail "building documentation sources failed"
     2.9  make doc || fail "building documentation pdf failed"

     3.1 --- a/doc-src/Haskabelle/IsaMakefile	Thu Apr 16 10:37:30 2009 +0200
     3.2 +++ b/doc-src/Haskabelle/IsaMakefile	Thu Apr 16 10:51:44 2009 +0200
     3.3 @@ -42,4 +42,5 @@
     3.4  ## clean
     3.5  
     3.6  clean:
     3.7 +	@( cd .. && for NAME in *; do if [ -L $$NAME ]; then rm -v $$NAME; fi; done )
     3.8  	@rm -f $(THY)

     4.1 --- a/doc-src/Haskabelle/Makefile	Thu Apr 16 10:37:30 2009 +0200
     4.2 +++ b/doc-src/Haskabelle/Makefile	Thu Apr 16 10:51:44 2009 +0200
     4.3 @@ -44,4 +44,4 @@
     4.4  
     4.5  doc: ../../doc/$(NAME).pdf
     4.6  ../../doc/$(NAME).pdf: $(NAME).pdf
     4.7 -	( cd ../../doc && ln -s ../doc-src/Haskabelle/$(NAME).pdf $(NAME).pdf )
     4.8 +	( cd ../../doc && ln -fs ../doc-src/Haskabelle/$(NAME).pdf $(NAME).pdf )