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

Posting history for user COOKIE::WALLACE

111 notes across 30 conferences

Known Personal Names (8)

Summary of Posts

Click on conference filespec to scroll down to
ConferenceTotal
Posts
Conference Title
cookie::formal_methods20Formal Methods for Software Development
turris::ada9DEC Ada
noted::motif8"OSF/Motif" is a trademark
turris::lse_bugs7LSE bug reports
turris::vaxc6VAX C Notes
lgp30::christian-perspective6Discussions from a Christian Perspective
turris::decspec5DECspec
rusure::math5Mathematics at DEC
7.286::fonts5Glyph it up!
bulova::decwindows4DECWINDOWS
cookie::archive_backup3Archive/Backup
turris::languages3Languages
galvia::cda_bugs3CDA(tm) bug reports
cookie::six-sigma-for-software3Six Sigma for Software
clt::decdesign3DECdesign
abbott::bookreader3Bookreader (RIP)
clt::vuit2DEC VUIT Notes Conference
quokka::colorado_singles2Colorado_Singles
noted::excursion2note 3 has pointer to current kit
turris::source_code_analyzer2VAXSCA - VAX Source Code Analyzer
galvia::decwrite1You can't go wrong with DECwrite
clt::decw$calendar1dxcalendar/DECW$CALENDAR
7.286::decfonts_typeface_collection1DECfonts Typeface Collection
7.286::postscript1PostScript, the language. Please read 1.*
turris::easynet_conferences1EasyNet Conference Directory
7.286::postscript_printing1Digital PostScript printers and their associated software
7.286::news-backbone1The Easynet USENET backbone
turris::sca_v2_bugs1SCA V2 Bugs
7.286::digital1The Digital way of working
genral::colorado_classifieds-OLD1Colorado Classifieds

Conference bulova::decwindows (DECWINDOWS)

4 posts
TOPIC3631.0Wed Mar 10 1993 21:52 Widget Meta Description (.WMD) files -- How does one do this? 9 lines
3631.4Thu Mar 11 1993 16:01 Thank you for the location! 0 lines
TOPIC3930.0Thu Jul 22 1993 20:43 Help!!! Need a scrollable-form-list widget beastie 41 lines
TOPIC4857.0Wed Jan 11 1995 17:20 XtNameToWidget() string parsing differences? 16 lines

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

1 posts
TOPIC41.0Tue Oct 30 1990 16:32 What are the .DOC_BACKUP files? 12 lines

Conference 7.286::digital (The Digital way of working)

1 posts
TOPIC 2605.0 They're getting ready to shut down "non business" files
2605.92Wed Aug 04 1993 16:17 Well, just another *pissed-off* day at Digital... 36 lines

Conference noted::excursion (note 3 has pointer to current kit)

2 posts
TOPIC1310.0Thu Sep 23 1993 21:36 What Font is this for eXcursiuon under Win-32? 6 lines
1310.2Fri Sep 24 1993 13:52 Thanks! 4 lines

Conference noted::motif ("OSF/Motif" is a trademark)

8 posts
TOPIC4254.0Thu Jul 22 1993 20:36 Help!!! Need a scrollable-form-list widget beastie 41 lines
4254.2Wed Jul 28 1993 20:28 I don't know about the SVN widget set 7 lines
4254.4Thu Jul 29 1993 15:25 I'm interested in ported examples thank you 8 lines
TOPIC4460.0Mon Nov 08 1993 16:29 Gray-out of XmList XmNitems 8 lines
4460.2Tue Nov 09 1993 14:15 6 lines
TOPIC4579.0Wed Jan 12 1994 22:18 "X Toolkit Error: Cannot perform realloc" using XmListAddItem 12 lines
4579.1Thu Jan 13 1994 16:33 XmStringFree rather than XtFree 2 lines
TOPIC4734.0Tue Apr 12 1994 17:59 Help! Can't seem to undo selection of text when XmText is editable 20 lines

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

1 posts
TOPIC565.0Thu Sep 06 1990 14:00 Printing DECwrite file with custom fonts 40 lines

Conference turris::ada (DEC Ada)

