comp.lang.ada
 help / color / mirror / Atom feed
Carbon
 2022-07-27 23:30 UTC  (15+ messages)

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

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

License for small Ada.* complements
 2022-07-25 23:53 UTC  (15+ messages)

No Free GNAT 2022
 2022-07-17 12:51 UTC  (7+ messages)

Which site to upload software?
 2022-07-16 21:40 UTC  (6+ messages)

deferred constants
 2022-07-12 14:45 UTC  (14+ messages)
      ` RegEx / rename of a function result
            ` RegEx / rename of a function resultRig

Gnu Emacs Ada mode 7.3.beta released
 2022-07-12 14:31 UTC 

Safe to ignore warnings about function mistaken as primitive?
 2022-07-11 13:17 UTC  (4+ messages)

SPARK and pragma Export
 2022-07-11 10:05 UTC 

max line length
 2022-07-06 10:35 UTC  (7+ messages)

too much spaces with Gtk.Button.Set_Image
 2022-07-05  3:18 UTC  (2+ messages)

Ann: HAC v.0.2
 2022-07-02  7:48 UTC  (2+ messages)

SimpleComponents / MQTT
 2022-07-01 13:22 UTC  (5+ messages)

Gtk_Event_Box / Gtk_Fixed
 2022-07-01  9:10 UTC  (2+ messages)

New aggregates with Ada 2022
 2022-07-01  5:20 UTC  (44+ messages)

Ada/SPARK Crate Of The Year is back!
 2022-06-28 12:55 UTC 

[Ann] Adalog components
 2022-06-27 16:23 UTC 

overloading predefined operators
 2022-06-25  6:21 UTC  (6+ messages)

Has anybody successfully installed Alire 1.2.0 in Windows 10 Pro?
 2022-06-21 20:00 UTC 

who needs types? Types makes code ugly
 2022-06-20 21:40 UTC  (21+ messages)
                ` What's new in Ada 2022? (was: Re: who needs types? Types makes code ugly.)

Bugged Multiway_Tree package?
 2022-06-13 22:02 UTC  (2+ messages)

Using pointers with inline assembly in Ada
 2022-06-13 20:33 UTC  (13+ messages)

Un-installing GNAT
 2022-06-13 17:00 UTC  (8+ messages)

Press Release - AEiC 2022, Ada-Europe Reliable Softw. Technol
 2022-06-12 20:59 UTC 

Ada needs some modernization
 2022-06-10 16:38 UTC  (2+ messages)

Extra information in the message string of exceptions
 2022-06-09  8:21 UTC  (25+ messages)

AdaCore Blog: A New Era For Ada/SPARK Open Source Community
 2022-06-06 16:03 UTC  (2+ messages)

[ANN] Alire 1.2.0
 2022-06-06  8:57 UTC 

Hiding Code from SPARK
 2022-06-04 16:16 UTC 

page:  |  | latest

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