Index of /home/mke/edinburgh/tools/tracing

	Name	Last modified	Size	Description
	andor.pl	1988-04-14 22:28	19K
	medic.pl	1988-04-15 00:09	8.5K
	advice.pl	1988-04-14 22:26	7.6K
	advice.hlp	1988-04-14 22:25	4.0K
	trace.pl	1988-04-15 01:17	2.1K
	test.pl	1988-04-15 01:09	1.5K