9 posts
TOPIC 1932.0 ARTE Question
1932.1Sun Oct 21 1990 14:09 Ada has other real-time attributes 37 lines
TOPIC 1958.0 problems doing SYS$FORCEX on an Ada program
1958.3Wed Dec 05 1990 03:29 Ada lets you handle this problem per process 11 lines
1958.4Wed Dec 05 1990 03:35 Hope this is *more* on the topic 7 lines
1958.6Wed Dec 11 1991 17:56 Details, details, details. -- Its worse than that Jim, he's dead! (a la Dr. McCoy) 61 lines
TOPIC 2010.0 ADA-F-ZONECORR, need some tips
2010.1Sat Feb 16 1991 16:24 An attempt at an answer for ADA-F-ZONECORR 22 lines
TOPIC 2516.0 HP and ADA
2516.2Thu Sep 17 1992 04:10 HP isn't stupid! 4 lines
TOPIC 2534.0 XD-ADA V1.2 with VMS 5.5?
2534.2Thu Sep 17 1992 04:43 Ummm did I miss XD-Ada? 9 lines
2534.5Thu Sep 17 1992 16:00 Cross (X) Development (D) of course! 8 lines
2534.8Tue Sep 22 1992 18:18 Thanks for all the pointers! 3 lines

Conference turris::easynet_conferences (EasyNet Conference Directory)

1 posts
TOPIC3653.0Thu Aug 06 1992 16:07 Formal Methods for Software Development 17 lines

Conference turris::vaxc (VAX C Notes)

6 posts
TOPIC 3206.0 looping problem
3206.1Sun Oct 07 1990 22:17 try this modification to your algorithm 52 lines
3206.3Mon Oct 08 1990 18:28 Bryan is quite right 4 lines
TOPIC5077.0Fri Jun 11 1993 14:27 Performance differences between /INCLUDE= and C$INCLUDE with DECwindows 24 lines
TOPIC5331.0Wed Mar 30 1994 22:14 QAR: Compiler bug check with CC/ANALY 75 lines
5331.1Fri Apr 01 1994 20:20 YooHoo! Anybody out there? 0 lines
5331.3Mon Apr 11 1994 17:52 Hmmmm... 1 lines

Conference abbott::bookreader (Bookreader (RIP))

3 posts
TOPIC482.0Mon Aug 22 1994 19:48 ACCVIO with DXmHelpSystemDisplay via BOOKREADER V3.1-0 under VAX/VMS V6.1 42 lines
482.2Wed Aug 24 1994 20:09 Problem not with code, documentation unclear... 10 lines
TOPIC493.0Fri Oct 14 1994 18:28 ACCVIO when closing library icon 49 lines

Conference clt::decdesign (DECdesign)

3 posts
TOPIC 1148.0 Dictionary Browser loops when obtaining STRUCTURE output
1148.3Mon Nov 09 1992 16:54 Grammar/Syntax for Extract format would be useful 1 lines
TOPIC1171.0Mon Nov 09 1992 16:51 Dictionary Structure output broken -- Syntax/Grammar for Extract format? 7 lines
1171.2Tue Nov 10 1992 15:58 A bit too general, but thanks anyway! 6 lines

Conference clt::decw$calendar (dxcalendar/DECW$CALENDAR)

1 posts
TOPIC 435.0 corrupt file , RMS reports errors
435.10Sat Jul 17 1993 03:10 Why don't you admit that you just trash your own data files... 16 lines

Conference clt::vuit (DEC VUIT Notes Conference)

2 posts
TOPIC 987.0 VUIT bug? or error?
987.7Thu Aug 05 1993 21:44 Not true. You must have a some other problem. 11 lines
TOPIC988.0Tue Aug 03 1993 18:21 So where is this BX product? 9 lines

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

