[Search for users] [Overall Top Noters] [List of all Conferences] [Download this site]

Posting history for user RICKS::LEONARD

231 notes across 20 conferences

Known Personal Names (3)

Tim Leonard, Cantab
Tim Leonard, Formal Alpha Verification
Tim Leonard, Formal Verification

Possible 2 Other Accounts for RICKS::LEONARD

Username	Total Posts	First Post	Last Post	Most Used Personal Name
GALLOP::LEONARDT	3	`Fri May 05 1989`	`Mon Feb 26 1990`	Tim Leonard, Cantab
JOCKEY::LEONARDT	1	`Wed May 30 1990`	`Wed May 30 1990`	Tim Leonard, Cantab

Summary of Posts

Click on conference filespec to scroll down to

Conference	Total Posts	Conference Title
ricks::formal_verification	155	Formal Specification and Verification
gyro::internet_toolss	20	Internet Tools
iosg::interleaf	11	Interleaf (IWS)
turris::decspec	7	DECspec
7.286::macintosh	4	Apple Macintosh Volume II
mr1pst::dec_history	4	FORUM ON DIGITAL'S HISTORY
rusure::math	4	Mathematics at DEC
turris::lisp	4	LISP
vaxaxp::notes$archive:alphanotes_v1	3	Alpha Support conference
tallis::vax	3	VAX Architecture
noted::elfv3	3	ELFV3
galvia::decwrite	2	You can't go wrong with DECwrite
turris::easynet_conferences	2	EasyNet Conference Directory
atlant::pdp_home_companion	2	Early Digital RISC architectures
vaxuum::tex	2	TeX - Knuth's Text Processor
decwet::windows-nt	1	Windows NT
7.286::classified_ads	1	Welcome to C_A, Please READ THE RULES in Note 2.*
milord::war_story	1	Computer War Stories
noted::sf	1	Arcana Caelestia
bookie::arts	1	Martial Arts: Karate, Kung-Fu, TKD, Aikido

Conference decwet::windows-nt (Windows NT)

1 posts

TOPIC 48.0 Wed Jan 08 1992 08:07 Is documentation available? 2 lines

