dalamb@umiacs.umd.edu (David Lamb) (06/20/91)
As part of maintinging the frequently-asked-questions postings, I've collected a few summaries that don't seem "frequently asked" enough for a monthly posting, but seem worth making available. All are summaries of responses to questions posted on the net; as usual, your mileage may vary. The following files are available via anonymous ftp in directory pub/dalamb from host ftp.umiacs.umd.edu. cmtools Comments on DSEE, RCS vs SCCS diagramedit Tools for building diagram editors restruct Tools for restructuring and reverse engineering vdm-z comparison of Z and VDM
dalamb@avi.umiacs.umd.edu (David Lamb) (06/21/91)
In article <35835@mimsy.umd.edu> dalamb@umiacs.umd.edu (David Lamb) writes: >The following files are available via anonymous ftp in directory pub/dalamb >from host ftp.umiacs.umd.edu. > cmtools Comments on DSEE, RCS vs SCCS > diagramedit Tools for building diagram editors > restruct Tools for restructuring and reverse engineering > vdm-z comparison of Z and VDM The host number for ftp.umiacs.umd.edu is currently 120.8.120.23. This name is really a nickname for one of our real hosts, and might change as its filespace fills up. Thus it's better to use the name rather than the number, if your name server will cooperate.
dalamb@avi.umiacs.umd.edu (David Lamb) (06/24/91)
The host number for ftp.umiacs.umd.edu is currently 128.8.120.23, not 120.8.120.23 as I posted in an earlier message. Sorry for the typo.