added functor Linear_Set, based on former adhoc structures in document.ML;
Linear_Set.delete_after (ML): actually delete table entries;
Scala Linear_Set: clarified exceptions, according to ML version;
simplified Document.node using Linear_Set;
ML Document.edit: refer to start via NONE instead of no_id, according to Scala version;
# rsync server configuration
uid = nobody
gid = nobody
use chroot = yes
log file = /tmp/rsyncd.log
read only = true
[isabelle-website]
path = /home/proj/isabelle/website
comment = Isabelle website
[isabelle-distribution]
path = /home/proj/isabelle/website/dist
comment = Isabelle distribution
# Sydney legacy link
[isabelle-dist]
path = /home/proj/isabelle/website
comment = Isabelle website