recovered sort indentation for "sort position", as documented in the file;
more precise dependencies -- HOL-Multivariate_Analysis produces an image;
tuned;
[extensions]
hgext.convert =
[convert]
cvsps = /home/isabelle-repository/repos/cvsps-2.1-patched/cvsps -A -u --cvs-direct --norc -b HEAD
[web]
style = isabelle
description = Snapshot of the old Isabelle CVS
allow_archive = gz
maxfiles = 50