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

• b96a7ca445 Completing example with a main procedure gusthoff 2023-06-30 20:44:33 +02:00
• 1dba812495 Editorial change: updating chapter field in project name gusthoff 2023-06-30 20:42:33 +02:00
• e6a9556780 Correcting project in code example gusthoff 2023-06-30 20:40:04 +02:00
• d6f026d6c2 Adapting code example to use named access types gusthoff 2023-06-30 19:12:33 +02:00
• 65aa1df338 Editorial change: adding new chapter on anonymous access types gusthoff 2023-06-30 19:04:44 +02:00
• c22250d083 Adding info about dynamic allocation gusthoff 2023-06-30 14:10:54 +02:00
• 301aa709b9 Editorial change: variable => object gusthoff 2023-06-30 14:10:19 +02:00
• cfe34b583f Merge pull request #821 from gusthoff/advanced_ada/new_content/containers/aggregate_aspect/20221202 Gustavo A. Hoffmann 2023-06-23 20:50:22 +02:00
• a8cac56c31 Merge pull request #899 from gusthoff/topic/infrastructure/learn-html-pages/updates/20230617 r2023.06.17 Gustavo A. Hoffmann 2023-06-17 05:22:17 +02:00
• f684f95ba3 Frontend: upgrading yarn packages gusthoff 2023-06-17 04:10:11 +02:00
• 5369a94e24 Python: updating some packages gusthoff 2023-06-17 04:03:39 +02:00
• 8cfdbfa1b1 Minor change: simplifying note about work in progress gusthoff 2023-06-17 03:52:38 +02:00
• d7d2a7d2e2 Minor editorial change: fixing typo gusthoff 2023-06-17 03:51:39 +02:00
• 19daf2a61e Merge pull request #898 from gusthoff/intro_to_ada/review/editorial/20230617 Gustavo A. Hoffmann 2023-06-17 03:49:31 +02:00
• b7d1039a19 Merge pull request #897 from gusthoff/topic/infrastructure/widget/20230616/code_block_info Gustavo A. Hoffmann 2023-06-17 03:49:04 +02:00
• dedff6ea93 Minor editorial change: fixing grammar gusthoff 2023-06-17 03:39:42 +02:00
• c363694a89 Minor editorial change: correcting typo gusthoff 2023-06-17 03:38:18 +02:00
• 334a983a92 Widget: adding separate output area for code block info gusthoff 2023-06-17 03:21:05 +02:00
• b952bac07a Merge pull request #896 from gusthoff/topic/infrastructure/widget/20230616/editor_2 Gustavo A. Hoffmann 2023-06-17 02:51:08 +02:00
• 291a4b1dfb TS frontend: fixing non-tabbed view in widget gusthoff 2023-06-17 01:17:24 +02:00
• 861329f5b8 Minor editorial change: correcting code style gusthoff 2023-06-11 23:47:12 +02:00
• 960cae0222 Minor improvements to section on qualified expressions gusthoff 2023-06-10 04:42:25 +02:00
• 2324b285bb Improving section on general access types gusthoff 2023-06-10 04:41:25 +02:00
• 771685f2f0 Adding section on allocation for access types gusthoff 2023-06-10 04:40:16 +02:00
• e2b75db5a2 Merge pull request #893 from gusthoff/advanced_ada/review/editorial/access_types/20230602 Gustavo A. Hoffmann 2023-06-03 04:45:31 +02:00
• 66e65245ef Editorial change: adding link to previous section gusthoff 2023-06-03 02:54:29 +02:00
• aa85b3a187 Editorial change: adding new todo items gusthoff 2023-06-03 02:51:22 +02:00
• cb5c705595 Adding admonition about indexed aggregates gusthoff 2023-06-02 21:45:32 +02:00
• 3426fc2ffc Correcting list of types allowing Aggregate aspect gusthoff 2023-06-02 21:44:49 +02:00
• 08ee6a2461 Editorial change: improving paragraphs gusthoff 2023-06-02 21:43:26 +02:00
• 57a02a01d8 Editorial change: correcting alignment gusthoff 2023-06-02 21:31:09 +02:00
• 70424a255f Editorial change: removing tick gusthoff 2023-06-02 21:28:24 +02:00
• bb5be77fa1 Editorial changes: adapting code examples to 50-column limit gusthoff 2023-04-28 19:08:29 +02:00
• 8f1e0fccf4 Editorial changes: adapting code examples to 50-column limit gusthoff 2023-04-28 13:24:38 +02:00
• 70315f3691 Minor addition gusthoff 2022-12-10 02:21:15 +01:00
• 6c2a4c45c9 Adding position example gusthoff 2022-12-10 02:18:02 +01:00
• 669ad4232b Correcting description of container aggregate categories gusthoff 2022-12-10 02:17:36 +01:00
• 706c5a110f Minor editorial corrections gusthoff 2022-12-10 02:13:54 +01:00
• 3f56a603e7 Adding section on Aggregate aspect gusthoff 2022-12-09 20:26:34 +01:00
• 7418368db1 Merge pull request #887 from gusthoff/topic/infrastructure/learn-html-pages/updates/20230526 Gustavo A. Hoffmann 2023-05-27 00:06:00 +02:00
• 84d411f3dc Merge pull request #888 from gusthoff/topic/issues/762 Gustavo A. Hoffmann 2023-05-27 00:05:18 +02:00
• 78d6c9d482 Merge pull request #886 from gusthoff/topic/infrastructure/scss/editorial/20230526 Gustavo A. Hoffmann 2023-05-26 22:03:41 +02:00
• 6419a05e67 Editorial change: fixing grammar gusthoff 2023-05-26 22:01:24 +02:00
• 06b6c55631 Minor change: fixing compilation gusthoff 2023-05-26 21:54:56 +02:00
• 3853442599 Frontend: upgrading yarn packages gusthoff 2023-05-26 21:34:14 +02:00
• 1df833952a Python: updating some packages gusthoff 2023-05-26 21:31:44 +02:00
• 867ea90a74 SCSS: removing padding gusthoff 2023-05-26 21:21:57 +02:00
• ad1083bc8f SCSS: using different colors for current hover colors gusthoff 2023-05-26 21:21:46 +02:00
• ac9391905d SCSS: using mixin for duplicated code gusthoff 2023-05-26 21:18:18 +02:00
• 2682ec4aa7 Editorial change: fixing typo gusthoff 2023-05-26 16:23:00 +02:00
• bff82af116 Editorial change: fixing special characters gusthoff 2023-05-26 16:25:12 +02:00
• c8990e5ce0 Frontend: improving colors in sidebar (#883) Gustavo A. Hoffmann 2023-05-26 17:31:02 +02:00
• 2fbc175ec4 Merge pull request #879 from gusthoff/advanced_ada/review/editorial/general/20230512/minor_improvements Gustavo A. Hoffmann 2023-05-13 03:32:38 +02:00
• c0ae6d0da8 Editorial changes: adding links to RM gusthoff 2023-05-13 02:46:54 +02:00
• 23457632c9 Improving introductory paragraph gusthoff 2023-05-13 02:46:36 +02:00
• 546d29e094 Editorial change: updating note on Ada 2022 gusthoff 2023-05-13 02:45:53 +02:00
• 3bfeee2c86 Editorial change: fixing typos gusthoff 2023-05-13 02:45:25 +02:00
• 9bcaee0e3f Editorial change: correcting apostrophe gusthoff 2023-05-13 02:45:00 +02:00
• b873107519 Editorial change: adding cross-references gusthoff 2023-05-13 02:44:41 +02:00
• d4b1c75b6d Merge pull request #878 from gusthoff/advanced_ada/review/editorial/numerics/20230512/some_improvements Gustavo A. Hoffmann 2023-05-13 02:38:07 +02:00
• 9d67d93bcb Improving sections gusthoff 2023-05-13 01:12:47 +02:00
• 539039f85b Minor editorial change gusthoff 2023-05-13 01:10:26 +02:00
• 456401d401 Minor editorial changes gusthoff 2023-05-13 01:09:55 +02:00
• 0a2c957454 Adding short introduction to the sections gusthoff 2023-05-13 01:09:13 +02:00
• 832546a2f9 Minor editorial changes gusthoff 2023-05-13 00:51:58 +02:00
• f087f5b8a3 Editorial change: improving paragraph gusthoff 2023-05-12 21:36:35 +02:00
• d7b2a39870 Editorial change: replacing section titles gusthoff 2023-05-12 21:35:57 +02:00
• d76b71b216 Improving subsection on fraction and exponent gusthoff 2023-05-12 21:35:07 +02:00
• 4ea56a1c39 Editorial change: improving explanation of Boolean attributes gusthoff 2023-05-12 21:31:16 +02:00
• 8c439be26f Editorial change: adding missing word gusthoff 2023-05-12 21:30:14 +02:00
• 910c04f18b Editorial change: splitting subsection into two gusthoff 2023-05-12 21:29:36 +02:00
• 42f7f0223c Adding definition of Natural vs. Big_Natural subtypes gusthoff 2023-05-12 20:33:15 +02:00
• f319b8ff9a Editorial change: aligning title gusthoff 2023-05-12 20:32:23 +02:00
• 1edb33a847 Various small improvements to the text gusthoff 2023-05-12 20:31:55 +02:00
• 13775d2389 Merge pull request #876 from gusthoff/advanced_ada/review/structure/20230512/code_project_cleanup Gustavo A. Hoffmann 2023-05-12 17:05:41 +02:00
• 939dc7b0f5 Editorial change: removing tick from attribute name (#877) Gustavo A. Hoffmann 2023-05-12 16:55:40 +02:00
• a2ce617ffb Test script: cleaning up code in case of "syntax-only" check gusthoff 2023-05-12 16:15:06 +02:00
• a2f12c09e5 Test script: cleaning up gnatprove files gusthoff 2023-05-12 16:14:36 +02:00
• 3d62c682a4 Test script: cleaning up objects from C compilation gusthoff 2023-05-12 16:14:09 +02:00
• 70ca05edc3 Test script: introducing cleanup_project() function gusthoff 2023-05-12 16:13:34 +02:00
• da832fd0d8 Merge pull request #875 from gusthoff/advanced_ada/review/editorial/general/20230505/references Gustavo A. Hoffmann 2023-05-06 02:21:42 +02:00
• 6495a9e120 Removing Advanced Ada course from list of hidden courses gusthoff 2023-05-06 00:55:34 +02:00
• 629d860593 Editorial change: replacing :doc: by :ref: for cross-references gusthoff 2023-05-06 00:51:42 +02:00
• f6ec3c257a Editorial change: adding links to Embedded Systems Programming course gusthoff 2023-05-05 19:44:36 +02:00
• 34940ad3be Editorial change: correcting cross-referencing for :doc: gusthoff 2023-05-05 19:43:48 +02:00
• 167a8d67c6 Editorial change: correcting admonition title gusthoff 2023-05-05 18:55:19 +02:00
• 7ff6813cc2 Editorial change: moving section to another chapter gusthoff 2023-05-05 18:53:21 +02:00
• 3a40e542a9 Editorial change: adding cross-references gusthoff 2023-05-05 18:59:20 +02:00
• 583a39cc7c Editorial change: referring to ARM 2022 everywhere gusthoff 2023-05-05 18:51:54 +02:00
• 7fcefb6efc Minor editorial change: chapter title gusthoff 2023-05-05 18:46:21 +02:00
• 21f91ee79a Editorial change: chapters => parts gusthoff 2023-05-05 18:46:04 +02:00
• 4bc232f775 Editorial changes: updating dates gusthoff 2023-05-05 18:45:22 +02:00
• 984355f4af Merge pull request #874 from gusthoff/advanced_ada/review/structure/20230505/code_project Gustavo A. Hoffmann 2023-05-05 18:55:47 +02:00
• 0210891f4d Editorial change: renaming project gusthoff 2023-05-05 17:16:17 +02:00
• bc3af1e778 Editorial change: adding section to project field of code examples gusthoff 2023-05-05 17:02:30 +02:00
• 9fc388bd48 Editorial change: correcting chapter name in project field of code example gusthoff 2023-05-05 15:16:56 +02:00
• d93c4786e2 Editorial change: renaming section gusthoff 2023-05-05 15:05:14 +02:00
• e5de11d8dd Editorial change: correcting chapter name in project field of code example gusthoff 2023-05-05 15:01:34 +02:00
• d1260c8ee2 Editorial change: correcting chapter name in project field of code examples gusthoff 2023-05-05 14:21:24 +02:00
• 51c33fafe0 Editorial change: adding part name to project of code snippets gusthoff 2023-05-05 14:16:43 +02:00