/README/1.2/Mon Jul 17 23:42:57 1995 Mon Jul 17 22:48:26 1995//
/faq.texi/1.6/Mon Jul 17 23:42:57 1995 Mon Jul 17 22:48:27 1995//
/library.texi/1.5/Mon Jul 17 23:42:57 1995 Mon Jul 17 22:48:29 1995//
/mercury.html/1.4/Mon Jul 17 23:42:57 1995 Mon Jul 17 22:48:31 1995//
/mercury.info/1.4/Mon Jul 17 23:42:57 1995 Sun Jul 16 17:46:33 1995//
/reference_manual.texi/1.19/Mon Jul 17 23:42:57 1995 Mon Jul 17 21:05:48 1995//
/texi2html/1.2/Mon Jul 17 23:42:57 1995 Tue May 30 04:10:15 1995//
/texinfo.tex/1.1/Mon Jul 17 23:42:58 1995 Wed Mar  1 09:43:34 1995//
/transition_guide.texi/1.7/Mon Jul 17 23:42:58 1995 Mon Jul 17 22:48:32 1995//
/user_guide.texi/1.24/Mon Jul 17 23:42:58 1995 Mon Jul 17 22:48:34 1995//
/Mmake/1.9/Tue Jul 18 01:13:28 1995 Mon Jul 17 22:48:24 1995//
