cvs commit: www/Hugs/pages downloading-Sep2006.htm

Ross Paterson ross at soi.city.ac.uk
Fri Apr 20 15:33:50 EDT 2007

Previous message: patch applied (hugs98): comments only: change GreenCard to FFI
Next message: patch applied (hugs98): report the top-level goal when hitting the cutoff (fixes #65)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

ross        2007/04/20 12:33:50 PDT

  Modified files:
    Hugs/pages           downloading-Sep2006.htm 
  Log:
  update Debian
  
  Revision  Changes    Path
  1.13      +3 -5      www/Hugs/pages/downloading-Sep2006.htm

Previous message: patch applied (hugs98): comments only: change GreenCard to FFI
Next message: patch applied (hugs98): report the top-level goal when hitting the cutoff (fixes #65)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-hugs mailing list