1. Forum
  2. Usenet
  3. COMP.LANG.ADA

  • Common HOL Phase 1 Reports

    From Luke A. Guest@21:1/5 to All on Wed Aug 30 14:48:48 2023
    Edward Fish has managed to get the DTIC to scan in the other language's reports.

    This has been a combined effort between a few of us on IRC to try to get
    the other two languages, blue and yellow released so we can see what
    could've happened.

    This report contains all 4 language reports.

    https://apps.dtic.mil/sti/trecms/pdf/ADB950587.pdf

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Luke A. Guest@21:1/5 to moi on Wed Aug 30 22:00:11 2023
    On 30/08/2023 21:45, moi wrote:

    The effort is much appreciated, but that PDF is over 320MB!
    It does not make for easy reading.
    Could the four colour books not be put in separate files?

    I've mentioned doing that on irc.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Luke A. Guest@21:1/5 to Luke A. Guest on Wed Aug 30 21:20:28 2023
    On 30/08/2023 14:48, Luke A. Guest wrote:
    This report contains all 4 language reports.

    https://apps.dtic.mil/sti/trecms/pdf/ADB950587.pdf


    Now we have all 5 reference docs out in the open, yes 5. I want to ask
    the people who were there at the time, were there any analyses of the
    Tartan language?

    Design: https://apps.dtic.mil/sti/citations/ADA062815

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From moi@21:1/5 to Luke A. Guest on Wed Aug 30 21:45:32 2023
    On 30/08/2023 14:48, Luke A. Guest wrote:
    Edward Fish has managed to get the DTIC to scan in the other language's reports.

    This has been a combined effort between a few of us on IRC to try to get
    the other two languages, blue and yellow released so we can see what
    could've happened.

    This report contains all 4 language reports.

    https://apps.dtic.mil/sti/trecms/pdf/ADB950587.pdf


    The effort is much appreciated, but that PDF is over 320MB!
    It does not make for easy reading.
    Could the four colour books not be put in separate files?
    --
    Bill F.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From =?UTF-8?B?U3TDqXBoYW5lIFJpdmnDqHJl?@21:1/5 to All on Thu Aug 31 06:32:50 2023
    Fascinating (C) Spock.

    Big up for this work !

    Le 30/08/2023 à 15:48, Luke A. Guest a écrit :
    Edward Fish has managed to get the DTIC to scan in the other language's reports.

    This has been a combined effort between a few of us on IRC to try to get
    the other two languages, blue and yellow released so we can see what
    could've happened.

    This report contains all 4 language reports.

    https://apps.dtic.mil/sti/trecms/pdf/ADB950587.pdf


    --
    Stéphane Rivière
    Ile d'Oléron - France

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)