18 Jun 2008
    Made some changes to TEACH SOLVER and LIB SOLVER

    Replaced 'instance' with 'pattern_instance' throughout the
    library to prevent a clash with 'instance' in objectclass.

    Added global variable solverdelay, default 50 (hundredths of a
    second), to slow down the display in Ved to make it visible.

    Clarified and expanded the teach file.


6 Jun 2008
    Copied
        http://www.cs.bham.ac.uk/research/projects/poplog/teach/opsys
    into
        $usepop/pop/packages/teaching/teach/opsys

5 May 2008
    Altered vedlatex/com/findcites and vedlatex/auto/findcite.p
    to include citeauthor citeyear

1 May 2008
    Altered popmatlab/popmatlab.p
    to extend vedhelplist to include HELP popmatlab

31 Mar 2008
    Yet another fix to
        vedlatex/auto/findcite.p
    to cope with interactions between pop11 syntax and latex file
    formats.

27 Feb 2008
    Put a temporary patch into
        vedlatex/auto/findcite.p
    to enable it to cope with \def or \newcommand used to
    define one of the 'citewords'. It simply reads to the end
    of the line. Ideally it should parse the whole command.

10 Feb 2008
    Slightly updated
        vedlatex/teach/latex
        vedlatex/teach/latex.tex

        vedlatex/help/latex
        vedlatex/help/ved_latex

4 Feb 2008
    Altered
        vedlatex/auto/findcite.p
        Added citenp to citewords

        teaching/auto/eliza.p
        No longer attempts to run saved image.
        (Compiling elizaprog is fast enough)

    Updated
        vedlatex/help/findcite

    Installed shell script
        vedlatex/com/findcites

29 Sep 2007
    Updated contents of com/ subdirectory
    Various other changes and updates in packages not recorded here

14 Mar 2005
    Slight change to the emacs package