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

Posting history for user MOVIES::HANCOCK

107 notes across 22 conferences

Known Personal Names (1)

Peter Hancock

Possible 1 Other Accounts for MOVIES::HANCOCK

Username	Total Posts	First Post	Last Post	Most Used Personal Name
HALT::HANCOCK	1	`Wed Jul 17 1991`	`Wed Jul 17 1991`	Peter Hancock

Summary of Posts

Click on conference filespec to scroll down to

Conference	Total Posts	Conference Title
rusure::math	25	Mathematics at DEC
vaxuum::tex	14	TeX - Knuth's Text Processor
nlfdc::linux-users	13	Linux, the Free Operating System
turris::decspec	12	DECspec
7.286::ibmpc_shareware	7	Shareware for IBM PC and compatibles
turris::gnu	6	GNU Conference
cookie::formal_methods	5	Formal Methods for Software Development
ricks::formal_verification	5	Formal Specification and Verification
auss::algorithms	3	ALGORITHMS
movies::dollar_info	3	Dollar File System Information
clt::trellis	2	DEC Trellis Object System
movies::decdtm-vms	2	DECDTM-VMS
7.286::postscript_printing	1	Digital PostScript printers and their associated software
vaxaxp::notes$archive:alphanotes_v1	1	Alpha Support conference
aosg::lsm	1	LSM
gyro::internet_toolss	1	Internet Tools
marvin::newbury	1	Newbury and its denizens
noted::dtss	1	DTSS_NOTE
rocks::uk_digital	1	Working for Digital in the UK
turris::languages	1	Languages
unxa::failover	1	DECsafe Failover
turris::internal-case-users	1	Internal CASE public forum

Conference 7.286::postscript_printing (Digital PostScript printers and their associated software)

1 posts

TOPIC	3323.0	ln05 postscript A9 service
	3323.4	`Thu Nov 04 1993 12:09`	Me too	10 lines

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

1 posts

TOPIC 2079.0 Thu Apr 22 1993 10:12 Problems porting TeX? 59 lines

Conference aosg::lsm (LSM)

1 posts

TOPIC	3.0	Participant Introductions
	3.8	`Sat Jan 29 1994 11:19`	Peter Hancock	9 lines

Conference auss::algorithms (ALGORITHMS)

3 posts

TOPIC	155.0	deBruijn numbers
	155.2	`Sun Jan 26 1992 16:47`	Reference	18 lines
TOPIC	246.0	Dijkstra's shortest path algorithm
	246.1	`Mon May 08 1995 08:30`	No, but ...	8 lines
TOPIC	248.0	Gamma Function fortmula help wanted
	248.3	`Fri Jun 30 1995 11:34`	You've looked in Knuth?	5 lines

Conference clt::trellis (DEC Trellis Object System)

2 posts

TOPIC	2.0	Who are you?
	2.75	`Wed Jul 05 1989 13:52`	Peter Hancock. VMS engineering Newbury	10 lines
TOPIC	217.0	Transactions and nested transactions?
	217.2	`Tue Oct 16 1990 07:44`	"What transaction manager?"	17 lines

Conference cookie::formal_methods (Formal Methods for Software Development)

5 posts

TOPIC	2.0	Introductions
	2.2	`Tue Jul 14 1992 10:22`	Peter Hancock	57 lines
TOPIC	12.0	91 problem?
	12.1	`Sun Oct 18 1992 09:37`	What is it?	7 lines
	12.6	`Tue Oct 20 1992 16:59`	Nice to speak to someone	22 lines
	12.8	`Thu Oct 22 1992 03:29`	Can't see problem	64 lines
TOPIC	14.0	`Thu Aug 26 1993 04:04`	Report available	26 lines

Conference 7.286::ibmpc_shareware (Shareware for IBM PC and compatibles)

7 posts

TOPIC	10.0	Who are you? Please sign in
	10.392	`Thu Jan 23 1992 22:27`	Peter Hancock.	9 lines
TOPIC	369.0	decompression of .tar.Z files
	369.36	`Tue Mar 16 1993 15:28`	foo.bar.z expanders? (moved by Mod.)	10 lines
	369.40	`Wed Mar 17 1993 18:31`	Thanks! + vms lzcomp.exe?	17 lines
