is a free software program dedicated to "grep" the
fom-digests mailing list.
Fom is an automated e-mail
discussing Foundations Of Mathematics. It is a
closed and moderated list (see Stephen
G. Simpson : What is Foundations of
Mathematics ? for further details).
Fom is also avalaible in digest
This means that, instead of receiving each fom
message as an individual e-mail, you will receive groups of messages
clumpsed together. Fom archives are
avalaible at http://www.cs.nyu.edu/pipermail/fom/
This program is an help to work with fom-digests groups of
messages. It runs on Windows 95/98 or Windows NT.
No database is required. About Fom
1 - Unzip the
installation kit and run the program file Setup.exe.
2 - Copy the fom-digest documents in a unique directory.
The fom-digest documents
are plain ASCII files; they are saved from your browser using the Save
as... menu and txt type.
The program check the fom-digest documents using a default pattern fom*.txt
(you can modify it) and examine the documents alphabetically.
So it is a good idea to store the fom-digests with three digits as fom072.txt,
fom101.txt, etc in order to examine them
1 - Run the program .
First running, you must choose the directory containing the fom-digest
documents to examine and the pattern (default is fom*.txt).
2 - In the drop list box.: type or choose the
string to find in the fom-digest documents. For example, lookup for Dedekind.
3 - Choose the options Whole word and/or Case
4 - Push the button Lookup! Results are shown like
mathematicians of the
Weirstrass, Dedekink, Cantor
5 - Click on the
fom072.txt, Line:61 to
display the mail containing the line "mathematicians of the stature of
Weirstrass, Dedekink, Cantor".
6 - Push the button Export
all to build a single document with all the result mails.
e.g. a unique document Dedekind.txt or Dedekind.rtf
will be generated depending the option used in the menu Option/Export
You can collect only pertinent mails displaying them one by one with a
click on hyperlinks.
Rigth click in the display window to
copy the complete mail or selected part of the mail to the unique
Hope you find it useful.