January 2010 Archives by author
Starting: Mon Jan 11 14:45:56 EST 2010
Ending: Sun Jan 31 19:30:49 EST 2010
Messages: 21
- [PL-sem-jr] Schedule conflict
Daniel Brown
- [PL-sem-jr] Schedule conflict
Daniel Brown
- [PL-sem-jr] Schedule conflict
Stephen Chang
- [PL-sem-jr] Schedule conflict
Jed Davis
- [PL-sem-jr] planning meeting: Wed 1/13, 11:45, WVH366
Carl Eastlund
- [PL-sem-jr] Schedule conflict
J. Ian Johnson
- [PL-sem-jr] Schedule conflict
J. Ian Johnson
- [PL-sem-jr] Tentative schedule and tomorrow: Ian on prioritizing ACL2 rules
Vincent St-Amour
- [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] 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] Talk tomorrow, Mon 2/1
Vincent St-Amour
- [PL-sem-jr] planning meeting: Wed 1/13, 11:45, WVH366
Aaron Turon
- [PL-sem-jr] planning meeting: Wed 1/13, 11:45, WVH366
Aaron Turon
- [PL-sem-jr] rely/guarantee
Aaron Turon
- [PL-sem-jr] Tentative schedule and tomorrow: Ian on prioritizing ACL2 rules
Dimitris Vardoulakis
Last message date:
Sun Jan 31 19:30:49 EST 2010
Archived on: Sun Jan 31 19:31:06 EST 2010
This archive was generated by
Pipermail 0.09 (Mailman edition).