info
Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Groups keyboard shortcuts have been updated
Dismiss
See shortcuts
Common HOL Phase 1 Reports (proposals for the Ada language)
17 views
Skip to first unread message
Luke A. Guest
Aug 30, 2023, 5:10:02 PM8/30/23
to
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
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
0 new messages