No matches were found for
subject:"\\\[PG\\\-devel\\\] kill windows showing response and goals buffers on proof\\\-shell\\\-exit"
0 matches
Has the words
From
Subject
Date within 1 day of
Date within 3 days of
Date within 1 week of
Date within 2 weeks of
Date within 1 month of
Date within 2 months of
Date within 6 months of
Date within 1 year of
e.g. Jul 18 2006 or 8/14/03
Doesn't have
Sort by relevance
Sort by date
Site Navigation
The Mail Archive home
proofgeneral-devel - all messages
proofgeneral-devel - about the list
Expand
Mail list logo
