Index of /~leavens/COP4020/meeting-outlines

 Name                    Last modified       Size  Description

 Parent Directory        21-Nov-2009 21:30      -  
 Outline-units.txt       20-Aug-2007 11:43     1k  
 concepts.txt            26-Aug-2009 11:22    11k  
 course-evaluations.txt  01-Dec-2007 13:30     1k  
 declarative-concurre..> 20-Oct-2009 10:20    37k  
 declarative-programm..> 23-Sep-2009 10:59    31k  
 declarative.txt         02-Sep-2009 16:36    38k  
 introduction.txt        07-Jan-2009 09:52     3k  
 message-passing.txt     10-Nov-2009 22:35    22k  
 relational.txt          17-Apr-2009 14:37    26k  
 summary-review.txt      27-Apr-2009 07:59     3k  

These lecture notes are copyright (c) 2006-2007 by Gary T. Leavens.
Permission is granted for you to make copies for educational and scholarly
purposes, but not for direct commercial advantage, provided this notice
appears on all copies.  All other rights reserved.

The lecture notes in this directory are organized hierarchically.

The units are described in the file Outline-units.txt.
The format of Outline-units is that lines beginning with a * name units,
those with one asterisk (*) are major units,
those with two (**) are subunits, etc.
Each unit name that begins with a lower-case letter (a-z) is also the name
of a directory found in this directory that contains the lecture notes on
that unit.

To get the names of the unit directories in their proper order,
execute the command
	~leavens/bin/lecture-units.

The files in a unit directory are described in the file Outline-files.txt
found in that directory.
The format of Outline-files is that lines beginning with a * name topics,
those with one asterisk (*) are major topics,
those with two (**) are subtopics, etc.
Each topic name that begins with a lower-case letter (a-z) is also the name
of a file found in the unit directory that contains lecture notes on
that topic.

To get the names of the files in a unit in their proper order,
execute the command
	~leavens/bin/unit files
There are also commands to extract the outline of a unit (unit outline)
any examples (enclosed in pairs of lines of the form -------) (unit examples)
and handouts that combine the outline with the examples and questions
(unit handouts).  For all but the examples and dump options of unit
 you'll need to have ~leavens/bin/${MACHINE}/emacs_std_outline in your PATH,
where ${MACHINE} is the kind of machine you're running (e.g., a hp9000).

The outline style of the topic files follows the same style as above
(emacs outline format).  There is a command, ~leavens/bin/note,
that understands the format of individual note files.
For example to extract the standard outline of a file, execute
	~leavens/bin/note outline
(You'll need to have ~leavens/bin/${MACHINE}/emacs_std_outline in your PATH.)