# HG changeset patch
# User wenzelm
# Date 1577027533 -3600
# Node ID 2afdd24ff707f3b3ef67532e30462d7196321af6
# Parent  8b69289254ba4897a8099b9276ac9619e8e6e90d
improved Markdown-like display in Phabricator;

diff -r 8b69289254ba -r 2afdd24ff707 Admin/MacOS/README
--- a/Admin/MacOS/README	Sun Dec 22 15:53:54 2019 +0100
+++ b/Admin/MacOS/README	Sun Dec 22 16:12:13 2019 +0100
@@ -3,5 +3,5 @@
 
 * http://java.net/projects/appbundler
 
-  see appbundler-1.0.jar
-  see com/oracle/appbundler/JavaAppLauncher
+  - see appbundler-1.0.jar
+  - see com/oracle/appbundler/JavaAppLauncher
diff -r 8b69289254ba -r 2afdd24ff707 Admin/Windows/Cygwin/README
--- a/Admin/Windows/Cygwin/README	Sun Dec 22 15:53:54 2019 +0100
+++ b/Admin/Windows/Cygwin/README	Sun Dec 22 16:12:13 2019 +0100
@@ -7,18 +7,19 @@
   https://ftp.eq.uc.pt/software/pc/prog/cygwin
 
 * Local snapshots:
-  http://isabelle.in.tum.de/cygwin  (Isabelle2012)
-  http://isabelle.in.tum.de/cygwin_2013  (Isabelle2013)
-  http://isabelle.in.tum.de/cygwin_2013-1  (Isabelle2013-1 and Isabelle2013-2)
-  http://isabelle.in.tum.de/cygwin_2014  (Isabelle2014)
-  http://isabelle.in.tum.de/cygwin_2015  (Isabelle2015)
-  http://isabelle.in.tum.de/cygwin_2016  (Isabelle2016)
-  http://isabelle.in.tum.de/cygwin_2016-1  (Isabelle2016-1)
-  http://isabelle.in.tum.de/cygwin_2017  (Isabelle2017)
-  https://isabelle.sketis.net/cygwin_2018  (Isabelle2018)
-  https://isabelle.sketis.net/cygwin_2019  (Isabelle2019)
+  - http://isabelle.in.tum.de/cygwin  (Isabelle2012)
+  - http://isabelle.in.tum.de/cygwin_2013  (Isabelle2013)
+  - http://isabelle.in.tum.de/cygwin_2013-1  (Isabelle2013-1 and Isabelle2013-2)
+  - http://isabelle.in.tum.de/cygwin_2014  (Isabelle2014)
+  - http://isabelle.in.tum.de/cygwin_2015  (Isabelle2015)
+  - http://isabelle.in.tum.de/cygwin_2016  (Isabelle2016)
+  - http://isabelle.in.tum.de/cygwin_2016-1  (Isabelle2016-1)
+  - http://isabelle.in.tum.de/cygwin_2017  (Isabelle2017)
+  - https://isabelle.sketis.net/cygwin_2018  (Isabelle2018)
+  - https://isabelle.sketis.net/cygwin_2019  (Isabelle2019)
 
 * Apache2 redirects for virtual host isabelle.conf:
+```
   Redirect /cygwin/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/release
   Redirect /cygwin_2013/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/release
   Redirect /cygwin_2013-1/release http://ftp.eq.uc.pt/software/pc/prog/cygwin/release
@@ -39,6 +40,7 @@
   Redirect /cygwin_2019/x86/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86/release
   Redirect /cygwin_2019/x86_64/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/x86_64/release
   Redirect /cygwin_2019/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
+```
 
 * Quasi-component: "isabelle build_cygwin" (as Administrator)
 
@@ -47,15 +49,19 @@
   - run Cygwin terminal as Administrator
 
   - run ssh-host-config
-
+```
     StrictMode: yes
     privilege separation: yes
     new local account 'sshd': yes
     sshd as a service: yes
     different name (than cyg_server): no
     new privileged account cyg_server: yes
+```
 
-  - mkpasswd -l > /etc/passwd
+  - user setup
+```
+    mkpasswd -l > /etc/passwd
     mkgroup -l > /etc/group
 
     passwd -R USER
+```
diff -r 8b69289254ba -r 2afdd24ff707 Admin/components/README
--- a/Admin/components/README	Sun Dec 22 15:53:54 2019 +0100
+++ b/Admin/components/README	Sun Dec 22 16:12:13 2019 +0100
@@ -5,7 +5,7 @@
 ---------------
 
   * ensure that Isabelle/Scala/SSH can connect to the host specified via
-    system option "isabelle_components_server"; this may require to install
+    system option `isabelle_components_server`; this may require to install
     an unencrypted ssh host key as follows:
 
       $ ssh-keyscan -t rsa lxbroy10.informatik.tu-muenchen.de >> ~/.ssh/known_hosts
@@ -57,22 +57,22 @@
 nonfree components should omit "read" mode for the Unix group/other;
 regular components should be world-readable.
 
-The file Admin/components/components.sha1 contains SHA1 identifiers
+The file `Admin/components/components.sha1` contains SHA1 identifiers
 within the Isabelle repository, for integrity checking of the archives
 that are exposed to the public file-system.  The command-line tool
-"isabelle build_components" maintains these hash-keys automatically.
+`isabelle build_components` maintains these hash-keys automatically.
 
 
 Unpacked copy
 -------------
 
-A second unpacked copy is provided in /home/isabelle/contrib/. This allows
+A second unpacked copy is provided in `/home/isabelle/contrib/`. This allows
 users and administrative services within the TUM network to activate arbitrary
 snapshots of the repository with all standard components being available,
 without extra copying or unpacking of the authentic archives. The
 isabelle_cronjob does this routinely: it will break if the unpacked version is
 omitted.
 
-The command-line tool "isabelle build_components -P" takes care of uploading
+The command-line tool `isabelle build_components -P` takes care of uploading
 the .tar.gz archive and unpacking it, unless it is a special component (e.g.
 for multiplatform application bundling).