TOPIC	1832.0	Needing a Maze generator
	1832.26	`Sun Jul 10 1994 13:02`	amaze10.ps	9 lines
TOPIC	2184.0	VMSzip - location please
	2184.18	`Wed Feb 09 1994 16:53`	How I pull binary stuff	16 lines
TOPIC	2627.0	Thanks
	2627.2	`Sun May 15 1994 08:34`	Thanks	9 lines
TOPIC	2736.0	GNUemacs 19.24 binaries for DOS available
	2736.5	`Fri Jul 15 1994 10:09`	My first look	21 lines

Conference gyro::internet_toolss (Internet Tools)

1 posts

TOPIC	1537.0	looking for LaTeX
	1537.1	`Fri Jan 20 1995 18:42`	Here's one place	9 lines

Conference marvin::newbury (Newbury and its denizens)

1 posts

TOPIC 11.0 Mon Jul 10 1989 11:51 Cheap barber 5 lines

Conference movies::decdtm-vms (DECDTM-VMS)

2 posts

TOPIC	118.0	** Changes to DECdtm V1.1 specification (1 of 2)
	118.1	`Fri Aug 31 1990 14:12`	A restatement?	81 lines
TOPIC	131.0	`Tue Oct 16 1990 12:09`	Trees	70 lines

Conference nlfdc::linux-users (Linux, the Free Operating System)

13 posts

TOPIC	2.0	Introductions
	2.88	`Mon Feb 27 1995 02:00`	Peter Hancock	14 lines
TOPIC	215.0	Should I update my kernel?
	215.8	`Thu Sep 14 1995 02:15`	Hang on a mo	14 lines
TOPIC	272.0	Xmosaic problem
	272.4	`Wed Mar 29 1995 01:17`	Gatekeeper'd lynx ?	13 lines
	272.6	`Wed Mar 29 1995 21:06`	Thanks ,il marche.	9 lines
	272.7	`Wed Mar 29 1995 22:22`	setenv no_proxy "dec.com"	14 lines
TOPIC	277.0	`Sun Mar 05 1995 12:10`	X-Server for ALG2301 chipset?	16 lines
	277.1	`Sun Mar 05 1995 16:30`	To answer myself: yes	14 lines
TOPIC	292.0	e2fsck not working ?
	292.1	`Tue Mar 21 1995 14:12`	root readonly?	19 lines
	292.3	`Wed Mar 22 1995 14:18`	Saved my bacon	10 lines
TOPIC	318.0	Setting up PPP
	318.1	`Fri Apr 21 1995 02:07`	It just seems daunting.	25 lines
	318.4	`Sun Jun 11 1995 12:55`	Anyone recognise these performance symptoms?	16 lines
	318.6	`Wed Jun 14 1995 02:45`	fcs errors - not line, I believe, so ..?	30 lines
TOPIC	351.0	`Fri Jun 30 1995 20:22`	winnah's emacs-19.29, ftp/tar prob?	19 lines

Conference noted::dtss (DTSS_NOTE)

1 posts

TOPIC	22.0	DECtds and User Applications
	22.11	`Wed Apr 18 1990 12:14`	"Short term" arrangements	13 lines

Conference ricks::formal_verification (Formal Specification and Verification)

5 posts

TOPIC	44.0	`Tue Nov 24 1992 11:03`	Real examples	47 lines
	44.1	`Tue Nov 24 1992 13:35`	Rick/Tim apology	4 lines
TOPIC	47.0	`Thu Aug 26 1993 06:06`	report available	26 lines
	47.1	`Thu Aug 26 1993 06:14`	Jim Horning's comments	86 lines
	47.2	`Fri Oct 22 1993 17:23`	Another one	19 lines

Conference rocks::uk_digital (Working for Digital in the UK)

1 posts

TOPIC	1031.0	How do I order a PC now ?
	1031.46	`Sat Jan 14 1995 08:10`	sheer coincidence	18 lines

Conference rusure::math (Mathematics at DEC)

25 posts

