Conference | Total Posts | Conference Title |
---|---|---|
cookie::formal_methods | 20 | Formal Methods for Software Development |
turris::ada | 9 | DEC Ada |
noted::motif | 8 | "OSF/Motif" is a trademark |
turris::lse_bugs | 7 | LSE bug reports |
turris::vaxc | 6 | VAX C Notes |
lgp30::christian-perspective | 6 | Discussions from a Christian Perspective |
turris::decspec | 5 | DECspec |
rusure::math | 5 | Mathematics at DEC |
7.286::fonts | 5 | Glyph it up! |
bulova::decwindows | 4 | DECWINDOWS |
cookie::archive_backup | 3 | Archive/Backup |
turris::languages | 3 | Languages |
galvia::cda_bugs | 3 | CDA(tm) bug reports |
cookie::six-sigma-for-software | 3 | Six Sigma for Software |
clt::decdesign | 3 | DECdesign |
abbott::bookreader | 3 | Bookreader (RIP) |
clt::vuit | 2 | DEC VUIT Notes Conference |
quokka::colorado_singles | 2 | Colorado_Singles |
noted::excursion | 2 | note 3 has pointer to current kit |
turris::source_code_analyzer | 2 | VAXSCA - VAX Source Code Analyzer |
galvia::decwrite | 1 | You can't go wrong with DECwrite |
clt::decw$calendar | 1 | dxcalendar/DECW$CALENDAR |
7.286::decfonts_typeface_collection | 1 | DECfonts Typeface Collection |
7.286::postscript | 1 | PostScript, the language. Please read 1.* |
turris::easynet_conferences | 1 | EasyNet Conference Directory |
7.286::postscript_printing | 1 | Digital PostScript printers and their associated software |
7.286::news-backbone | 1 | The Easynet USENET backbone |
turris::sca_v2_bugs | 1 | SCA V2 Bugs |
7.286::digital | 1 | The Digital way of working |
genral::colorado_classifieds-OLD | 1 | Colorado Classifieds |
TOPIC | 3631.0 | Wed Mar 10 1993 21:52 | Widget Meta Description (.WMD) files -- How does one do this? | 9 lines |
3631.4 | Thu Mar 11 1993 16:01 | Thank you for the location! | 0 lines | |
TOPIC | 3930.0 | Thu Jul 22 1993 20:43 | Help!!! Need a scrollable-form-list widget beastie | 41 lines |
TOPIC | 4857.0 | Wed Jan 11 1995 17:20 | XtNameToWidget() string parsing differences? | 16 lines |
TOPIC | 41.0 | Tue Oct 30 1990 16:32 | What are the .DOC_BACKUP files? | 12 lines |
TOPIC | 2605.0 | They're getting ready to shut down "non business" files | ||
2605.92 | Wed Aug 04 1993 16:17 | Well, just another *pissed-off* day at Digital... | 36 lines |
TOPIC | 1310.0 | Thu Sep 23 1993 21:36 | What Font is this for eXcursiuon under Win-32? | 6 lines |
1310.2 | Fri Sep 24 1993 13:52 | Thanks! | 4 lines |
TOPIC | 4254.0 | Thu Jul 22 1993 20:36 | Help!!! Need a scrollable-form-list widget beastie | 41 lines |
4254.2 | Wed Jul 28 1993 20:28 | I don't know about the SVN widget set | 7 lines | |
4254.4 | Thu Jul 29 1993 15:25 | I'm interested in ported examples thank you | 8 lines | |
TOPIC | 4460.0 | Mon Nov 08 1993 16:29 | Gray-out of XmList XmNitems | 8 lines |
4460.2 | Tue Nov 09 1993 14:15 | 6 lines | ||
TOPIC | 4579.0 | Wed Jan 12 1994 22:18 | "X Toolkit Error: Cannot perform realloc" using XmListAddItem | 12 lines |
4579.1 | Thu Jan 13 1994 16:33 | XmStringFree rather than XtFree | 2 lines | |
TOPIC | 4734.0 | Tue Apr 12 1994 17:59 | Help! Can't seem to undo selection of text when XmText is editable | 20 lines |
TOPIC | 565.0 | Thu Sep 06 1990 14:00 | Printing DECwrite file with custom fonts | 40 lines |
TOPIC | 1932.0 | ARTE Question | ||
1932.1 | Sun 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.3 | Wed Dec 05 1990 03:29 | Ada lets you handle this problem per process | 11 lines | |
1958.4 | Wed Dec 05 1990 03:35 | Hope this is *more* on the topic | 7 lines | |
1958.6 | Wed 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.1 | Sat Feb 16 1991 16:24 | An attempt at an answer for ADA-F-ZONECORR | 22 lines | |
TOPIC | 2516.0 | HP and ADA | ||
2516.2 | Thu Sep 17 1992 04:10 | HP isn't stupid! | 4 lines | |
TOPIC | 2534.0 | XD-ADA V1.2 with VMS 5.5? | ||
2534.2 | Thu Sep 17 1992 04:43 | Ummm did I miss XD-Ada? | 9 lines | |
2534.5 | Thu Sep 17 1992 16:00 | Cross (X) Development (D) of course! | 8 lines | |
2534.8 | Tue Sep 22 1992 18:18 | Thanks for all the pointers! | 3 lines |
TOPIC | 3653.0 | Thu Aug 06 1992 16:07 | Formal Methods for Software Development | 17 lines |
TOPIC | 3206.0 | looping problem | ||
3206.1 | Sun Oct 07 1990 22:17 | try this modification to your algorithm | 52 lines | |
3206.3 | Mon Oct 08 1990 18:28 | Bryan is quite right | 4 lines | |
TOPIC | 5077.0 | Fri Jun 11 1993 14:27 | Performance differences between /INCLUDE= and C$INCLUDE with DECwindows | 24 lines |
TOPIC | 5331.0 | Wed Mar 30 1994 22:14 | QAR: Compiler bug check with CC/ANALY | 75 lines |
5331.1 | Fri Apr 01 1994 20:20 | YooHoo! Anybody out there? | 0 lines | |
5331.3 | Mon Apr 11 1994 17:52 | Hmmmm... | 1 lines |
TOPIC | 482.0 | Mon Aug 22 1994 19:48 | ACCVIO with DXmHelpSystemDisplay via BOOKREADER V3.1-0 under VAX/VMS V6.1 | 42 lines |
482.2 | Wed Aug 24 1994 20:09 | Problem not with code, documentation unclear... | 10 lines | |
TOPIC | 493.0 | Fri Oct 14 1994 18:28 | ACCVIO when closing library icon | 49 lines |
TOPIC | 1148.0 | Dictionary Browser loops when obtaining STRUCTURE output | ||
1148.3 | Mon Nov 09 1992 16:54 | Grammar/Syntax for Extract format would be useful | 1 lines | |
TOPIC | 1171.0 | Mon Nov 09 1992 16:51 | Dictionary Structure output broken -- Syntax/Grammar for Extract format? | 7 lines |
1171.2 | Tue Nov 10 1992 15:58 | A bit too general, but thanks anyway! | 6 lines |
TOPIC | 435.0 | corrupt file , RMS reports errors | ||
435.10 | Sat Jul 17 1993 03:10 | Why don't you admit that you just trash your own data files... | 16 lines |
TOPIC | 987.0 | VUIT bug? or error? | ||
987.7 | Thu Aug 05 1993 21:44 | Not true. You must have a some other problem. | 11 lines | |
TOPIC | 988.0 | Tue Aug 03 1993 18:21 | So where is this BX product? | 9 lines |
TOPIC | 1.0 | Thu Jul 09 1992 18:09 | Purpose of Conference | 11 lines |
1.1 | Tue Jan 26 1993 16:25 | This conference is now served via Note-News gateway | 54 lines | |
TOPIC | 2.0 | Fri Jul 10 1992 12:06 | Introductions | 3 lines |
2.1 | Fri Jul 10 1992 12:43 | Richard Wallace | 82 lines | |
TOPIC | 3.0 | Thu Jul 09 1992 18:16 | VDM notation | 1 lines |
TOPIC | 4.0 | Thu Jul 09 1992 18:16 | Z notation | 1 lines |
TOPIC | 5.0 | Fri Jul 10 1992 12:32 | HOL notation | 1 lines |
TOPIC | 6.0 | Thu Jul 09 1992 18:15 | LARCH Notation | 1 lines |
TOPIC | 7.0 | Thu Jul 09 1992 18:20 | Boyer-Moore Theorem Prover (NQTHM) | 1 lines |
TOPIC | 8.0 | Thu Jul 09 1992 18:21 | High Order Logic Theorem Prover | 1 lines |
8.1 | Thu Jul 09 1992 20:04 | Best point of contact in DEC for HOL | 9 lines | |
TOPIC | 9.0 | References? | ||
9.1 | Wed Aug 12 1992 15:27 | Some references that will help | 51 lines | |
9.2 | Tue Aug 25 1992 13:58 | more references | 28 lines | |
TOPIC | 10.0 | Tue Aug 25 1992 12:39 | ASCII equivalents for Z symbols | 7 lines |
10.1 | Tue Aug 25 1992 13:59 | POSTSCRIPT! -- Z symbols | 1798 lines | |
10.2 | Tue Aug 25 1992 14:01 | POSTSCRIPT! -- Z schemas in ASCII | 890 lines | |
TOPIC | 11.0 | Tue Aug 25 1992 12:43 | Temporal Logic of Actions (TLA) | 2 lines |
TOPIC | 12.0 | 91 problem? | ||
12.2 | Sun Oct 18 1992 15:09 | I've not heard of this either | 5 lines | |
12.4 | Mon Oct 19 1992 20:23 | How about a reference to those texts? | 7 lines | |
TOPIC | 13.0 | Fri Nov 06 1992 17:47 | A conference on formal specificaiton | 10 lines |
TOPIC | 534.0 | Wed Nov 07 1990 15:05 | CDA can't do Postscript now... | 17 lines |
534.1 | Wed Nov 07 1990 15:06 | VMS version I am running under | 1 lines | |
534.4 | Fri Nov 16 1990 14:17 | Everything is playing together nicely now! | 8 lines |
TOPIC | 4.0 | Discussion | ||
4.137 | Fri Sep 24 1993 12:01 | Enough! | 8 lines |
TOPIC | 714.0 | Is there a wrong way to pray? | ||
714.5 | Fri Jul 23 1993 15:55 | What is the intent? | 14 lines | |
714.9 | Fri Jul 23 1993 19:42 | a short asside to .8 and then back to the topic | 21 lines | |
TOPIC | 716.0 | Fri Jul 23 1993 16:20 | Do christians have independent thought? | 6 lines |
716.4 | Fri Jul 23 1993 19:13 | Good answers so far. A clarification of the topic | 44 lines | |
716.7 | Fri Jul 23 1993 22:29 | And the prize goes to... | 31 lines | |
716.8 | Fri Jul 23 1993 22:36 | for .5 | 7 lines |
TOPIC | 15.0 | Thu Mar 28 1991 03:14 | Can we *Create* Fonts? | 26 lines |
TOPIC | 411.0 | Sat Sep 01 1990 21:16 | Help! Need Fonts and a way to print them ASAP! | 31 lines |
411.1 | Fri Sep 07 1990 14:33 | Still need HELP! | 29 lines | |
411.3 | Mon Sep 10 1990 19:32 | Adobe says tough luck for you VAX users... | 21 lines | |
TOPIC | 439.0 | Simple (???) request. | ||
439.3 | Fri Feb 22 1991 16:36 | Need some help using standard | 21 lines | |
439.5 | Sat Feb 23 1991 15:16 | Clear a bell! | 4 lines |
TOPIC | 814.0 | Thu Sep 06 1990 13:59 | Help! Need Printing Help! | 40 lines |
TOPIC | 6.0 | INTRODUCTIONS (WHO ARE WE?) | ||
6.28 | Sat Mar 06 1993 21:20 | Richard Wallace | 34 lines | |
TOPIC | 41.0 | Interest in Parents Without Partners | ||
41.4 | Mon Jun 07 1993 02:43 | Cast broadly... | 13 lines |
TOPIC | 1295.0 | Sun Sep 16 1990 22:47 | Anybody Know the Z Notation? | 13 lines |
1295.2 | Fri Sep 21 1990 21:44 | Z is a formal specification notation | 29 lines | |
1295.4 | Wed 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.3 | Sun Oct 21 1990 05:42 | Yes and here is why! | 84 lines | |
TOPIC | 1407.0 | Mon Apr 01 1991 04:41 | Boyer-Moore Theorm Prover Needed | 10 lines |
TOPIC | 4.0 | Kit Information | ||
4.2 | Mon Jun 24 1991 19:10 | Kit Availability soon? | 6 lines | |
4.4 | Fri Jun 28 1991 14:37 | Looking forward to it! | 5 lines | |
TOPIC | 5.0 | Introductions | ||
5.10 | Fri Jun 28 1991 15:17 | Richard Wallace | 18 lines | |
TOPIC | 21.0 | How does/will DECspec fit in to DECdesign? | ||
21.6 | Thu Jun 06 1991 15:51 | So are we a World Class Company or not? | 21 lines | |
TOPIC | 28.0 | Formal-methods event announcements | ||
28.3 | Thu Jun 06 1991 14:54 | Advanced Z Proof Course at Oxford U. | 294 lines |
TOPIC | 287.0 | Mon Oct 08 1990 14:32 | Z NOTATION Anyone? | 11 lines |
TOPIC | 291.0 | Programming in a foreign language? | ||
291.12 | Wed Nov 28 1990 00:54 | Adding heat to the fire... | 14 lines | |
TOPIC | 340.0 | What is CHIL? | ||
340.1 | Fri Jul 31 1992 16:43 | CHILL | 5 lines |
TOPIC | 734.0 | Wed Jun 05 1991 18:05 | Internal Error From LSEDIT V3.1-16 | 574 lines |
TOPIC | 1062.0 | Tue Jan 21 1992 16:11 | X-window error in copy/paste | 73 lines |
TOPIC | 1289.0 | Mon Aug 03 1992 17:35 | SCA bombs in LSE$DO_COMMAND during REPORT | 43 lines |
TOPIC | 1365.0 | Thu Jan 14 1993 15:41 | Cut and Paste crashes LSE | 1934 lines |
1365.1 | Thu Jan 14 1993 15:42 | binary!! $MAIN.TPU$JOURNAL;1 | 1 lines | |
1365.2 | Thu Jan 14 1993 15:43 | binary!! EPCOT_API_CREATE_SDML.TPU$JOURNAL;1 | 1 lines | |
1365.3 | Thu Jan 14 1993 15:43 | binary!! EPCOT_API_SHOW_SDML.TPU$JOURNAL;1 | 76 lines |
TOPIC | 626.0 | Tue Aug 11 1992 20:40 | HELP! HELP! Is VAX MACRO supported for V4.0-93/VAX_VMS? | 46 lines |
626.2 | Tue Aug 11 1992 22:13 | MACRO .ANA files... Any real use? | 5 lines |
TOPIC | 370.0 | STATUS ON NNTPD2 SERVER? | ||
370.16 | Mon Jun 06 1994 19:33 | nntpd2 doesn't seem to have any news | 16 lines |
TOPIC | 393.0 | Mon Aug 03 1992 17:40 | SCA bombs in LSE$DO_COMMAND during REPORT (cross-post) | 50 lines |
TOPIC | 35.0 | How to kick-off a restore request ? | ||
35.5 | Sat Jan 21 1995 00:08 | 19 lines | ||
TOPIC | 36.0 | BL9 - gui: set storage class access violates | ||
36.2 | Wed 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.3 | Wed Jan 11 1995 18:39 | Answers to .0 | 20 lines |
TOPIC | 40.0 | SEI Trip Report | ||
40.1 | Mon Oct 08 1990 18:55 | Where's the meat? | 24 lines | |
40.3 | Wed Oct 10 1990 11:44 | Who at DEC and SEI is doing this? | 13 lines | |
40.5 | Thu Oct 11 1990 15:03 | And now, the rest of the story... | 13 lines |
First Post: | Sat Sep 01 1990 |
Last Post: | Sat Jan 21 1995 |
# Topics: | 42 |
# Replies: | 69 |
# We have note bodies for: | 17 |