January 2010 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Mon Jan 11 14:45:56 EST 2010
Ending: Sun Jan 31 19:30:49 EST 2010
Messages: 21

• [PL-sem-jr] planning meeting: Wed 1/13, 11:45, WVH366   Aaron Turon
  • [PL-sem-jr] planning meeting: Wed 1/13, 11:45, WVH366   Carl Eastlund
    • [PL-sem-jr] planning meeting: Wed 1/13, 11:45, WVH366   Aaron Turon
• [PL-sem-jr] Tentative schedule and tomorrow: Ian on prioritizing ACL2 rules   Vincent St-Amour
  • [PL-sem-jr] Tentative schedule and tomorrow: Ian on prioritizing ACL2 rules   Dimitris Vardoulakis
• [PL-sem-jr] Schedule conflict   Vincent St-Amour
  • [PL-sem-jr] Schedule conflict   Jed Davis
    • [PL-sem-jr] Schedule conflict   J. Ian Johnson
      • [PL-sem-jr] Schedule conflict   Daniel Brown
      • [PL-sem-jr] Schedule conflict   J. Ian Johnson
      • [PL-sem-jr] Schedule conflict   Stephen Chang
      • [PL-sem-jr] Schedule conflict   Daniel Brown
      • [PL-sem-jr] Schedule conflict   Vincent St-Amour
      • [PL-sem-jr] Schedule conflict   Vincent St-Amour
• [PL-sem-jr] Schedule conflict   Vincent St-Amour
• [PL-sem-jr] Talk tomorrow, Thu 1/20   Vincent St-Amour
  • [PL-sem-jr] Talk tomorrow, Thu 1/20   Vincent St-Amour
• [PL-sem-jr] New schedule   Vincent St-Amour
  • [PL-sem-jr] Talk tomorrow, Mon 1/25   Vincent St-Amour
• [PL-sem-jr] rely/guarantee   Aaron Turon
• [PL-sem-jr] Talk tomorrow, Mon 2/1   Vincent St-Amour

Last message date: Sun Jan 31 19:30:49 EST 2010
Archived on: Sun Jan 31 19:31:06 EST 2010

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...