TOPIC	1169.0	Books about the History of Mathematics
	1169.16	`Wed Jul 26 1995 10:39`	Mathematics made difficult?	11 lines
	1169.18	`Thu Jul 27 1995 07:56`	Homing in ...	6 lines
	1169.19	`Tue Aug 01 1995 14:37`	Linderholm located	18 lines
TOPIC	1312.0	Should I be interested in Formal Methods?
	1312.5	`Sun May 12 1991 16:19`	Modelling	29 lines
TOPIC	1401.0	`Fri Mar 22 1991 06:04`	What's algebra?	74 lines
	1401.3	`Fri Mar 22 1991 16:58`	Sorry for obscurity: the gist	36 lines
	1401.10	`Fri Apr 05 1991 12:15`	More randomness	63 lines
	1401.15	`Sun Jan 24 1993 16:44`	are these enough for categories?	45 lines
TOPIC	1431.0	Subtle Math Questions
	1431.44	`Sun May 05 1991 15:45`	intuitionism	31 lines
	1431.46	`Mon May 06 1991 10:12`	Some intuitionists.	24 lines
TOPIC	1521.0	Mathematical definition of "miracle"
	1521.9	`Mon Dec 09 1991 21:00`	Law of Excluded Miracle	12 lines
TOPIC	1698.0	`Thu Dec 03 1992 10:42`	Help save my toes	26 lines
	1698.2	`Fri Dec 04 1992 12:22`	re: .1, thanks, a revision	26 lines
	1698.5	`Sat Dec 05 1992 18:02`	My cup runneth over	44 lines
	1698.7	`Wed Dec 09 1992 17:32`	Satisfied customer	26 lines
TOPIC	1702.0	Searching for Answer
	1702.2	`Sat Dec 12 1992 21:06`	Greek	6 lines
TOPIC	1770.0	Fermat's Last Theorem proved ?
	1770.2	`Thu Jun 24 1993 17:30`	From Brit Daily Torygraph	18 lines
TOPIC	1871.0	Struggling Incipient Mathematician
	1871.1	`Sat May 21 1994 22:18`	Right, a circle's not a function	26 lines
	1871.9	`Tue May 31 1994 04:31`		10 lines
TOPIC	1892.0	`Tue Sep 06 1994 17:06`	The topology of movies	29 lines
TOPIC	1912.0	A negative description of the primes
	1912.6	`Fri Nov 25 1994 12:07`	wit	4 lines
TOPIC	1915.0	ALGORITHMS will be gone unless action taken
	1915.2	`Tue Dec 13 1994 06:10`	For crying out loud!	7 lines
TOPIC	1916.0	Weak Axiom of Choice (WAC)
	1916.2	`Mon Dec 12 1994 17:03`	AC=>my C program correct?	26 lines
TOPIC	1938.0	Modulus of congruence
	1938.8	`Fri Feb 24 1995 08:18`	abstraction, notation	20 lines
TOPIC	1995.0	Are you the Pope?
	1995.1	`Mon Sep 04 1995 08:19`	Bert	11 lines

Conference turris::decspec (DECspec)

12 posts

TOPIC	5.0	Introductions
	5.3	`Thu Apr 25 1991 08:50`	Peter Hancock	11 lines
TOPIC	21.0	How does/will DECspec fit in to DECdesign?
	21.2	`Thu Apr 25 1991 11:57`	2 cents	21 lines
TOPIC	24.0	Availability on VMS
	24.1	`Mon Apr 29 1991 19:33`	Me2	2 lines
	24.6	`Thu May 02 1991 18:14`	They do	11 lines
	24.14	`Mon Jun 03 1991 07:51`	"buyers" guide	138 lines
	24.15	`Mon Jun 03 1991 14:04`	whoops	24 lines
TOPIC	25.0	`Tue May 14 1991 07:11`	What are specs for?	128 lines
	25.3	`Wed May 15 1991 20:29`	my gibberish	179 lines
	25.5	`Thu May 16 1991 20:46`	Thanks, everyone	6 lines
	25.8	`Thu May 30 1991 15:48`	Some references	18 lines
