Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
back to repository location as path that is relative to the current directory:
authorwenzelm
Mon, 19 Apr 2021 15:27:18 +0200
changeset 602329c62b828fc41
parent 60231 e1f62c416fb7
child 60233 49db3ac4e14d
back to repository location as path that is relative to the current directory:
amending 0ca0f9363ad3, which contains an accidental change;
use "./" to make clear that this is a directory, not a symbolic name;
README.md file | annotate | diff | comparison | revisions 
     1.1 --- a/README.md	Mon Apr 19 15:02:11 2021 +0200
     1.2 +++ b/README.md	Mon Apr 19 15:27:18 2021 +0200
     1.3 @@ -19,8 +19,8 @@
     1.4      hg clone https://isabelle.in.tum.de/repos/isabelle isabisac
     1.5      hg clone https://hg.risc.uni-linz.ac.at/wneuper/isa
     1.6  
     1.7 -    isabisac/Admin/init -I isabisac -V "../../isa"
     1.8 -    isabisac/bin/isabelle components -u "../isa"
     1.9 +    isabisac/Admin/init -I isabisac -V ./isa
    1.10 +    isabisac/bin/isabelle components -u ./isa
    1.11  
    1.12  * later updates:
    1.13
wneuper/isa