Commit Graph

Select branches

Hide Pull Requests

ada_horizon_logo

add_cwe_to_coding_standards

adv-ada_resources-mgmt_access-abstraction_fix

airborne-software-booklet

codepeer-to-gnatsas

coding_standards

contact_form

cwe_minor_updates

dead_beef

dependabot/npm_and_yarn/frontend/isaacs/brace-expansion-5.0.1

dependabot/pip/frontend/pillow-12.1.1

describe_where_gnatcheck_rules_come_from

feature/Fix-race-condition

feature/Fix-some-code-blocks

feature/Lambda-executer

feature/Update-backend-URLs

feature/Update-makefile

filip-review

front-page-ebook-layout

main

minor_typos

missing-semicolon

railway_software_booklet

remove-RA-tracker

remove-gnat-ce-link

remove_fundamentals_of_ada

revert-theme-change

sttaft_review

update_training_logo

#1

#10

#100

#1000

#1001

#1002

#1003

#1004

#1005

#1006

#1007

#1008

#1009

#101

#1010

#1011

#1012

#1013

#1014

#1015

#1016

#1017

#1018

#1019

#102

#1021

#1022

#1023

#1024

#1025

#1026

#1027

#1028

#1029

#103

#1030

#1031

#1032

#1033

#1034

#1035

#1036

#1037

#1038

#1039

#1040

#1042

#1043

#1044

#1045

#1047

#1048

#1051

#1052

#1053

#1054

#1055

#1056

#1057

#1058

#1059

#1060

#1061

#1063

#1064

#1066

#1067

#1068

#1069

#1070

#1071

#1072

#1073

#1074

#1075

#1076

#1077

#1078

#1079

#1080

#1081

#1082

#1083

#1084

#1085

#1086

#1087

#1088

#1089

#1090

#1091

#1092

#1093

#1094

#1095

#1096

#1097

#1098

#1099

#11

#11

#110

#1104

#1105

#1106

#1107

#1108

#1109

#111

#1110

#1111

#1112

#1113

#1114

#1115

#1116

#1117

#1118

#1119

#1120

#1121

#1122

#1123

#1124

#1125

#1126

#1127

#1128

#1129

#1130

#1131

#1132

#1133

#1134

#1135

#1136

#1137

#1138

#1139

#114

#1140

#1141

#1142

#1143

#1144

#1145

#1146

#1147

#1149

#115

#1150

#1151

#1152

#1153

#1154

#1155

#1156

#1157

#1158

#1159

#1160

#1161

#1162

#1163

#1164

#1165

#1167

#1168

#1169

#117

#117

#1170

#1171

#1172

#1173

#1174

#1175

#1176

#1177

#1178

#1179

#1180

#1181

#1182

#1183

#1184

#1185

#1186

#1187

#1188

#1189

#1190

#1191

#1192

#1193

#1194

#1195

#1196

#1197

#1198

#1199

#12

#120

#1200

#1202

#1203

#1204

#1205

#1206

#1209

#121

#1210

#1211

#1213

#1214

#1215

#1216

#1217

#1218

#1219

#122

#1220

#1222

#1223

#1224

#1225

#1226

#1227

#1228

#1229

#123

#1230

#1231

#1232

#1233

#1234

#1235

#1236

#1237

#1239

#124

#1240

#1241

#1242

#1243

#1244

#1245

#1248

#1249

#125

#1250

#1251

#1252

#1253

#1254

#1255

#1256

#1257

#1258

#1259

#126

#1260

#1261

#1262

#1263

#1264

#1265

#1266

#1267

#1268

#1269

#1270

#1271

#1272

#1273

#1274

#1275

#1276

#1277

#1278

#1279

#128

#1280

#1281

#1282

#1283

#1284

#1285

#1286

#1287

#1288

#1289

#129

#1290

#1291

#1292

#1293

#1294

#1295

#1296

#1297

#1298

#1299

#13

#130

#1300

#1301

#1302

#1303

#1305

#1306

#1307

#1308

#1309

#1309

#131

#1310

#1311

#1312

#1313

#1313

#1314

#1314

#132

#133

#134

#135

#136

#137

#138

#139

#14

#140

#142

#143

#144

#147

#148

#149

#15

#15

#152

#153

#154

