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

• a5293b447a Editorial change: remove trailing whitespaces gusthoff 2025-11-08 03:03:17 +01:00
• 2460ab4f12 First version of the Railway Software Booklet Fabien Chouteau 2025-10-30 17:41:48 +01:00
• 45a6e164d2 Merge pull request #1284 from gusthoff/content/advanced_ada/review/editorial/general/20251031/minor_improvements r2025.10.31 Gustavo A. Hoffmann 2025-11-01 01:06:14 +01:00
• 3b17528701 Editorial change: correcting number gusthoff 2025-10-31 23:14:47 +01:00
• 7b43053838 Editorial change: using commas for number gusthoff 2025-10-31 23:13:23 +01:00
• dbaea307ef Editorial change: using commas for number gusthoff 2025-10-31 23:04:59 +01:00
• b945bdd298 Editorial change: correcting grammar gusthoff 2025-10-31 23:03:02 +01:00
• 38eb77044c Editorial change: adding todo item gusthoff 2025-10-31 23:02:41 +01:00
• d68b2806fc Adding small note on size of base types gusthoff 2025-10-31 23:02:08 +01:00
• 36e8b55e8f Minor editorial change gusthoff 2025-10-31 23:01:26 +01:00
• fa0fb29360 Editorial change: moving code to Custom_Floating_Point_Types package gusthoff 2025-10-31 23:01:13 +01:00
• 6d11cb07a7 Editorial change: correcting project name in code examples gusthoff 2025-10-31 22:59:19 +01:00
• 2dedef7578 Editorial change: correcting project name in code examples gusthoff 2025-10-31 22:58:15 +01:00
• c58bf9a31e Merge pull request #1283 from gusthoff/content/advanced_ada/review/editorial/general/20251031/changelog Gustavo A. Hoffmann 2025-11-01 01:01:35 +01:00
• 03d3089680 Editorial change: updating list for 2025-10 release gusthoff 2025-10-31 22:50:42 +01:00
• 4a5b9773bd Editorial change: updating list for 2025-09 release gusthoff 2025-10-31 22:50:17 +01:00
• 54649cdf82 Merge pull request #1282 from gusthoff/topic/infrastructure/sphinx/updates/20251031 Gustavo A. Hoffmann 2025-11-01 00:59:40 +01:00
• 46d60a6110 Python: updating some packages gusthoff 2025-10-31 21:50:12 +01:00
• 81953a01c8 Python: removing sphinx-rtd-theme package gusthoff 2025-10-31 21:31:06 +01:00
• bea3d7240f Python: adding dependency for furo package gusthoff 2025-10-31 21:30:35 +01:00
• 213f5e94a6 Merge pull request #1281 from gusthoff/topic/infrastructure/yarn/updates/20251031/npm_upgrades Gustavo A. Hoffmann 2025-11-01 00:58:23 +01:00
• e466545cff Frontend: upgrade some yarn packages gusthoff 2025-10-31 22:39:24 +01:00
• 705407b9c1 Frontend: update some yarn packages gusthoff 2025-10-31 22:24:32 +01:00
• a99015dce1 Apply suggestions from code review Gustavo A. Hoffmann 2025-10-10 20:02:11 +02:00
• 219edd699b Revisions in response to Steve's review Pat Rogers 2025-10-07 10:06:29 -05:00
• 7a147b7a7a Merge pull request #1278 from gusthoff/topic/infrastructure/sphinx/structure/20250704/furo_theme Gustavo A. Hoffmann 2025-10-31 20:36:32 +01:00
• 3a058b0e20 SCSS: remove unnecessary padding for admonition gusthoff 2025-10-31 17:42:40 +01:00
• 99f9e0a269 Sphinx: small improvements to admonition colors gusthoff 2025-10-31 17:41:59 +01:00
• bd6d86253c SCSS: adding hover for download buttons gusthoff 2025-10-17 22:17:52 +02:00
• 2a40c77e53 SCSS: restricting smaller download buttons to frontpage gusthoff 2025-10-17 22:16:49 +02:00
• 429c50746b Sphinx: update default branch name gusthoff 2025-10-17 18:04:43 +02:00
• de1a6e2508 Sphinx: font color of output area gusthoff 2025-10-17 18:03:56 +02:00
• bc765263ac Sphinx: fix background color of output area gusthoff 2025-10-17 18:03:24 +02:00
• 641bcefdc4 Sphinx: fix issue affecting background color of buttons and help info gusthoff 2025-10-17 18:02:56 +02:00
• 67ad3a4c97 Sphinx: fix background color of checkboxes gusthoff 2025-10-17 18:01:03 +02:00
• 6611311a3e Sphinx: fix background color for logo gusthoff 2025-10-17 18:00:05 +02:00
• c3a5fc0f5d Sphinx: colors to new website guidelines gusthoff 2025-10-17 17:59:16 +02:00
• 03af32238f Sphinx: adapt color of logo images to new website guidelines gusthoff 2025-10-17 17:57:24 +02:00
• 4386f2490c SCSS: fix image background adaptation for dark mode in case of light mode gusthoff 2025-06-09 16:33:02 +02:00
• b3b295c8c1 Sphinx: remove deprecated html_theme gusthoff 2025-06-09 16:08:25 +02:00
• 6f15e2e4fb Sphinx: introduce connection to learn repository gusthoff 2025-06-09 16:08:00 +02:00
• 38ad1ee69d Sphinx: change dark mode theme of Pygments extension gusthoff 2025-06-09 16:06:56 +02:00
• 538340b040 Sphinx: remove HTML template for RTD-theme gusthoff 2025-06-09 16:05:39 +02:00
• 8ba1ff5b79 SCSS: use standard background color for admonition 'In other languages' gusthoff 2025-06-06 18:30:00 +02:00
• 083cb375af SCSS: fix font color for output-area gusthoff 2025-06-06 18:20:00 +02:00
• 727d10e75b SCSS: use standard font color for output_info gusthoff 2025-06-06 18:10:00 +02:00
• b22de8d419 SCSS: add entry for output_console gusthoff 2025-06-06 18:00:00 +02:00
• b64fb3fb9d SCSS: fix color of code block output gusthoff 2025-06-06 17:50:00 +02:00
• eefd0f50d8 SCSS: fix color of dropdown-menu gusthoff 2025-06-06 17:40:00 +02:00
• 17ba296174 SCSS: fix color of source-code file tabs gusthoff 2025-06-06 17:30:00 +02:00
• 1f626dca1c SCSS: fix overlapping of dropdown-menu gusthoff 2025-06-06 17:00:00 +02:00
• 39722226d1 SCSS: fix color/font/format of compile/run button gusthoff 2025-06-06 16:45:00 +02:00
• d7e655ce88 SCSS: fix color of settings bar gusthoff 2025-06-06 16:30:00 +02:00
• 35ac8bb8cf Widget: fix rows in settings dropdown menu gusthoff 2025-06-06 16:00:00 +02:00
• 3014bfac29 SCSS: remove scroll-to-top button gusthoff 2025-06-06 15:10:00 +02:00
• ffc4f9c917 SCSS: remove RTD-theme related information gusthoff 2025-06-06 15:00:00 +02:00
• f78a1e864f SCSS: remove dark-mode version gusthoff 2025-06-06 14:10:00 +02:00
• a62c48e8df Widget: adapt template for Font-Awesome 6 gusthoff 2025-06-06 14:05:00 +02:00
• df0476e75c Sphinx: adapt color of logo images to Furo theme gusthoff 2025-06-06 14:00:00 +02:00
• fd86c8ee90 Sphinx: reintroduce Font-Awesome gusthoff 2025-06-06 13:00:00 +02:00
• 7fa70aeb50 Sphinx: add announcement for learn-sandbox gusthoff 2025-06-06 11:15:00 +02:00
• 96fbc42bfc Sphinx: add Furo options gusthoff 2025-06-06 11:10:00 +02:00
• 82f48ade11 Sphinx: replace RTD theme by Furo theme gusthoff 2025-06-06 11:05:00 +02:00
• d4a4ff86ac Python: introduce Sphinx furo theme package gusthoff 2025-10-17 12:51:40 +02:00
• a0f741d10e Merge pull request #1279 from gusthoff/topic/infrastructure/yarn/updates/20251017/npm_downgrades Gustavo A. Hoffmann 2025-10-18 02:54:36 +02:00
• 93bca6b45a Github actions: renaming branches: "master" => "main" gusthoff 2025-10-18 02:47:31 +02:00
• 77f98ac6e6 Revert "Frontend: upgrade some yarn packages" gusthoff 2025-10-18 02:14:36 +02:00
• e1a42d16f9 Merge pull request #1276 from gusthoff/content/advanced_ada/new_content/numerics/fixed_point_types/20250822 Gustavo A. Hoffmann 2025-10-10 18:16:37 +02:00
• 21170824d5 Editorial change: correcting grammar gusthoff 2025-10-10 16:20:52 +02:00
• 4faf4fd40f Adding small introduction to fixed-point types gusthoff 2025-10-03 21:55:25 +02:00
• 6433f5829a Editorial change: adding anchor gusthoff 2025-10-03 21:52:18 +02:00
• 309f91e1e7 Editorial changes: rearranging paragraphs gusthoff 2025-10-03 21:50:01 +02:00
• 6765e56537 Editorial change: moving admonition further down gusthoff 2025-09-05 22:08:34 +02:00
• 14e2d15815 Adding subsection on small and delta of fixed-point types gusthoff 2025-09-05 22:05:11 +02:00
• 9a4fe9cd28 Editorial change: adding anchor gusthoff 2025-09-05 20:48:05 +02:00
• fa06d5c4ed Editorial change: moving parts of subsection on Small and Delta attributes gusthoff 2025-09-05 20:47:21 +02:00
• 488d2956c8 Editorial change: adding subsection gusthoff 2025-09-05 20:41:52 +02:00
• f8abc5ff21 Editorial change: remove todo item gusthoff 2025-08-22 20:35:16 +02:00
• 518b5f72c9 Merge pull request #1275 from gusthoff/content/adacore-technologies-for-airborne-software/editorial/review/20250926 r2025.09.30 2025.09.30 Gustavo A. Hoffmann 2025-09-30 01:15:25 +02:00
• 930117d656 Editorial change: removing word "italicized" gusthoff 2025-09-28 21:20:18 +02:00
• cb32b3214a Editorial change: fixing Sphinx role (using C role) gusthoff 2025-09-28 20:57:16 +02:00
• 8dad6842e4 Editorial change: fixing section title gusthoff 2025-09-28 20:38:12 +02:00
• b10f283923 Editorial change: using double backticks for command-line switches gusthoff 2025-09-28 20:35:53 +02:00
• 3c31e18ae9 Editorial change: using m-dash gusthoff 2025-09-28 20:31:24 +02:00
• 5d4da5d0b1 Editorial change: adding Ada role (Sphinx) for Boolean values gusthoff 2025-09-28 20:28:21 +02:00
• c52a8da9d3 Editorial change: adding Ada role (Sphinx) gusthoff 2025-09-28 20:09:43 +02:00
• 745dccc345 Editorial change: replace quotation marks by italics gusthoff 2025-09-26 17:59:37 +02:00
• 0bae322491 Frontend: upgrade some yarn packages gusthoff 2025-09-26 17:03:52 +02:00
• 2f09552d96 Frontend: update some yarn packages gusthoff 2025-09-26 15:57:43 +02:00
• db1b993dbe Python: updating some packages gusthoff 2025-09-26 15:51:46 +02:00
• 45d145d050 Yet another use of "Solution" in a heading rather than "Implementation" Pat Rogers 2025-09-19 15:15:01 -05:00
• b061d8e83d Merge pull request #1252 from AdaCore/airborne-software-booklet Gustavo A. Hoffmann 2025-09-20 23:29:59 +02:00
• 6b21974ee3 Editorial change: move files to "chapters" folder airborne-software-booklet gusthoff 2025-09-20 05:57:53 +02:00
• 03cef99b4c Editorial change: correcting path to e-books gusthoff 2025-09-20 01:40:22 +02:00
• c88fb1aca5 Editorial change: removing trailing whitespaces gusthoff 2025-09-19 21:48:45 +02:00
• 48bea28f72 Sphinx: updating path to global.txt file gusthoff 2025-09-19 21:48:26 +02:00
• f5aced7121 Sphinx: remove duplicated include of global.txt file gusthoff 2025-09-19 21:47:19 +02:00
• 1dea7df1e0 Fix code blocks indentation Fabien Chouteau 2025-07-29 17:34:18 +02:00
• 7e992ea51e Convert references to Bibtex bibliography Fabien Chouteau 2025-07-29 16:19:04 +02:00
• bc822affd6 Use the :ada: role Fabien Chouteau 2025-07-28 17:27:21 +02:00