2 commits

Author	SHA1	Message	Date
crs	3d41e1c7fd	checkpointing notes.	2002-08-02 21:57:29 +00:00
crs	8c1f5f623b	added EXTRA_* files to get `make dist' doing the right thing.	2002-07-31 16:27:06 +00:00

Renamed from notes (Browse further)