comp.lang.ada
 help / color / mirror / Atom feed
 messages from 2022-07-24 09:22:12 to 2022-09-16 18:53:07 UTC [more...]

Non-standard functions in GNAT's Ada.Containers packages?
 2022-09-16 18:53 UTC  (15+ messages)

yet another Ada web site?
 2022-09-16 18:49 UTC  (12+ messages)

XCode 14 and FSF gnat-12.1.0-1
 2022-09-16 16:46 UTC  (6+ messages)

SIGAda Awards Nominations -- Due Sept. 20, 2022
 2022-09-13 19:38 UTC 

Struggling to use fonts in SDLAda
 2022-09-13  9:52 UTC  (2+ messages)

Is this an error in compiler
 2022-09-12  7:05 UTC  (11+ messages)

on Ada abtract data type vs. OOP
 2022-09-11  8:02 UTC  (8+ messages)

Is this an error in compiler?
 2022-09-11  7:27 UTC 

Is this an error in compiler?
 2022-09-11  7:21 UTC 

Is this an error in compiler?
 2022-09-11  7:16 UTC 

Question about alire
 2022-09-11  6:58 UTC  (3+ messages)

Can GNAT Community projects be compiled to the Android platform?
 2022-09-09  6:52 UTC  (2+ messages)

COST Action about automatic theorem proving
 2022-09-08 10:04 UTC 

Calling inherited primitive operations in Ada
 2022-09-07  0:51 UTC  (37+ messages)

Carbon
 2022-09-03  0:23 UTC  (67+ messages)

Ada Monthly Meeting proposal
 2022-09-01  8:35 UTC  (5+ messages)

Ann: AZip v.2.50
 2022-08-28  7:33 UTC 

Ann: Zip-Ada v.58
 2022-08-27  7:58 UTC 

About procedures and functions in Ada Pure packages. Thanks!
 2022-08-21 21:49 UTC  (3+ messages)

alire crate bug report/fix process?
 2022-08-21 18:44 UTC  (2+ messages)

ANN: Simple Components v4.64
 2022-08-19  9:44 UTC 

Adjust primitive not called on defaulted nonlimited controlled parameter, bug or feature ?
 2022-08-18  4:04 UTC  (5+ messages)

ANN: Simple Components v4.63
 2022-08-05 12:38 UTC 

ANN: Strings Edit v3.8
 2022-08-05 12:36 UTC 

headers
 2022-07-31 23:24 UTC 

License for small Ada.* complements
 2022-07-31  8:48 UTC  (16+ messages)

Bugged Multiway_Tree package?
 2022-07-29  4:36 UTC  (2+ messages)

Good news
 2022-07-27  5:22 UTC  (2+ messages)

Linter Ada for Visual Studio Code? Very Very Very Thanks!
 2022-07-26 12:22 UTC  (4+ messages)


This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox