On Sun, Dec 11, 2016 at 10:15:00PM +0000, Ximin Luo wrote:
> So it seems saving a workspace, even an "empty" one, then loading it
> again, causes GAP to be unable to parse the old-style manuals.
Well, if you remove gap-alnuth and gap-autpgrp, then it still report
problems:
yellowpig - /tmp%echo 'SaveWorkspace("./test.w");' | gap -q -b
true
true
yellowpig - /tmp%echo '?FieldByMatricesNC;' | gap -q -b -L ./test.w
#W corrupted 'manual.six': ##W (in stream: InputTextFile(/usr/share/gap/doc/t\
ut/manual.six))
#W corrupted 'manual.six': ##W (in stream: InputTextFile(/usr/share/gap/doc/c\
hanges/manual.six))
#W corrupted 'manual.six': ##W (in stream: InputTextFile(/usr/share/gap/pkg/G\
APDoc/example/manual.six))
Help: no matching entry found
Also this seems to work with GAP 4.7.5 in jessie which has the same
patch applied.
Cheers,
--
Bill. <ballo...@debian.org>
Imagine a large red swirl here.
