05/17/01 added Project summary under Handouts
05/09/01 added Lecture 26 summary
05/03/01 added Lecture 25 summary
	 added more details in Parts 4 and 6 of Handout P
05/01/01 added Lecture 24 summary
	 added in Readings: Nondeterminism and concurrency, Handout notes L24
	 added Handout P
04/26/01 added Lecture 23 summary
	 added in Readings: Handout lecture notes L23
	 added in Readings: link to Sagonas et al' XSB programmer's manual
04/24/01 added Lecture 22 summary
	 added Handout H12
	 added in Readings: Apt's logic programming Tutorial
	 added in Readings: Handout lecture notes L22
	 added in Systems: links to XSB and its local installation
	 added in Systems: old APTS & link to local installation,usage,exampels
04/19/01 added Lecture 21 summary
	 added in Readings: Handout lecture notes L21
04/17/01 added Lecture 20 summary
	 added Handout H11
	 added in Readings: Handout lecture notes L20 and Paige&Koenig's paper
04/12/01 added Lecture 19 summary
	 added the list of lecture notes handed out in class
	 added in Readings: Handout lecture notes L18 and L19
04/10/01 added Lecture 18 summary
	 added Handout H10
	 added in Readings: link to collections framework in Java 2
	 added in Readings: link to API specifiation of Java 2
	 added in Readings: link to Snyder's SETL2 programming lang. document
	 added in Systems: links to SETL2 and guide to installation
04/03/01 added Lecture 17 summary (and homework: prepare :-()
	 added Midterm exam information (and homework after it---relax :-))
04/01/01 revised Handout E1 as in the email announcement
03/31/01 added Handout E1: preparation for midterm exam
	 added outline and comments next to Handout H7
03/30/01 added expected outputs for tests in Handout H9
03/29/01 added Lecture 16 summary
	 changed homework9 due time from midnight to before class in Handout H9
03/27/01 added Lecture 15 summary
	 added Handout H9
	 added in Readings: link to OO concepts in Java Tutorial
03/15/01 added Lecture 14 summary
	 added Handout H8
	 moved midterm date a week later
03/13/01 added Lecture 13 summary
	 added in Readings: 
	   link to Schwartzbach's lecture notes on polymorphic type inference
	 extended homework 7 due date from 03/15 to 03/16 in Handout H7
03/08/01 added Lecture 12 summary
	 added Handout H7
	 modified the phrase before the example in Handout H7
03/06/01 changed homework 6 due date from 03/06 to 03/08 in Handout H6
	   due to official class cancellation
03/01/01 added Lecture 11 summary
	 revised Handout H6 as in the email announcement
02/27/01 added Lecture 10 summary
	 added in Readings: link to Tofte's lectures on SML
	 added Handout H6
	 added in Systems: links to SML/NJ and its local installation
02/22/01 added Lecture 9 summary
	 added in Readings: links to Harper's book on SML and SMLNJ literature
02/20/01 added Lecture 8 summary
	 added Handout H5
02/15/01 added Lecture 7 summary
	 added another Annie's office hour on Thursday
	 added planned midterm date
02/13/01 added Lecture 6 summary
	 added Handout H4
02/08/01 added Lecture 5 summary
	 deleted a homework problem in Handout H3
	 moved Annie's office hour on Thursday
02/06/01 added Lecture 4 summary
	 added Handout H3
	 changed room number for Jelena's office hours
	 added Jelena's phone number
02/05/01 added handin instructions for homework 2 in Handout H2
02/01/01 added Lecture 3 summary
	 changed TA to Jelena Trajkovic, with email address, in General Info
01/30/01 added Lecture 2 summary
	 added in Readings: Formal semantics for a simple imperative language
	 added Handout H2
01/28/01 changed TA to Jenny Hizver, with email address, in General Info
01/25/01 added Lecture 1 summary
	 added Handout Q
	 added in Readings: Basic set theory
	 added Handout H1
01/24/01 added additional grading policies in General Information
	 added TA Rohan Fernandes and his email address in General Information
01/22/01 added Course Outline
01/18/01 homepage created with General Information