20 posts
TOPIC1.0Thu Jul 09 1992 18:09 Purpose of Conference 11 lines
1.1Tue Jan 26 1993 16:25 This conference is now served via Note-News gateway 54 lines
TOPIC2.0Fri Jul 10 1992 12:06 Introductions 3 lines
2.1Fri Jul 10 1992 12:43 Richard Wallace 82 lines
TOPIC3.0Thu Jul 09 1992 18:16 VDM notation 1 lines
TOPIC4.0Thu Jul 09 1992 18:16 Z notation 1 lines
TOPIC5.0Fri Jul 10 1992 12:32 HOL notation 1 lines
TOPIC6.0Thu Jul 09 1992 18:15 LARCH Notation 1 lines
TOPIC7.0Thu Jul 09 1992 18:20 Boyer-Moore Theorem Prover (NQTHM) 1 lines
TOPIC8.0Thu Jul 09 1992 18:21 High Order Logic Theorem Prover 1 lines
8.1Thu Jul 09 1992 20:04 Best point of contact in DEC for HOL 9 lines
TOPIC 9.0 References?
9.1Wed Aug 12 1992 15:27 Some references that will help 51 lines
9.2Tue Aug 25 1992 13:58 more references 28 lines
TOPIC10.0Tue Aug 25 1992 12:39 ASCII equivalents for Z symbols 7 lines
10.1Tue Aug 25 1992 13:59 POSTSCRIPT! -- Z symbols 1798 lines
10.2Tue Aug 25 1992 14:01 POSTSCRIPT! -- Z schemas in ASCII 890 lines
TOPIC11.0Tue Aug 25 1992 12:43 Temporal Logic of Actions (TLA) 2 lines
TOPIC 12.0 91 problem?
12.2Sun Oct 18 1992 15:09 I've not heard of this either 5 lines
12.4Mon Oct 19 1992 20:23 How about a reference to those texts? 7 lines
TOPIC13.0Fri Nov 06 1992 17:47 A conference on formal specificaiton 10 lines

Conference galvia::cda_bugs (CDA(tm) bug reports)

3 posts
TOPIC534.0Wed Nov 07 1990 15:05 CDA can't do Postscript now... 17 lines
534.1Wed Nov 07 1990 15:06 VMS version I am running under 1 lines
534.4Fri Nov 16 1990 14:17 Everything is playing together nicely now! 8 lines

Conference genral::colorado_classifieds-OLD (Colorado Classifieds)

1 posts
TOPIC 4.0 Discussion
4.137Fri Sep 24 1993 12:01 Enough! 8 lines

Conference lgp30::christian-perspective (Discussions from a Christian Perspective)

6 posts
TOPIC 714.0 Is there a wrong way to pray?
714.5Fri Jul 23 1993 15:55 What is the intent? 14 lines
714.9Fri Jul 23 1993 19:42 a short asside to .8 and then back to the topic 21 lines
TOPIC716.0Fri Jul 23 1993 16:20 Do christians have independent thought? 6 lines
716.4Fri Jul 23 1993 19:13 Good answers so far. A clarification of the topic 44 lines
716.7Fri Jul 23 1993 22:29 And the prize goes to... 31 lines
716.8Fri Jul 23 1993 22:36 for .5 7 lines

Conference 7.286::decfonts_typeface_collection (DECfonts Typeface Collection)

1 posts
TOPIC15.0Thu Mar 28 1991 03:14 Can we *Create* Fonts? 26 lines

Conference 7.286::fonts (Glyph it up!)

5 posts
TOPIC411.0Sat Sep 01 1990 21:16 Help! Need Fonts and a way to print them ASAP! 31 lines
411.1Fri Sep 07 1990 14:33 Still need HELP! 29 lines
411.3Mon Sep 10 1990 19:32 Adobe says tough luck for you VAX users... 21 lines
TOPIC 439.0 Simple (???) request.
439.3Fri Feb 22 1991 16:36 Need some help using standard 21 lines
439.5Sat Feb 23 1991 15:16 Clear a bell! 4 lines

Conference 7.286::postscript (PostScript, the language. Please read 1.*)

1 posts
TOPIC814.0Thu Sep 06 1990 13:59 Help! Need Printing Help! 40 lines

Conference quokka::colorado_singles (Colorado_Singles)

2 posts
TOPIC 6.0 INTRODUCTIONS (WHO ARE WE?)
6.28Sat Mar 06 1993 21:20 Richard Wallace 34 lines
TOPIC 41.0 Interest in Parents Without Partners
41.4Mon Jun 07 1993 02:43 Cast broadly... 13 lines

Conference rusure::math (Mathematics at DEC)

5 posts
TOPIC1295.0Sun Sep 16 1990 22:47 Anybody Know the Z Notation? 13 lines
1295.2Fri Sep 21 1990 21:44 Z is a formal specification notation 29 lines
1295.4Wed Sep 26 1990 19:49 This too is true; Anybody speak Z? 21 lines
TOPIC 1312.0 Should I be interested in Formal Methods?
1312.3Sun Oct 21 1990 05:42 Yes and here is why! 84 lines
TOPIC1407.0Mon Apr 01 1991 04:41 Boyer-Moore Theorm Prover Needed 10 lines

