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

• 92fcc1be56 Editorial change: removing trailing whitespaces gusthoff 2023-01-13 11:22:35 +01:00
• 7e038f71b9 heavily revise and also extent text on overlays rogers 2023-01-09 16:20:47 -06:00
• eb65bae6f8 Bump json5 from 1.0.1 to 1.0.2 in /frontend dependabot[bot] 2023-01-08 09:06:50 +00:00
• 28c0cb3cde Merge pull request #831 from gusthoff/topic/infrastructure/sphinx/editorial/20230106 Gustavo A. Hoffmann 2023-01-06 21:12:17 +01:00
• 55fe5c5cd8 Sphinx: fixing links to Wikipedia gusthoff 2023-01-06 21:10:49 +01:00
• e645d8cba2 Merge pull request #830 from AdaCore/ada_horizon_logo Gustavo A. Hoffmann 2023-01-06 13:00:37 +01:00
• bcde1ba535 Publish the Ada Horizon logo under CC0 ada_horizon_logo Fabien Chouteau 2023-01-06 11:15:07 +01:00
• ff3a350a34 Merge pull request #827 from gusthoff/topic/infrastructure/yarn/updates/20221230 r2022.12.30 Gustavo A. Hoffmann 2022-12-31 01:46:35 +01:00
• 3e4050736d Merge pull request #826 from gusthoff/topic/infrastructure/sphinx/html_static_output/20221229/initial_support Gustavo A. Hoffmann 2022-12-31 01:46:29 +01:00
• 6a1a59e2d0 Frontend: upgrading yarn packages gusthoff 2022-12-31 01:43:51 +01:00
• b2f19aa6ac Makefile: creating test code content before HTML pages gusthoff 2022-12-30 21:17:38 +01:00
• 23822c22fd Makefile: passing environment variables gusthoff 2022-12-30 21:16:42 +01:00
• 96241497f4 Frontend: increase number of user watches gusthoff 2022-12-30 03:13:33 +01:00
• d12da7d6ed Frontend: adding support for code block info gusthoff 2022-12-30 03:12:42 +01:00
• fba089d8f2 Frontend: adding options for Jinja2 gusthoff 2022-12-30 03:09:38 +01:00
• 4b4bd51bed Python: improving type hinting gusthoff 2022-12-30 03:07:55 +01:00
• f7a16ccbe5 Minor editorial correction gusthoff 2022-12-30 03:06:53 +01:00
• e609850aab Makefile: adding environment variables gusthoff 2022-12-30 03:06:29 +01:00
• 4a4bf243a2 Merge pull request #817 from gusthoff/advanced_ada/new_content/aggregates/container_aggregates/20221202 Gustavo A. Hoffmann 2022-12-16 16:15:01 +01:00
• a395f7b6ae Editorial change: moving word to next line gusthoff 2022-12-16 12:48:10 +01:00
• cf13566fb3 Merge pull request #816 from gusthoff/advanced_ada/new_content/aggregates/delta_aggregates/20221126 Gustavo A. Hoffmann 2022-12-16 12:45:54 +01:00
• 5a4ff7b14c Merge pull request #822 from pat-rogers/master Gustavo A. Hoffmann 2022-12-10 02:20:38 +01:00
• 9c53542001 Merge branch 'master' of https://github.com/pat-rogers/learn rogers 2022-12-09 17:43:47 -06:00
• 1c1a300494 Merge branch 'AdaCore:master' into master Pat Rogers 2022-12-09 17:43:33 -06:00
• ab73cad5c7 more typo corrections rogers 2022-12-09 17:43:03 -06:00
• 24bb8b6000 Merge pull request #819 from AdaCore/dependabot/pip/frontend/certifi-2022.12.7 Gustavo A. Hoffmann 2022-12-09 18:37:54 +01:00
• 6a172c3fdb Merge pull request #818 from AdaCore/dependabot/npm_and_yarn/frontend/qs-6.2.4 Gustavo A. Hoffmann 2022-12-09 18:37:16 +01:00
• 262a1734ff Merge pull request #820 from gusthoff/topic/infrastructure/learn-sandbox-html-pages/updates/20221209 Gustavo A. Hoffmann 2022-12-09 18:28:39 +01:00
• a7206a56fd Replacing "staging" site by "sandbox" site gusthoff 2022-12-09 17:55:12 +01:00
• 9802ff9659 Bump certifi from 2022.9.24 to 2022.12.7 in /frontend dependabot[bot] 2022-12-09 08:23:23 +00:00
• d6beb6ea5d insert missing word rogers 2022-12-08 17:10:56 -06:00
• 5280cba7bd Merge branch 'AdaCore:master' into master Pat Rogers 2022-12-08 17:10:17 -06:00
• e67be1cd05 Bump qs from 6.2.3 to 6.2.4 in /frontend dependabot[bot] 2022-12-07 05:22:59 +00:00
• ecdded88e8 Adding section on container aggregates gusthoff 2022-12-03 02:38:00 +01:00
• 2607d6ec49 Adding todo item: new "Aggregate aspect" section gusthoff 2022-12-03 02:08:38 +01:00
• b23d287faf Sphnx: adding anchor for container aggregates section gusthoff 2022-12-03 02:06:29 +01:00
• 6e3af11701 Merge pull request #815 from gusthoff/advanced_ada/new_content/types_representation/discarding_names/20221125 Gustavo A. Hoffmann 2022-12-02 13:06:38 +01:00
• 02c2e36c33 polishing rogers 2022-12-01 18:02:01 -06:00
• 507775a2aa Adding section on delta aggregates gusthoff 2022-11-26 05:30:21 +01:00
• 889a6f3d9f Improving definition of extension aggregates gusthoff 2022-11-26 03:53:34 +01:00
• 33dcf2880d Adding section: "Discarding names" gusthoff 2022-11-25 19:25:20 +01:00
• bed559a2f8 Merge pull request #814 from gusthoff/advanced_ada/editorial_changes/20221125/stable_properties_of_a_type Gustavo A. Hoffmann 2022-11-25 17:54:36 +01:00
• 896b3d344b Editorial change: moving section gusthoff 2022-11-25 17:53:51 +01:00
• 7bed08b891 Merge pull request #813 from yannickmoy/master Gustavo A. Hoffmann 2022-11-25 14:14:58 +01:00
• 7e0e164257 Update name of CVC4 prover to cvc5 Yannick Moy 2022-11-24 16:57:02 +01:00
• 69713af9bb Merge pull request #782 from gusthoff/advanced_ada/new_content/limited_types/limited_record_types/20220916 Gustavo A. Hoffmann 2022-11-18 22:00:16 +01:00
• 134b76be4a Editorial change: updating links to ARM gusthoff 2022-11-18 21:09:30 +01:00
• aa12994942 Editorial change: adding todo item gusthoff 2022-11-18 20:41:21 +01:00
• 38d69b969c Adding explanatory paragraphs gusthoff 2022-11-18 20:04:57 +01:00
• 7784f569e4 Editorial changes: improving terminology gusthoff 2022-11-18 20:03:37 +01:00
• 3a89eafc30 Adding subsection on deriving from limited interfaces gusthoff 2022-09-23 21:26:41 +02:00
• af9cdbd475 Adding comments on nonlimited type in private/body gusthoff 2022-09-23 21:26:21 +02:00
• 51c2b70e56 Minor editorial improvements for clarity gusthoff 2022-09-23 21:24:00 +02:00
• cc70699f05 Adding Test_Limitedness procedure gusthoff 2022-09-23 21:22:12 +02:00
• 19faca739f Editorial change: removing duplicated code gusthoff 2022-09-23 21:19:27 +02:00
• 1cc709263e Editorial change: renaming Rec => Tagged_Rec gusthoff 2022-09-23 21:18:48 +02:00
• 77b6ab552e Editorial change: replacing compile button with run button gusthoff 2022-09-23 21:16:23 +02:00
• 5347753aed Editorial change: renaming procedure and variables gusthoff 2022-09-23 21:14:50 +02:00
• a57ae6a894 Minor editorial change: merging admonition gusthoff 2022-09-23 21:13:53 +02:00
• e24f70d8ed Minor editorial change: changing procedure name gusthoff 2022-09-17 01:22:25 +02:00
• 9d0021e4d7 Improvements to section on limited record components gusthoff 2022-09-17 01:21:58 +02:00
• cfbeb1273d Adding section on record components of limited type gusthoff 2022-09-17 00:59:48 +02:00
• 10f7418086 Adding section on deriving from limited types gusthoff 2022-09-17 00:59:20 +02:00
• ddb382d605 Adding comment on limited private types gusthoff 2022-09-17 00:58:46 +02:00
• 887f64dfd3 Minor improvement gusthoff 2022-09-17 00:58:23 +02:00
• 8b73677854 Adding section on limited private types gusthoff 2022-09-17 00:54:38 +02:00
• 985499aff3 Editorial change: renaming section title gusthoff 2022-09-16 21:27:45 +02:00
• f86c5ea023 Editorial change: adding new section as todo item gusthoff 2022-09-16 21:25:51 +02:00
• f397c8a0b3 Editorial change: renaming section title gusthoff 2022-09-16 21:24:59 +02:00
• 10de19110e Editorial change: moving sections up gusthoff 2022-11-18 19:42:30 +01:00
• af3082400c Merge pull request #812 from gusthoff/topic/infrastructure/learn-html-pages/updates/20221118 Gustavo A. Hoffmann 2022-11-18 16:01:48 +01:00
• 0264c70e3e Adding "Intro to Embedded System Prog." course gusthoff 2022-11-18 15:20:18 +01:00
• fb2e032629 Sphinx: removing orphan marker gusthoff 2022-11-18 14:25:33 +01:00
• 27b19e6919 Minor editorial change gusthoff 2022-11-18 12:33:26 +01:00
• 99829de090 Frontend: upgrading yarn packages gusthoff 2022-11-18 12:32:57 +01:00
• 6283c44656 Python: updating some packages gusthoff 2022-11-18 12:23:31 +01:00
• c9263eec45 Editorial change: unhiding "Intro to Embedded Systems Prog." course gusthoff 2022-11-18 13:30:18 +01:00
• d6fa9c4fc5 Minor editorial change gusthoff 2022-11-18 12:33:26 +01:00
• 17a3bdeaeb Frontend: upgrading yarn packages gusthoff 2022-11-18 12:32:57 +01:00
• abadcbdf18 Python: updating some packages gusthoff 2022-11-18 12:23:31 +01:00
• 2cbd5da5f4 Merge pull request #810 from gusthoff/ada_2022_whats_new/review/editorial/20221118 Gustavo A. Hoffmann 2022-11-18 12:44:05 +01:00
• d18a95a707 Editorial changes: getting rid of some warnings gusthoff 2022-11-18 12:10:18 +01:00
• eea081bad8 Merge pull request #808 from AdaCore/dependabot/npm_and_yarn/frontend/loader-utils-1.4.2 Gustavo A. Hoffmann 2022-11-18 11:28:45 +01:00
• 4978b84b76 Merge pull request #807 from AdaCore/dependabot/pip/frontend/pillow-9.3.0 Gustavo A. Hoffmann 2022-11-18 11:28:19 +01:00
• 9170f763af Merge pull request #806 from AdaCore/dependabot/npm_and_yarn/frontend/minimatch-3.0.8 Gustavo A. Hoffmann 2022-11-18 11:28:12 +01:00
• 77aec8b332 Merge pull request #809 from pat-rogers/master Gustavo A. Hoffmann 2022-11-18 11:27:14 +01:00
• dee79aaa42 minor change to use correct technical phrase rogers 2022-11-17 11:44:55 -06:00
• 1d0a81b49d Bump loader-utils from 1.4.1 to 1.4.2 in /frontend dependabot[bot] 2022-11-15 22:26:00 +00:00
• 921147140e Bump pillow from 9.2.0 to 9.3.0 in /frontend dependabot[bot] 2022-11-15 13:42:38 +00:00
• 89454056ea Bump minimatch from 3.0.4 to 3.0.8 in /frontend dependabot[bot] 2022-11-12 04:51:53 +00:00
• c78e57e4fe Merge pull request #802 from AdaCore/dependabot/npm_and_yarn/frontend/loader-utils-1.4.1 Gustavo A. Hoffmann 2022-11-12 05:50:25 +01:00
• d0c307d37c HTML: changing widget block to pre block (#805) Gustavo A. Hoffmann 2022-11-12 05:49:12 +01:00
• d17a448d44 Bump loader-utils from 1.4.0 to 1.4.1 in /frontend dependabot[bot] 2022-11-08 00:53:34 +00:00
• 0ef46df197 Merge pull request #801 from gusthoff/intro-to-embedded-sys-prog/review/editorial/20221104 Pat Rogers 2022-11-05 11:10:00 -05:00
• a0894cce38 Editorial change: adding reviewers to the list gusthoff 2022-11-05 05:20:10 +01:00
• bf15d3307e Merge pull request #800 from gusthoff/intro_to_spark/editorial_changes/20221104/ext_link_fix Gustavo A. Hoffmann 2022-11-05 05:19:00 +01:00
• 355eb2e739 Editorial change: removing extra backtick gusthoff 2022-11-05 05:18:05 +01:00
• 4300ef76df Merge pull request #799 from pat-rogers/master Gustavo A. Hoffmann 2022-11-05 00:24:08 +01:00
• 3858178925 reformat those source code lines that wrap around in the PDF version rogers 2022-11-04 16:33:17 -05:00
• 75985634b5 remove paragraph made redundant by earlier revision rogers 2022-11-04 15:58:54 -05:00