prepost-history

Friday, 17 March, 2000 [John Stone]

• Last modified by Mr. Stone.

Friday, 15 September 2000 [Sam Rebelsky]

• Copied from the original at http://www.cs.grinnell.edu/~stone/courses/scheme/spring-2000/preconditions-and-postconditions.xhtml.
• Replaced images by text.
• Moved problems to a separate lab.
• Some small rewriting.
• Reformatted.
• This version available as http://www.cs.grinnell.edu/~rebelsky/Courses/CS151/2000F/Readings/prepost.html.

Sunday, 18 February 2001 [Sam Rebelsky]

• Reformatted (including breaking into sections).
• Added the note about verified and unverified conditions.
• Added the final section about documentation.

Thursday, 22 Februrary 2001 [Samuel A. Rebelsky]

• Some very minor reformatting (including a new table of contents).
• This version available as http://www.cs.grinnell.edu/~rebelsky/Courses/CS151/2001S/Readings/prepost.html.

Early Fall 2002 [Samuel A. Rebelsky]

• Reformatted for the new course.

Thursday, 10 October 2002 [Samuel A. Rebelsky]

• Removed the all-real? procedure, which was badly formatted and shouldn't have been here anyway.
• This version available as http://www.cs.grinnell.edu/~rebelsky/Courses/CS151/2002F/Readings/prepost.html.

Sunday, 2 February 2003 [Samuel A. Rebelsky]

• Reformatted once again.
• Validated HTML.
• This version available as http://www.cs.grinnell.edu/~rebelsky/Courses/CS153/2003S/Readings/prepost.html.

Thursday, 26 September 2003 [Samuel A. Rebelsky]

• Added a summary.
• Fixed some descriptive text related to links.
• Moved history to separate file.
• This version available as http://www.cs.grinnell.edu/~rebelsky/Courses/CS151/2003F/Readings/prepost.html.

Tuesday, 19 September 2006 [Samuel A. Rebelsky]

• Added link to PDF version.
• Replaced short section on the six P's with a long essay on documentation.
• This version available as http://www.cs.grinnell.edu/~rebelsky/Courses/CS151/2006F/Readings/prepost.html.

Thursday, 15 February 2007 [Samuel A. Rebelsky]

• Added a few details on writing preconditions and postconditions.
• Other, minor, cleanup.
• Corrected some inaccurate links in the history.
• This version available as http://www.cs.grinnell.edu/~rebelsky/Courses/CS151/2007S/Readings/prepost.html.

Tuesday, 2 October 2007 [Samuel A. Rebelsky]

• Excised sections on documentation. Those sections are now in a separate reading on documentation

Wednesday, 3 October 2007 [Samuel A. Rebelsky]

• Replaced the greatest-in-list example with spot-list.leftmost.

Thursday, 4 October 2007 [Samuel A. Rebelsky]

• A bit more cleanup, missed in yesterday's activities.
• This version available as http://www.cs.grinnell.edu/~rebelsky/Courses/CS151/2007S/Readings/prepost-reading.html.