#155

#156

#158

#159

#16

#161

#162

#164

#165

#166

#167

#168

#169

#17

#170

#171

#173

#174

#175

#176

#177

#178

#179

#18

#181

#182

#183

#184

#185

#186

#187

#188

#189

#19

#190

#191

#192

#193

#194

#195

#196

#197

#198

#199

#2

#20

#200

#202

#203

#204

#205

#206

#207

#209

#21

#211

#212

#214

#215

#216

#217

#218

#219

#22

#220

#221

#222

#225

#226

#227

#228

#229

#23

#230

#231

#232

#233

#234

#235

#237

#238

#239

#24

#24

#240

#241

#243

#244

#245

#246

#247

#248

#249

#25

#250

#252

#253

#255

#257

#258

#259

#26

#26

#260

#261

#262

#263

#264

#266

#267

#268

#269

#27

#270

#271

#274

#275

#276

#277

#278

#279

#28

#280

#281

#284

#285

#286

#288

#289

#29

#290

#291

#292

#293

#294

#295

#296

#297

#298

#299

#3

#30

#300

#301

#302

#303

#304

#305

#306

#307

#308

#309

#310

#311

#312

#313

#314

#315

#317

#318

#319

#32

#320

#323

#324

#325

#326

#327

#328

#329

#33

#330

#331

#332

#333

#334

#335

#336

#337

#338

#339

#34

#340

#341

#342

#343

#344

#345

#346

#347

#348

#349

#35

#350

#351

#352

#353

#354

#355

#356

#357

#358

#359

#36

#361

#363

#364

#366

#369

#37

#370

#371

#372

#373

#374

#375

#376

#377

#378

#379

#38

#380

#381

#382

#383

#384

#385

#386

#387

#389

#39

#392

#393

#394

#395

#397

#398

#399

#4

#40

#400

#401

#402

#403

#404

#406

#409

#41

#410

#411

#414

#415

#416

#417

#418

#419

#42

#420

#421

#422

#423

#424

#425

#426

#427

#428

#429

#43

#430

#431

#432

#433

#434

#435

#436

#437

#438

#439

#44

#440

#441

#443

#444

#446

#447

#448

#449

#45

#455

#456

#458

#459

#46

#460

#461

#462

#463

#464

#465

#467

#469

#47

#474

#476

#477

#478

#479

#48

#480

#481

#482

#483

#484

#485

#486

#487

#488

#489

#49

#490

#491

#492

#493

#495

#497

#498

#499

#5

#50

#500

#501

#502

#505

#507

#508

#509

#51

#510

#512

#513

#514

#516

#517

#519

#52

#520

#521

#522

#523

#524

#525

#526

#527

#528

#529

#53

#531

#532

#533

#534

#535

#536

#537

#538

#539

#54

#540

#541

#542

#543

#544

#545

#546

#547

#548

#549

#55

#550

#551

#552

#554

#555

#556

#557

#558

#56

#560

#561

#562

#563

#564

#565

#566

#567

#568

#57

#570

#571

#572

#573

#574

#575

#579

#58

#580

#581

#582

#583

#584

#585

#586

#587

#588

#589

#59

#590

#591

#592

#593

#594

#595

#596

#597

#598

#599

#6

#600

#601

#602

#603

#604

#605

#606

#607

#608

#609

#610

#611

#612

#613

#614

#616

#617

#618

#619

#620

#621

#622

#623

#624

#625

#627

#628

#629

#630

#631

#632

#634

#637

#638

#639

#640

#641

#642

#643

#644

#645

#646

#647

#648

#650

#651

#652

#653

#654

#655

#656

#657

#658

#659

#660

#661

#662

#663

#664

#665

#666

#667

#668

#669

#670

#671

#672

#673

#674

#675

#676

#677

#678

#679

#680

#681

#682

#683

#684

#685

#686

#687

#688

#689

#690

#691

#692

#693

#694

#696

#698

#699

#7

#700

#701

#702

#703

#704

#705

#706

#707

#708

#709

#710

#711

#712

#713

#714

#715

#716

#719

#720

#721

#723

#724

#725

#726

#727

#728

#729

#730

#731

#732

#733

#734

#735

#736

#737

#738

#739

#740

#741

#742

#743

#744

