Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
new standard dir structure
authorkleing
Thu, 22 Jun 2006 05:16:15 +0200
changeset 19941 f0aeb6a145b1
parent 19940 906c887ed587
child 19942 dc92e3aebc71
new standard dir structure
Admin/isatest-settings file | annotate | diff | comparison | revisions 
--- a/Admin/isatest-settings	Wed Jun 21 21:30:57 2006 +0200
+++ b/Admin/isatest-settings	Thu Jun 22 05:16:15 2006 +0200
@@ -8,7 +8,7 @@
 . ~/.bashrc
 
 # canoncical home for all platforms
-HOME=/usr/stud/isatest
+HOME=/home/isatest
 
 ## send email on failure to
 MAILTO="kleing@cse.unsw.edu.au nipkow@in.tum.de berghofe@in.tum.de schirmer@in.tum.de lp15@cam.ac.uk makarius@sketis.net haftmann@in.tum.de"
isabelle