WNPP bugs submitted by lionel@mamane.lu
- #1006643: O: ifrench-gut -- French dictionary for ispell (GUTenberg version) (1682 day(s) old)
- #1139213: ITP: python-pause -- A timestamp-based sleep function for Python (123 day(s) old)
- #494491: RFP: isabelle -- Generic theorem proving environment (6634 day(s) old)