Conference turris::decspec (DECspec)

5 posts
TOPIC 4.0 Kit Information
4.2Mon Jun 24 1991 19:10 Kit Availability soon? 6 lines
4.4Fri Jun 28 1991 14:37 Looking forward to it! 5 lines
TOPIC 5.0 Introductions
5.10Fri Jun 28 1991 15:17 Richard Wallace 18 lines
TOPIC 21.0 How does/will DECspec fit in to DECdesign?
21.6Thu Jun 06 1991 15:51 So are we a World Class Company or not? 21 lines
TOPIC 28.0 Formal-methods event announcements
28.3Thu Jun 06 1991 14:54 Advanced Z Proof Course at Oxford U. 294 lines

Conference turris::languages (Languages)

3 posts
TOPIC287.0Mon Oct 08 1990 14:32 Z NOTATION Anyone? 11 lines
TOPIC 291.0 Programming in a foreign language?
291.12Wed Nov 28 1990 00:54 Adding heat to the fire... 14 lines
TOPIC 340.0 What is CHIL?
340.1Fri Jul 31 1992 16:43 CHILL 5 lines

Conference turris::lse_bugs (LSE bug reports)

7 posts
TOPIC734.0Wed Jun 05 1991 18:05 Internal Error From LSEDIT V3.1-16 574 lines
TOPIC1062.0Tue Jan 21 1992 16:11 X-window error in copy/paste 73 lines
TOPIC1289.0Mon Aug 03 1992 17:35 SCA bombs in LSE$DO_COMMAND during REPORT 43 lines
TOPIC1365.0Thu Jan 14 1993 15:41 Cut and Paste crashes LSE 1934 lines
1365.1Thu Jan 14 1993 15:42 binary!! $MAIN.TPU$JOURNAL;1 1 lines
1365.2Thu Jan 14 1993 15:43 binary!! EPCOT_API_CREATE_SDML.TPU$JOURNAL;1 1 lines
1365.3Thu Jan 14 1993 15:43 binary!! EPCOT_API_SHOW_SDML.TPU$JOURNAL;1 76 lines

Conference turris::source_code_analyzer (VAXSCA - VAX Source Code Analyzer)

2 posts
TOPIC626.0Tue Aug 11 1992 20:40 HELP! HELP! Is VAX MACRO supported for V4.0-93/VAX_VMS? 46 lines
626.2Tue Aug 11 1992 22:13 MACRO .ANA files... Any real use? 5 lines

Conference 7.286::news-backbone (The Easynet USENET backbone)

1 posts
TOPIC 370.0 STATUS ON NNTPD2 SERVER?
370.16Mon Jun 06 1994 19:33 nntpd2 doesn't seem to have any news 16 lines

Conference turris::sca_v2_bugs (SCA V2 Bugs)

1 posts
TOPIC393.0Mon Aug 03 1992 17:40 SCA bombs in LSE$DO_COMMAND during REPORT (cross-post) 50 lines

Conference cookie::archive_backup (Archive/Backup)

3 posts
TOPIC 35.0 How to kick-off a restore request ?
35.5Sat Jan 21 1995 00:08 19 lines
TOPIC 36.0 BL9 - gui: set storage class access violates
36.2Wed Jan 11 1995 16:41 Problem had to do with Motif 1.1.3 vs. 1.2.2 XmNameToWidget() 11 lines
TOPIC 37.0 BL9 minor gui remarks
37.3Wed Jan 11 1995 18:39 Answers to .0 20 lines

Conference cookie::six-sigma-for-software (Six Sigma for Software)

3 posts
TOPIC 40.0 SEI Trip Report
40.1Mon Oct 08 1990 18:55 Where's the meat? 24 lines
40.3Wed Oct 10 1990 11:44 Who at DEC and SEI is doing this? 13 lines
40.5Thu Oct 11 1990 15:03 And now, the rest of the story... 13 lines

Additional information

First Post:Sat Sep 01 1990
Last Post:Sat Jan 21 1995
# Topics:42
# Replies:69
# We have note bodies for:17
Total memory used by this script: 2,061,672 (4,194,304)