../ userdoc-charter.txt 31-May-2002 20:01 1981 userdoc-minutes-89july.txt 12-Jun-1990 13:59 9236 userdoc-minutes-89nov.txt 12-Jun-1990 13:58 6983 userdoc-minutes-90feb.txt 12-Jun-1990 13:56 6074 userdoc-minutes-90may.txt 12-Jun-1990 13:55 3244