#745

#746

#747

#748

#749

#750

#751

#752

#753

#754

#755

#756

#757

#758

#759

#760

#761

#763

#764

#765

#766

#767

#768

#769

#77

#770

#771

#772

#773

#774

#775

#776

#777

#778

#779

#780

#781

#782

#783

#784

#785

#786

#787

#788

#789

#790

#791

#792

#793

#794

#795

#796

#797

#798

#799

#8

#80

#800

#801

#802

#805

#806

#807

#808

#809

#810

#812

#813

#814

#815

#816

#817

#818

#819

#82

#820

#821

#822

#823

#824

#825

#826

#827

#829

#830

#831

#832

#833

#834

#835

#836

#837

#838

#839

#84

#840

#841

#842

#843

#844

#845

#846

#847

#849

#85

#850

#851

#852

#853

#854

#855

#856

#857

#858

#859

#86

#860

#861

#862

#863

#865

#866

#867

#868

#869

#87

#870

#871

#872

#873

#874

#875

#876

#877

#878

#879

#882

#883

#884

#885

#886

#887

#888

#89

#893

#894

#895

#896

#897

#898

#899

#9

#90

#900

#901

#902

#903

#904

#905

#907

#908

#909

#91

#910

#911

#912

#913

#914

#915

#916

#918

#919

#92

#920

#921

#922

#923

#924

#925

#926

#927

#928

#929

#93

#930

#931

#932

#933

#934

#935

#938

#939

#94

#941

#942

#943

#944

#945

#946

#947

#948

#949

#95

#950

#951

#952

#953

#954

#955

#956

#957

#958

#959

#96

#960

#961

#962

#963

#964

#965

#966

#967

#968

#969

#97

#970

#971

#972

#973

#974

#975

#976

#977

#978

#979

#980

#981

#982

#983

#984

#985

#986

#987

#988

#989

#99

#990

#991

#992

#993

#994

#995

#996

#997

#998

#999

2025.09.30

r2021.07.30

r2021.09.17

r2021.11.26

r2021.12.18

r2022.02.26

r2022.03.30

r2022.03.31

r2022.04.15

r2022.05.13

r2022.06.24

r2022.06.30

r2022.07.30

r2022.08.26

r2022.09.30

r2022.10.28

r2022.12.30

r2023.01.28

r2023.06.17

r2023.07.29

r2023.08.05

r2023.09.29

r2023.10.21

r2023.11.25

r2023.12.30

r2024.01.31

r2024.02.25

r2024.04.27

r2024.06.30

r2024.07.27

r2024.08.30

r2024.09.27

r2024.10.27

r2024.11.30

r2024.12.27

r2025.02.26

r2025.03.30

r2025.04.27

r2025.05.31

r2025.06.27

r2025.07.26

r2025.08.29

r2025.09.30

r2025.10.31

r2025.11.30

r2025.12.27

r2026.01.31

Mono Color