Conference galvia::decwrite (You can't go wrong with DECwrite)

2 posts

TOPIC	52.0	LaTeX --> DECwrite
	52.2	`Wed Apr 17 1991 15:15`	LaTeX to DECwrite markup?	14 lines
TOPIC	1014.0	`Wed Apr 17 1991 18:18`	Where's the format info?	12 lines

Conference 7.286::macintosh (Apple Macintosh Volume II)

4 posts

TOPIC	5.0	Conference Participants
	5.103	`Fri Jun 21 1991 12:51`	Tim Leonard, Hudson, MA	2 lines
TOPIC	7.0	For Sale
	7.985	`Thu Mar 14 1996 15:29`	1MB memory SIMMs, 30 pin, $10 each	9 lines
TOPIC	352.0	`Tue Dec 03 1991 09:59`	Claris's "MacWrite"	6 lines
	352.18	`Tue Feb 25 1992 09:56`	Need System 6 for a conversion	7 lines

Conference turris::easynet_conferences (EasyNet Conference Directory)

2 posts

TOPIC	1628.0	Formal Verification (formerly Formal Specification)
	1628.1	`Wed Nov 18 1992 09:06`	Moved and renamed	6 lines
TOPIC	2152.0	Deleted Architecture conference
	2152.3	`Wed Jul 10 1991 11:15`	Closed and deleted	2 lines

Conference vaxaxp::notes$archive:alphanotes_v1 (Alpha Support conference)

3 posts

TOPIC	2675.0	Rusid lISP or Common LISP ?
	2675.3	`Wed Aug 25 1993 12:40`	Look in the Lucid-Lisp conference	6 lines
	2675.5	`Fri Aug 27 1993 10:40`	turris::lucid-lisp	4 lines
TOPIC	2677.0	`Wed Aug 18 1993 09:58`	Who writes Alpha's math RTL?	6 lines

Conference atlant::pdp_home_companion (Early Digital RISC architectures)

2 posts

TOPIC	146.0	PDP-8/S specs?!
	146.1	`Tue Aug 31 1993 18:25`	Sources for PDP-8 documentation	91 lines
	146.2	`Tue Aug 31 1993 18:35`	How is PDP-8/S incompatible?	3 lines

Conference 7.286::classified_ads (Welcome to C_A, Please READ THE RULES in Note 2.*)

1 posts

TOPIC 650.0 Thu Mar 14 1996 15:31 1MB SIMMs, 30 pin, $10 each 9 lines

Conference iosg::interleaf (Interleaf (IWS))

11 posts

TOPIC	1.0	Introduction
	1.1	`Thu Apr 18 1991 16:48`	Pointers to other topics	10 lines
TOPIC	705.0	`Wed Apr 17 1991 22:18`	Description of Interleaf	3 lines
	705.1	`Wed Apr 17 1991 22:23`	Interleaf's description	65 lines
	705.2	`Wed Apr 17 1991 22:27`	Features-comparison chart	10 lines
TOPIC	706.0	`Wed Apr 17 1991 22:20`	How to contact Interleaf	1 lines
	706.1	`Wed Apr 17 1991 22:28`	Digital acct rep	7 lines
TOPIC	707.0	`Wed Apr 17 1991 22:21`	Paying for a copy	2 lines
	707.1	`Wed Apr 17 1991 22:30`	* obsolete --- see 707.3 *	6 lines
	707.4	`Tue Apr 23 1991 21:48`	Current prices	19 lines
	707.6	`Tue May 28 1991 17:42`	`Slim' is probably `Core Plus'	2 lines
	707.7	`Tue May 28 1991 17:48`	Documentation costs separately	6 lines

Conference gyro::internet_toolss (Internet Tools)

20 posts

TOPIC	299.0	Mosaic and Web Security Issues...
	299.27	`Fri May 27 1994 17:14`	Secure Mosaic is available	150 lines
TOPIC	498.0	`Fri Apr 08 1994 17:19`	Help make Digital's web usable!	31 lines
TOPIC	532.0	VTX to WWW feed?
	532.20	`Mon Mar 25 1996 16:05`	http://vtx-info.shr.dec.com:888/cgi-bin/vtx	1 lines
TOPIC	563.0	Customer access to Digital
	563.6	`Fri May 27 1994 14:23`	You can "tunnel" your machine to the outside	3 lines
TOPIC	675.0	Domain name info
	675.23	`Thu Jul 07 1994 10:44`	How to fix this	16 lines
TOPIC	693.0	U.S. employee browser
	693.43	`Thu Jul 07 1994 11:22`	How 'bout links to other browser pages?	13 lines
	693.45	`Fri Jul 08 1994 10:53`	"Biography page"/business card/who's who entry	3 lines
TOPIC	1798.0	new HTML tags supported by Netscape 1.1
	1798.6	`Tue Mar 21 1995 13:50`	Backgrounds hang VAXstation windows	9 lines
TOPIC	1812.0	Netscape V1.1b1 on OSF/1 bugs
	1812.17	`Fri Jul 14 1995 10:35`	X Toolkit Warning: locale not supported by C library	3 lines
TOPIC	2299.0	`Mon Jul 10 1995 11:25`	Exec format error. Wrong Architecture.	19 lines
TOPIC	2454.0	`Mon Aug 14 1995 17:37`	How to bypass bad data in proxy's cache?	9 lines
	2454.2	`Tue Aug 15 1995 18:00`	Can't reload a .ps file	4 lines
	2454.4	`Wed Aug 16 1995 10:57`		5 lines
	2454.6	`Thu Aug 17 1995 17:01`	Tries 4, 5, 6 --- any more?	12 lines
	2454.8	`Fri Aug 18 1995 09:45`	Here's the URL	6 lines
TOPIC	2458.0	[email protected] ?
	2458.44	`Mon Aug 21 1995 13:47`		6 lines
TOPIC	2892.0	`Tue Nov 28 1995 10:22`	Can I change Netscape fonts?	8 lines
TOPIC	3040.0	ftp: URL syntax for VMS directory or VMS logical name??
	3040.4	`Wed Jan 17 1996 12:55`	Try a configuration alias	2 lines
TOPIC	3391.0	run netscape in one place and display it in another?
	3391.2	`Fri Mar 22 1996 16:53`	SET DISPLAY/CREATE/TRANSPORT=TCPIP/NODE=<nodename>	6 lines
TOPIC	3480.0	OpenVMS/Alpha Netscape Navigator IFT available
	3480.47	`Tue Apr 30 1996 16:38`	Try using editres to ask the Navigator	6 lines

Conference milord::war_story ( Computer War Stories )

1 posts

TOPIC	267.0	computer crimes/industial spy stories
	267.9	`Thu Aug 22 1991 11:20`		6 lines

Conference mr1pst::dec_history (FORUM ON DIGITAL'S HISTORY)

4 posts

TOPIC	243.0	`Fri Aug 27 1993 10:55`	PDP-8/S specs?!	6 lines
	243.2	`Fri Aug 27 1993 12:12`		20 lines
	243.4	`Tue Aug 31 1993 18:41`	PDP-8 maint manual?	5 lines
TOPIC	250.0	AWT testers - retirement home ?
	250.1	`Thu Oct 07 1993 10:58`		2 lines

Conference noted::sf (Arcana Caelestia)

1 posts

TOPIC	1292.0	For Sale / Wanted
	1292.6	`Tue Mar 25 1997 17:24`	7 books for sale	13 lines

Conference bookie::arts (Martial Arts: Karate, Kung-Fu, TKD, Aikido)

1 posts

TOPIC 558.0 Tue Jul 09 1991 13:50 Recommended Tai Chi books 3 lines

Conference ricks::formal_verification (Formal Specification and Verification)

155 posts

TOPIC	1.0	Purpose
	1.1	`Fri Oct 30 1992 15:27`	Conference purpose	15 lines
	1.2	`Tue Nov 17 1992 15:01`	Index to tools and logics in 16.1	1 lines
TOPIC	3.0	Bibliography
	3.7	`Wed Nov 18 1992 17:17`	hardware-verification tutorial	22 lines
TOPIC	4.0	Participants
	4.27	`Wed Nov 18 1992 09:39`	Tim Leonard	9 lines
TOPIC	7.0	Workshops, seminars, conferences
	7.1	`Tue Nov 17 1992 15:41`	DCC '92 Call for papers	69 lines
	7.2	`Tue Nov 17 1992 16:29`	EDAC '92 Call for papers	292 lines
	7.3	`Tue Nov 17 1992 16:29`	EUARTSD '92 Call for papers	100 lines
	7.5	`Tue Nov 17 1992 16:30`	TPCD '92 Call for papers	401 lines
	7.6	`Tue Nov 17 1992 16:33`	CADE-11 Program and registration	534 lines
	7.7	`Tue Nov 17 1992 16:33`	IFIP '92 Call for papers	1247 lines
	7.8	`Tue Nov 17 1992 16:34`	HUG '92 Program and registration	472 lines
	7.10	`Tue Nov 17 1992 16:36`	AISMC '92 program and registration	903 lines
	7.12	`Tue Nov 17 1992 16:37`	ERCIM '92 program	72 lines
	7.15	`Tue Nov 17 1992 16:38`	DISCO '93 CFP	101 lines
	7.17	`Tue Nov 17 1992 16:39`	AMAST '93 CFP	135 lines
	7.18	`Tue Nov 17 1992 16:39`	CAV '93 CFP	76 lines
	7.19	`Tue Nov 17 1992 16:39`	LCS '93 CFP	105 lines
	7.20	`Tue Nov 17 1992 16:40`	SAC '93 CFP	98 lines
	7.22	`Tue Nov 17 1992 16:40`	LPAR '93 CFP	120 lines
	7.23	`Tue Nov 17 1992 16:41`	TPAT '93 CFP	112 lines
	7.24	`Fri Nov 20 1992 17:30`	ICCD '93 CFP	95 lines
	7.27	`Mon Nov 30 1992 14:13`	ZUM '92 program and registration	156 lines
	7.28	`Tue Dec 01 1992 14:40`	DAC '93 CFP	90 lines
	7.30	`Mon Dec 07 1992 10:51`	FME '93 CFP	328 lines
	7.32	`Tue Dec 15 1992 09:29`	IJCAI '93 workshop announcement	118 lines
	7.33	`Tue Jan 26 1993 16:58`	ICCAD '93 CFP	119 lines
	7.34	`Mon Feb 01 1993 09:45`	CHDL '93 program and registration	375 lines
	7.36	`Mon Mar 15 1993 09:39`	CHARME '93 program and registration	338 lines
	7.37	`Mon Apr 19 1993 10:34`	LICS '93 program and registration	461 lines
	7.38	`Mon Apr 19 1993 10:48`	HUG '93 CFP	340 lines
	7.39	`Mon Apr 19 1993 10:49`	Hardware verification course	246 lines
	7.40	`Wed May 05 1993 11:22`	CADE-12 ('93) CFP	71 lines
	7.41	`Wed Jun 30 1993 09:37`	TPCD '94 CFP	187 lines
	7.42	`Wed Sep 01 1993 10:14`	LICS '94 CFP	116 lines
	7.43	`Thu Sep 23 1993 17:53`	LPAR '94 CFP	75 lines
	7.44	`Tue Oct 26 1993 10:57`	CAV '94 CFP	85 lines
	7.45	`Wed Jan 26 1994 09:58`	HISC '94 registration	87 lines
	7.46	`Mon Feb 07 1994 18:12`	CADE-12 workshop on evaluating provers	93 lines
	7.47	`Thu Feb 10 1994 08:47`	Euroform 2 announcement	24 lines
	7.48	`Mon Feb 14 1994 14:23`	HUG '94 CFP	165 lines
	7.49	`Fri Feb 18 1994 11:28`	CADE-12 workshop on model building	105 lines
	7.50	`Wed Apr 06 1994 09:53`	CLInc '93/'94 program	155 lines
	7.51	`Fri Apr 08 1994 12:08`	LICS '94 program and registration	639 lines
	7.52	`Wed Apr 13 1994 10:18`	CAV '94 program and registration	279 lines
	7.53	`Fri May 27 1994 10:05`	HUG '94 program and registration	451 lines
	7.54	`Wed Jul 13 1994 09:52`	TPCD '94 program and registration	18 lines
	7.55	`Fri Aug 05 1994 09:46`	ED&T '95 Call for papers	257 lines
	7.56	`Wed Sep 14 1994 13:52`	CAV '95 Call for papers	98 lines
	7.57	`Mon Sep 19 1994 11:01`	LICS '95 Call for papers	131 lines
	7.58	`Thu Jan 05 1995 08:44`	BCTCS '95 Call for papers	75 lines
	7.59	`Mon Jan 16 1995 09:01`	HOL '95 Call for papers	132 lines
	7.60	`Fri Feb 03 1995 11:21`	CHARME '95 Call for papers	88 lines
	7.61	`Wed Feb 22 1995 14:38`	LaRC FMWS95 Program and registration	6 lines
	7.62	`Thu Apr 13 1995 16:38`	CAV '95 program and registration	491 lines
	7.63	`Mon Jul 24 1995 13:23`	CHARME 95 program and registration	307 lines
	7.64	`Fri Aug 11 1995 09:55`	ICSE 18 Call for papers	91 lines
	7.65	`Tue Sep 05 1995 11:52`	DCC '96 CFP	62 lines
	7.66	`Wed Sep 06 1995 09:48`	CAV '96 Call for papers	157 lines
	7.67	`Mon Sep 11 1995 12:21`	CADE 13 Call for papers	137 lines
	7.68	`Wed Sep 13 1995 15:37`	LICS '96 Call for papers	147 lines
	7.69	`Thu Sep 28 1995 09:43`	DAC '96 call for papers	80 lines
	7.70	`Mon Dec 18 1995 11:24`	FMCAD '96 (was TCPD) Call for papers	130 lines
	7.71	`Thu Dec 21 1995 09:50`	TPHOL '96, call for papers	95 lines
	7.72	`Thu Dec 21 1995 10:03`	Infinity (CONCUR '96) call for papers	62 lines
	7.73	`Mon Apr 22 1996 10:01`	CHDL '97 Call for papers	220 lines
	7.74	`Mon Apr 22 1996 13:27`	FLOC '96 (CADE 13, CAV 8, LICS 11, RTA 7)	63 lines
	7.75	`Mon Apr 29 1996 10:02`	SAS '96 Call for papers	70 lines
	7.76	`Thu Sep 12 1996 10:45`	CADE 14 Call for papers	151 lines
	7.77	`Thu Sep 12 1996 10:46`	CAV 97 Call for papers	135 lines
	7.78	`Tue Oct 22 1996 11:49`	FMCAD 96 program	332 lines
	7.79	`Mon Nov 18 1996 14:09`	IWFM '97 Call for papers	66 lines
	7.80	`Fri Dec 13 1996 12:57`	TPHOL '97 Call for papers	113 lines
	7.81	`Fri Mar 07 1997 13:18`	Theorem Proving and Mathematics (CADE workshop)	52 lines
	7.82	`Mon Mar 24 1997 15:22`	UITP97 call for papers	105 lines
	7.83	`Wed Mar 26 1997 15:07`	CADE 14 Workshop on Strategies in Automated Deduction, call for papers	98 lines
	7.84	`Thu Apr 17 1997 10:54`	CAV '97 program and registration	620 lines
	7.85	`Wed Apr 30 1997 10:26`	CADE 14 program and registration	154 lines
	7.86	`Wed May 14 1997 16:01`	TPHOL '97 program and registration	359 lines
TOPIC	14.0	`Fri Oct 30 1992 14:29`	Mailing lists and notes conferences	2 lines
	14.1	`Fri Oct 30 1992 14:33`	SRCNOTES	7 lines
	14.2	`Fri Oct 30 1992 14:42`	DECspec	8 lines
	14.3	`Fri Oct 30 1992 14:46`	HOL theorem prover mailing list	8 lines
	14.4	`Fri Oct 30 1992 14:50`	Boyer-Moore theorem prover mailing list	8 lines
	14.5	`Fri Oct 30 1992 14:52`	Structured analysis and Z mailing list	12 lines
	14.6	`Fri Oct 30 1992 14:53`	Theorem provers mailing list	12 lines
	14.7	`Fri Oct 30 1992 14:55`	Rewriting theorem provers mailing list	12 lines
	14.8	`Fri Oct 30 1992 15:01`	Z forum mailing list and usegroup	10 lines
	14.9	`Fri Oct 30 1992 15:03`	Lambda theorem prover mailing list	12 lines
	14.10	`Fri Oct 30 1992 15:04`	Formal specification usegroup	3 lines
	14.11	`Fri Oct 30 1992 15:06`	Formal methods of software development	4 lines
	14.15	`Thu Nov 12 1992 09:28`	More proof-related lists	13 lines
	14.16	`Tue Sep 10 1996 10:04`	CADE 97 Call for papers	151 lines
TOPIC	15.0	`Fri Oct 30 1992 15:29`	Formal verification of Alpha AXP	2 lines
	15.1	`Fri Oct 30 1992 15:32`	Project charter	31 lines
	15.2	`Fri Oct 30 1992 15:36`	September '92 status	104 lines
	15.3	`Fri Oct 30 1992 15:36`	October '92 status	125 lines
	15.4	`Mon Nov 23 1992 17:28`	November '92 status	57 lines
	15.5	`Tue Dec 01 1992 17:51`	Layers in Alpha verification	37 lines
TOPIC	16.0	`Fri Oct 30 1992 15:40`	Tools for formal methods	2 lines
	16.1	`Wed Nov 18 1992 17:41`	index to tools and logics	85 lines
	16.2	`Mon Dec 07 1992 10:57`	A database of provers	72 lines
TOPIC	18.0	`Tue Nov 17 1992 13:20`	The 2OBJ theorem prover	46 lines
TOPIC	19.0	`Tue Nov 17 1992 13:20`	The Beologic theorem prover	104 lines
TOPIC	20.0	`Tue Nov 17 1992 13:27`	The Clio theorem prover	9 lines
TOPIC	21.0	`Tue Nov 17 1992 13:27`	The Coq theorem prover	32 lines
TOPIC	22.0	`Tue Nov 17 1992 13:28`	The Elf theorem prover	197 lines
TOPIC	23.0	`Tue Nov 17 1992 13:28`	The FDR theorem prover	332 lines
TOPIC	24.0	`Tue Nov 17 1992 13:35`	The HOL88 theorem prover	113 lines
	24.1	`Tue Nov 17 1992 13:45`	The Faust theorem prover	37 lines
	24.2	`Mon Dec 07 1992 15:42`	HOL88 version 2.01	185 lines
	24.3	`Mon Dec 07 1992 15:50`	The HOL88 "contrib" directory	186 lines
TOPIC	25.0	`Tue Nov 17 1992 13:35`	The HOL90 theorem prover	390 lines
	25.1	`Tue Nov 17 1992 13:37`	What hol90 runs on	66 lines
	25.2	`Tue Nov 17 1992 13:38`	A new release of hol90	380 lines
	25.3	`Tue Nov 17 1992 13:40`	Expected features in version 4	32 lines
	25.4	`Tue Nov 17 1992 13:40`	Where to get SML	113 lines
	25.5	`Tue Nov 17 1992 13:41`	hol90 at Sun	15 lines
	25.6	`Tue Nov 17 1992 13:42`	hol90 at Cambridge	8 lines
	25.7	`Thu Sep 09 1993 11:58`	hol90 version 5	104 lines
	25.8	`Thu Sep 09 1993 12:00`	new hol90 libraries	74 lines
TOPIC	26.0	`Tue Nov 17 1992 13:46`	The IMPS theorem prover	22 lines
	26.1	`Mon Jun 14 1993 16:40`	How to get IMPS	53 lines
TOPIC	27.0	`Tue Nov 17 1992 13:47`	The LP theorem prover	116 lines
	27.1	`Tue Nov 17 1992 13:49`	Jim Saxe on LP for hardware verification	29 lines
	27.2	`Fri Sep 10 1993 14:28`	The Larch tool set	182 lines
	27.4	`Fri Oct 14 1994 09:58`	LCLint	186 lines
TOPIC	28.0	`Tue Nov 17 1992 13:50`	The Lprolog theorem prover	43 lines
	28.1	`Wed Nov 18 1992 10:58`	The Postscript for her paper	5431 lines
TOPIC	29.0	`Tue Nov 17 1992 13:50`	The Mural theorem prover	74 lines
TOPIC	30.0	`Tue Nov 17 1992 13:55`	The Nuprl theorem prover	9 lines
TOPIC	31.0	`Tue Nov 17 1992 13:57`	The nqthm (Boyer-Moore) theorem prover	4 lines
TOPIC	32.0	`Tue Nov 17 1992 13:58`	The Nuprl theorem prover	9 lines
TOPIC	33.0	`Tue Nov 17 1992 13:59`	The Paris theorem prover	49 lines
TOPIC	34.0	`Tue Nov 17 1992 14:07`	The ProofPower theorem prover	380 lines
	34.1	`Tue Nov 17 1992 14:08`	ProofPower newsletter 2	553 lines
	34.2	`Tue Nov 17 1992 14:09`	ProofPower newsletter 3	177 lines
	34.3	`Mon Dec 28 1992 12:17`	ProofPower newsletter 4	256 lines
	34.4	`Wed Oct 27 1993 10:48`	ProofPower version 0.4	21 lines
	34.5	`Wed Oct 27 1993 10:53`	the ProofPower archive server	183 lines
TOPIC	35.0	`Tue Nov 17 1992 14:10`	The PVS theorem prover	20 lines
	35.1	`Tue Nov 17 1992 14:11`		37 lines
	35.2	`Mon Jun 21 1993 11:50`	How to get PVS	387 lines
TOPIC	36.0	`Tue Nov 17 1992 14:12`	The Reveal theorem prover	50 lines
	36.1	`Tue Nov 17 1992 14:12`	A new release	52 lines
TOPIC	37.0	The SMV theorem prover
	37.1	`Tue Nov 17 1992 14:50`	SMV in use at Intel	37 lines
TOPIC	38.0	`Tue Nov 17 1992 14:14`	The Spectrum specification language	18 lines
TOPIC	39.0	`Tue Nov 17 1992 14:19`	The TLA logic	13 lines
TOPIC	40.0	`Tue Nov 17 1992 14:20`	The uUTRL theorem prover	36 lines
TOPIC	41.0	`Tue Nov 17 1992 15:04`	The Esterel language	43 lines
TOPIC	42.0	`Tue Nov 17 1992 15:13`	The Lambda CAD tool	16 lines
	42.1	`Fri May 28 1993 16:57`	Lambda description	58 lines
TOPIC	43.0	`Wed Nov 18 1992 17:18`	The ITP theorem prover	27 lines
TOPIC	45.0	`Wed Dec 23 1992 11:10`	Formal verification work at ISV	548 lines
TOPIC	46.0	`Tue Apr 27 1993 11:42`	The SETHEO theorem prover	119 lines
TOPIC	48.0	`Tue Feb 08 1994 08:31`	Constraint-Handling Rules	70 lines

Conference rusure::math (Mathematics at DEC)

4 posts

TOPIC	1620.0	`Tue Jun 02 1992 15:53`	Formal verification of Alpha	20 lines
TOPIC	1672.0	`Wed Oct 07 1992 18:29`	A tiling problem from work	27 lines
	1672.2	`Thu Oct 08 1992 15:34`	Sorry --- add another cost	9 lines
	1672.4	`Fri Oct 09 1992 12:21`	Found a good-enough solution	22 lines

Conference tallis::vax (VAX Architecture)

3 posts

TOPIC	253.0	Architecture trivia?
	253.3	`Wed May 22 1991 11:10`		4 lines
TOPIC	275.0	VAX Processor Charts
	275.5	`Fri Jul 17 1992 11:36`	'730's TB had 128 entries	2 lines
	275.17	`Fri Oct 09 1992 10:59`	Meanings of processor numbers	4 lines

Conference turris::decspec (DECspec)

7 posts

TOPIC	5.0	Introductions
	5.1	`Tue Apr 23 1991 17:47`	Tim Leonard	29 lines
TOPIC	28.0	`Tue May 28 1991 12:15`	Formal-methods event announcements	2 lines
	28.1	`Tue May 28 1991 12:18`	Proof club	117 lines
	28.2	`Mon Jun 03 1991 10:55`	Proof club inaugural meeting	129 lines
TOPIC	29.0	`Mon Jun 03 1991 12:01`	ICL's Z proof tool	9 lines
	29.1	`Mon Jun 03 1991 12:03`	Description, documents	716 lines
TOPIC	35.0	What's happening?
	35.2	`Thu Dec 02 1993 15:20`		1 lines

Conference turris::lisp (LISP)

4 posts

TOPIC	1341.0	LISP for Alpha AXP OSF/1
	1341.5	`Thu Sep 29 1994 16:50`	Gnu Common Lisp for Alpha	2 lines
TOPIC	1356.0	LISP on Alpha???
	1356.1	`Thu Jul 06 1995 11:41`	Gnu Common Lisp on Alpha	5 lines
TOPIC	1360.0	info needed on Franz Lisp for NT
	1360.4	`Tue Jun 11 1996 10:37`	You can try GCL, too.	6 lines
	1360.7	`Mon Jun 24 1996 09:34`	GCL is Unix only	1 lines

Conference vaxuum::tex ( TeX - Knuth's Text Processor )

2 posts

TOPIC	990.0	`Wed Dec 18 1991 15:46`	Where's a dvi-to-ps converter?	10 lines
	990.3	`Mon Feb 03 1992 15:10`	Where are CM* fonts?	5 lines

Conference noted::elfv3 (ELFV3)

3 posts

TOPIC	5.0	`Fri Jul 07 1995 11:54`	Error communicating with LDAP Server	12 lines
TOPIC	22.0	`Fri Sep 08 1995 13:41`	Problems with real names	49 lines
	22.1	`Fri Sep 08 1995 13:52`		22 lines

Additional information

First Post:	`Wed Apr 17 1991`
Last Post:	`Wed May 14 1997`
# Topics:	52
# Replies:	179
# We have note bodies for:	11

Total memory used by this script: 1,423,792 (6,291,456)