TOPIC	27.0	Other Interface Languages
	27.1	`Thu May 30 1991 21:18`	System services	73 lines
	27.2	`Mon Jun 10 1991 08:44`	Some good examples	68 lines

Conference turris::gnu (GNU Conference)

6 posts

TOPIC	696.0	looking for vms gzip/gunzip. tx.
	696.4	`Wed Nov 16 1994 12:03`	Alpha vms?	4 lines
	696.5	`Fri Nov 18 1994 04:55`	found it on decwrl	7 lines
TOPIC	728.0	GNU Emacs 19.24 binaries for DOS available
	728.4	`Thu Jul 14 1994 12:44`	My thanks too.	11 lines
	728.6	`Tue Jul 26 1994 04:44`	My first impressions	19 lines
	728.8	`Mon Dec 19 1994 09:03`	.emacs	3 lines
TOPIC	786.0	Does anyone have GNU Emacs for Alpha VMS?
	786.2	`Tue Aug 08 1995 14:42`	Yes	7 lines

Conference turris::languages (Languages)

1 posts

TOPIC	374.0	Some general compiler questions...
	374.5	`Wed Mar 16 1994 04:27`	an interesting recent report	6 lines

Conference unxa::failover (DECsafe Failover)

1 posts

TOPIC	2.0	Introduce Yourself
	2.14	`Sat Apr 02 1994 05:15`	Peter Hancock	4 lines

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

14 posts

TOPIC	17.0	WEB and CWEB
	17.5	`Mon Mar 01 1993 16:35`	For DOS?	6 lines
TOPIC	760.0	Creating fonts made easy: MAKEFONTS.COM
	760.1	`Tue May 11 1993 03:02`	Up to date one?	12 lines
	760.2	`Tue May 11 1993 07:48`	MF capacity exceeded?	14 lines
	760.4	`Thu May 13 1993 10:19`	Managed it finally	8 lines
	760.6	`Fri May 14 1993 10:16`	No big secret ...	30 lines
	760.10	`Wed Jun 09 1993 14:24`	A heartfelt bleat about postscript	23 lines
TOPIC	955.0	`Thu Feb 07 1991 09:21`	One-off help plea.	17 lines
TOPIC	967.0	`Sat May 11 1991 11:05`	msxm9.pk etc files? how get?	10 lines
TOPIC	969.0	pc TeX
	969.4	`Thu Apr 30 1992 13:13`	Fonts for vr320 (svga?)	32 lines
TOPIC	1001.0	`Thu Mar 19 1992 07:52`	Therefore symbol	8 lines
TOPIC	1011.0	Need lcirc*.tfm, especially lcircle10.tfm
	1011.1	`Thu Jul 30 1992 11:27`	Try ijsapl::[texdisk:[texv3...]	13 lines
TOPIC	1038.0	TeX Fonts -> Windows Fonts?
	1038.1	`Mon Dec 06 1993 19:48`	No, I guess, but ..	18 lines
TOPIC	1039.0	Problems using EPSF.TEX and EPSF.STY
	1039.1	`Tue Mar 29 1994 11:11`	Try this is epsf.tex	217 lines
	1039.3	`Tue Mar 29 1994 15:49`	Bad news ...	17 lines

Conference movies::dollar_info (Dollar File System Information)

3 posts

TOPIC	99.0	Directory Search using Dollar file system improves?
	99.4	`Fri Aug 26 1994 17:40`	Directory is as directory does	22 lines
TOPIC	110.0	Questions on disk performance and DSM support ?
	110.1	`Mon Dec 12 1994 13:05`	READ/WRITE head movement	16 lines
TOPIC	113.0	File attributes and policies + Related reads perf. ?
	113.8	`Wed Mar 08 1995 12:15`	A dinosaur comments ..	13 lines

Conference turris::internal-case-users (Internal CASE public forum)

1 posts

TOPIC	2.0	Introduce yourself
	2.27	`Sat Nov 06 1993 19:54`	Peter Hancock	3 lines

Additional information

First Post:	`Wed Jul 05 1989`
Last Post:	`Thu Sep 14 1995`
# Topics:	15
# Replies:	92
# We have note bodies for:	26

Total memory used by this script: 1,504,448 (6,291,456)