• b209bdfb75 CONTRIBUTING: editorial change: adding subsections gusthoff 2025-08-08 19:45:50 +02:00
• ca49dbe4a1 CONTRIBUTING: editorial change: adding project to code block gusthoff 2025-08-08 19:17:37 +02:00
• 6b8f7b43f8 CONTRIBUTING: adding 'nosyntax-check' class to the list gusthoff 2025-08-08 19:15:59 +02:00
• 3dfebfbd77 CONTRIBUTING: adding manual_chop example for Ada code gusthoff 2025-08-08 19:13:41 +02:00
• 0103fa5538 CONTRIBUTING: improving C code example gusthoff 2025-08-08 19:11:58 +02:00
• 13f02f77c2 CONTRIBUTING: listing all code buttons available for widgets gusthoff 2025-08-08 19:10:05 +02:00
• fbcb45edb4 CONTRIBUTING: editorial change: correcting typo gusthoff 2025-08-08 19:07:33 +02:00
• 24da145872 CONTRIBUTING: editorial change: correcting Markdown syntax for lists gusthoff 2025-08-08 19:06:43 +02:00
• df246e253c CONTRIBUTING: editorial change: using verbatim for special syntax gusthoff 2025-08-08 19:04:30 +02:00
• e3cb667259 CONTRIBUTING: editorial change: splitting list gusthoff 2025-08-08 18:26:48 +02:00
• 7154896b3f CONTRIBUTING: removing references to old "code-config" gusthoff 2025-08-01 16:38:51 +02:00
• e8dd593551 CONTRIBUTING: mentioning classes for static compilation/build/run gusthoff 2025-08-01 16:37:39 +02:00
• 3a009b008c CONTRIBUTING: improving description of source-code blocks using widget gusthoff 2025-08-01 16:36:05 +02:00
• 5048119778 CONTRIBUTING: rules for todo items gusthoff 2025-08-01 16:35:12 +02:00
• b128556fd3 CONTRIBUTING: rules for dashes gusthoff 2025-08-01 16:35:01 +02:00
• 281b38346d CONTRIBUTING: guidelines for images gusthoff 2025-08-01 16:34:40 +02:00
• 28644f404e CONTRIBUTING: rules for "ada role" gusthoff 2025-08-01 16:34:07 +02:00
• 140e653c8e CONTRIBUTING: rules for section headers gusthoff 2025-08-01 16:33:31 +02:00
• 8fe21ec009 CONTRIBUTING: mentioning anchors/references gusthoff 2025-08-01 16:31:58 +02:00
• 21f4b81485 CONTRIBUTING: mentioning global definitions file for Sphinx gusthoff 2025-08-01 16:30:19 +02:00
• f25d4df229 CONTRIBUTING: mentioning blank line after title gusthoff 2025-08-01 16:29:01 +02:00
• 8cb14074eb CONTRIBUTING: mentioning ReST format gusthoff 2025-08-01 16:28:24 +02:00
• c536aeab01 CONTRIBUTING: mentioning external content / Wikipedia gusthoff 2025-08-01 16:28:09 +02:00
• a1e63fa4c4 CONTRIBUTING: minor change in title gusthoff 2025-08-01 15:57:01 +02:00
• d8abf1b5f2 CONTRIBUTING: adding section about editorial policies and guidelines gusthoff 2025-08-01 15:56:44 +02:00
• 4e8441e6fa Merge pull request #1250 from gusthoff/advanced_ada/new_content/numerics/real_numeric_types/20250718 Gustavo A. Hoffmann 2025-08-08 17:19:13 +02:00
• de504c9855 Adding section on real numeric types gusthoff 2025-07-19 03:40:40 +02:00
• 2409216f51 Editorial change: adding anchor gusthoff 2025-07-19 03:38:15 +02:00
• e9e6f1a259 Editorial change: removing todo item gusthoff 2025-07-19 03:32:51 +02:00
• 8c2452d5c6 Editorial change: splitting into three sections gusthoff 2025-07-19 03:29:53 +02:00
• 85ee72047c Merge pull request #1249 from gusthoff/content/advanced_ada/review/editorial/types_representation/sizes/20250718 Gustavo A. Hoffmann 2025-08-08 16:54:45 +02:00
• 79fc7c1056 Adding small comment about Size aspect and object representation gusthoff 2025-07-18 23:50:47 +02:00
• 7f80ee3bc4 Adding comments about UInt_7_S24 type gusthoff 2025-07-18 23:42:00 +02:00
• 8ac65cdade Improve code example by replacing UInt_7_S32 by UInt_7_S24 gusthoff 2025-07-18 23:36:30 +02:00
• ea97a0813e Editorial change: adding anchors gusthoff 2025-07-18 23:34:52 +02:00
• 01380bf476 Adding subsection on Size aspect gusthoff 2025-07-18 23:34:21 +02:00
• 756d2a4e56 Merge pull request #1251 from AdaCore/remove_fundamentals_of_ada r2025.07.26 Gustavo A. Hoffmann 2025-07-25 12:00:41 +02:00
• 3f3e82e7c8 Remove reference to fundamentals of ada links remove_fundamentals_of_ada Michael Frank 2025-07-21 13:12:41 -04:00
• 49a711759f This content is no longer used Michael Frank 2025-07-21 10:33:21 -04:00
• 71c60de232 Merge pull request #1244 from AdaCore/revert-theme-change Fabien Chouteau 2025-07-02 12:20:04 +02:00
• 406b1f866b Revert "Python: introduce Sphinx furo theme package" revert-theme-change Fabien Chouteau 2025-07-02 11:22:32 +02:00
• 94c6013d45 Revert "Sphinx: replace RTD theme by Furo theme" Fabien Chouteau 2025-07-01 18:11:32 +02:00
• 3a38d1759a Revert "Sphinx: add Furo options" Fabien Chouteau 2025-07-01 18:11:30 +02:00
• 7d87585901 Revert "Sphinx: add announcement for learn-sandbox" Fabien Chouteau 2025-07-01 18:10:44 +02:00
• e9caeb9f08 Revert "Sphinx: reintroduce Font-Awesome" Fabien Chouteau 2025-07-01 18:10:42 +02:00
• 67a719d52e Revert "Sphinx: adapt color of logo images to Furo theme" Fabien Chouteau 2025-07-01 18:10:41 +02:00
• 8d5b061c8c Revert "Widget: adapt template for Font-Awesome 6" Fabien Chouteau 2025-07-01 18:10:39 +02:00
• 926cbf1e74 Revert "SCSS: remove dark-mode version" Fabien Chouteau 2025-07-01 18:10:37 +02:00
• 1551c40afb Revert "SCSS: remove RTD-theme related information" Fabien Chouteau 2025-07-01 17:55:19 +02:00
• d737dab56f Revert "SCSS: remove scroll-to-top button" Fabien Chouteau 2025-07-01 17:55:17 +02:00
• d8a9b51f1a Revert "Widget: fix rows in settings dropdown menu" Fabien Chouteau 2025-07-01 17:55:15 +02:00
• 5cb8d47c3d Revert "SCSS: fix color of settings bar" Fabien Chouteau 2025-07-01 17:55:13 +02:00
• 8604913ae8 Revert "SCSS: fix color/font/format of compile/run button" Fabien Chouteau 2025-07-01 17:55:11 +02:00
• 3cd077a92a Revert "SCSS: fix overlapping of dropdown-menu" Fabien Chouteau 2025-07-01 17:53:27 +02:00
• c3f2918b16 Revert "SCSS: fix color of source-code file tabs" Fabien Chouteau 2025-07-01 17:53:25 +02:00
• 81f74767b6 Revert "SCSS: fix color of dropdown-menu" Fabien Chouteau 2025-07-01 17:53:24 +02:00
• a264aebba5 Revert "SCSS: fix color of code block output" Fabien Chouteau 2025-07-01 17:53:23 +02:00
• bb875c4618 Revert "SCSS: add entry for output_console" Fabien Chouteau 2025-07-01 17:53:21 +02:00
• e6f01dc5ab Revert "SCSS: use standard font color for output_info" Fabien Chouteau 2025-07-01 17:53:19 +02:00
• 2cb7d82285 Revert "SCSS: fix font color for output-area" Fabien Chouteau 2025-07-01 17:53:18 +02:00
• 79c4804983 Revert "SCSS: use standard background color for admonition 'In other languages'" Fabien Chouteau 2025-07-01 17:53:15 +02:00
• 07085ae977 Revert "Sphinx: remove HTML template for RTD-theme" Fabien Chouteau 2025-07-01 17:48:56 +02:00
• ed3b6d8e4c Revert "Sphinx: change dark mode theme of Pygments extension" Fabien Chouteau 2025-07-01 17:47:23 +02:00
• c1ca37f708 Revert "Sphinx: remove deprecated html_theme" Fabien Chouteau 2025-07-01 17:46:38 +02:00
• 8ea6689b2d Revert "Python: remove sphinx-rtd-theme package" Fabien Chouteau 2025-07-01 17:45:23 +02:00
• 89235a52c1 Merge pull request #1242 from gusthoff/content/advanced_ada/review/editorial/numerics/20250627 Gustavo A. Hoffmann 2025-06-28 01:56:10 +02:00
• 8070f2df4c Editorial change: adding note about new chapter on "Numeric Attributes" gusthoff 2025-06-27 22:16:57 +02:00
• 20b78e9da1 Editorial change: introducing separate chapter on numeric attributes gusthoff 2025-06-27 22:07:43 +02:00
• a9d1e59172 Editorial change: updating list for 2025-06 release gusthoff 2025-06-27 16:44:23 +02:00
• 5b0a08e9bd Python: updating some packages r2025.06.27 gusthoff 2025-06-27 13:50:07 +02:00
• bc1c2a9084 Bump brace-expansion from 1.1.11 to 1.1.12 in /frontend dependabot[bot] 2025-06-22 00:09:39 +00:00
• aa0dbaf873 Merge pull request #1239 from gusthoff/topic/infrastructure/yarn/updates/20250627/node_24_upgrade Gustavo A. Hoffmann 2025-06-27 13:39:12 +02:00
• da9997427f GitHub actions: upgrade to Node 24 gusthoff 2025-06-27 12:53:17 +02:00
• 5885a30e9b Frontend: upgrading to Node/NPM 24.x gusthoff 2025-06-27 12:52:19 +02:00
• cbb0a2ecb8 Vagrant VM: upgrading to nodejs 24.x package gusthoff 2025-06-27 12:48:45 +02:00
• 12f3b7fb7d Vagrant VM: upgrade to Node 24 gusthoff 2025-06-27 12:48:07 +02:00
• 60f71e2d41 Merge pull request #1224 from gusthoff/content/advanced_ada/new_content/types/base_type/20250525 Gustavo A. Hoffmann 2025-06-27 10:54:07 +02:00
• b9db77c934 Editorial change: minor wording correction gusthoff 2025-06-21 21:32:45 +02:00
• 0c914b7867 Adapting paragraphs after moving section gusthoff 2025-05-25 21:58:29 +02:00
• b9e6107bc8 Referring to other attributes gusthoff 2025-05-25 21:55:52 +02:00
• 6e397e3177 Adding introductory subsection on base types gusthoff 2025-05-25 21:48:15 +02:00
• d16a82dad0 Editorial change: adapting project in code blocks gusthoff 2025-05-25 21:39:15 +02:00
• acc2de141e Editorial change: move subsection up gusthoff 2025-05-25 21:36:39 +02:00
• 22492d65f5 Editorial change: move section on base attribute gusthoff 2025-05-25 21:12:47 +02:00
• 6b63d2c260 Editorial change: remove todo item gusthoff 2025-05-25 21:04:37 +02:00
• fec4486ea4 Merge pull request #1237 from gusthoff/topic/infrastructure/sphinx/updates/20250622 Gustavo A. Hoffmann 2025-06-27 10:50:51 +02:00
• 0cd4b3b407 Python: remove sphinx-rtd-theme package gusthoff 2025-06-22 02:26:49 +02:00
• 3deb9e6de6 Editorial change: updating package name / list order gusthoff 2025-06-22 02:13:32 +02:00
• 7be7765959 Merge pull request #1235 from gusthoff/topic/infrastructure/sphinx/updates/20250621 Gustavo A. Hoffmann 2025-06-22 02:08:24 +02:00
• 908f8be41d Python: updating some packages gusthoff 2025-06-21 22:55:06 +02:00
• db7d97170e Merge pull request #1231 from gusthoff/topic/infrastructure/compile_blocks/20250608 Gustavo A. Hoffmann 2025-06-10 23:15:00 +02:00
• 802240124d Merge pull request #1232 from gusthoff/topic/infrastructure/sphinx/structure/20250606/furo_theme Gustavo A. Hoffmann 2025-06-09 21:34:47 +02:00
• 99a40ed0f6 SCSS: fix image background adaptation for dark mode in case of light mode gusthoff 2025-06-09 16:33:02 +02:00
• 9d99c494cc Sphinx: remove deprecated html_theme gusthoff 2025-06-09 16:08:25 +02:00
• f60c54d441 Sphinx: introduce connection to learn repository gusthoff 2025-06-09 16:08:00 +02:00
• 5a9705177d Sphinx: change dark mode theme of Pygments extension gusthoff 2025-06-09 16:06:56 +02:00
• 4e3f973585 Sphinx: remove HTML template for RTD-theme gusthoff 2025-06-09 16:05:39 +02:00
• a1132bd1de Updating code examples to use latest GNAT FSF 15 gusthoff 2025-06-08 16:44:53 +02:00
• 5b612a4711 Editorial change: correcting code style gusthoff 2025-06-08 16:05:55 +02:00
• 3f044b3089 Editorial change: correcting code style gusthoff 2025-06-08 15:12:21 +02:00