Sync with master copy.

forgot to edit CHANGES file

applied bug fix for PQ implementation

  Added priority queue implementation.

  Synchronizing with master copy of library.

  Synchronizing with master repository.

  Synchronizing Yale repository with master copy.

 Synchronizing Yale repository with master version of SML/NJ Library.

   Added andb, xorb, orb, notb, << and ~>> in IntInf.   Untested.
   Tag: leunga-20001214-int-inf

  Changes to bring Yale repository in sync with the master repository.

merged the big housecleaning patch (see HISTORY!)

code duplication cleanup (merge from private branch)

  Syncing Yale repository with master copy of SML/NJ library (see CHANGES
  file for details).

  Bringing Yale copy of library in sync with my master copy.

bring revisions from the vendor branch to the trunk

merged my path anchor changes into main trunk
more config/srcarchiveurl! YOU NEED NEW BINFILES more config/srcarchiveurl!
Read HISTORY and src/system/README!

  SML/NJ library synch.

  Removed info files generated by ML-Doc tool.

This commit was generated by cvs2svn to compensate for changes in r498,
which included commits to RCS files with non-trunk default branches.

Initial revision

This commit was generated by cvs2svn to compensate for changes in r475,
which included commits to RCS files with non-trunk default branches.

This commit was generated by cvs2svn to compensate for changes in r471,
which included commits to RCS files with non-trunk default branches.

This commit was generated by cvs2svn to compensate for changes in r469,
which included commits to RCS files with non-trunk default branches.

Initial revision

merged in 110.19 and 110.20.
Conflicts resolved, but it probably doesn't compile yet.

This commit was generated by cvs2svn to compensate for changes in r420,
which included commits to RCS files with non-trunk default branches.

This commit was generated by cvs2svn to compensate for changes in r418,
which included commits to RCS files with non-trunk default branches.

Initial revision

This commit was generated by cvs2svn to compensate for changes in r413,
which included commits to RCS files with non-trunk default branches.

This commit was generated by cvs2svn to compensate for changes in r411,
which included commits to RCS files with non-trunk default branches.

Initial revision

This commit was generated by cvs2svn to compensate for changes in r289,
which included commits to RCS files with non-trunk default branches.

This commit was generated by cvs2svn to compensate for changes in r169,
which included commits to RCS files with non-trunk default branches.

version $version

This commit was generated by cvs2svn to compensate for changes in r167,
which included commits to RCS files with non-trunk default branches.

these should not be managed by CVS

This commit was generated by cvs2svn to compensate for changes in r141,
which included commits to RCS files with non-trunk default branches.

This commit was generated by cvs2svn to compensate for changes in r139,
which included commits to RCS files with non-trunk default branches.

Initial revision

merged in 110.6 changes

This commit was generated by cvs2svn to compensate for changes in r106,
which included commits to RCS files with non-trunk default branches.

Initial revision

This commit was generated by cvs2svn to compensate for changes in r29,
which included commits to RCS files with non-trunk default branches.

Initial revision

*** empty log message ***

merged with flint-v1.1

This commit was generated by cvs2svn to compensate for changes in r8,
which included commits to RCS files with non-trunk default branches.

Initial revision

Initial revision