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

• ceac1bb29b Using GNAT FSF 14 for code examples gusthoff 2025-06-08 15:11:34 +02:00
• a140c0b9f7 Using GNATprove FSF 14 for code examples gusthoff 2025-06-08 15:10:47 +02:00
• ba58acbaf4 Test script: updating to GNAT FSF 15 toolchain gusthoff 2025-06-08 15:05:43 +02:00
• e19286f666 SCSS: use standard background color for admonition 'In other languages' gusthoff 2025-06-06 18:30:00 +02:00
• b86b7e03ac SCSS: fix font color for output-area gusthoff 2025-06-06 18:20:00 +02:00
• 9024369250 SCSS: use standard font color for output_info gusthoff 2025-06-06 18:10:00 +02:00
• 3984c553cb SCSS: add entry for output_console gusthoff 2025-06-06 18:00:00 +02:00
• 68b83319ee SCSS: fix color of code block output gusthoff 2025-06-06 17:50:00 +02:00
• 6d690e914f SCSS: fix color of dropdown-menu gusthoff 2025-06-06 17:40:00 +02:00
• bdef960eda SCSS: fix color of source-code file tabs gusthoff 2025-06-06 17:30:00 +02:00
• a3c25223d7 SCSS: fix overlapping of dropdown-menu gusthoff 2025-06-06 17:00:00 +02:00
• 2045340b8f SCSS: fix color/font/format of compile/run button gusthoff 2025-06-06 16:45:00 +02:00
• e40587e1fc SCSS: fix color of settings bar gusthoff 2025-06-06 16:30:00 +02:00
• 89dad2ff83 Widget: fix rows in settings dropdown menu gusthoff 2025-06-06 16:00:00 +02:00
• 0313bf367d SCSS: remove scroll-to-top button gusthoff 2025-06-06 15:10:00 +02:00
• 8a3a9bedc0 SCSS: remove RTD-theme related information gusthoff 2025-06-06 15:00:00 +02:00
• 2d3bcbe38f SCSS: remove dark-mode version gusthoff 2025-06-06 14:10:00 +02:00
• b75abe577b Widget: adapt template for Font-Awesome 6 gusthoff 2025-06-06 14:05:00 +02:00
• ad68f1967f Sphinx: adapt color of logo images to Furo theme gusthoff 2025-06-06 14:00:00 +02:00
• c47437b0bc Sphinx: reintroduce Font-Awesome gusthoff 2025-06-06 13:00:00 +02:00
• 599f488d23 Sphinx: add announcement for learn-sandbox gusthoff 2025-06-06 11:15:00 +02:00
• 5c1f341784 Sphinx: add Furo options gusthoff 2025-06-06 11:10:00 +02:00
• b09f993068 Sphinx: replace RTD theme by Furo theme gusthoff 2025-06-06 11:05:00 +02:00
• ca59f3b5ec Python: introduce Sphinx furo theme package gusthoff 2025-06-06 11:00:00 +02:00
• 982423d2a6 Merge pull request #1230 from gusthoff/topic/infrastructure/compile_blocks/20250607 Gustavo A. Hoffmann 2025-06-08 14:29:11 +02:00
• afd7e8916f Test script: fix setting main file for SPARK project gusthoff 2025-06-08 12:39:08 +02:00
• fb2079c594 Test script: use GNATprove 14+ command-line switches as the default gusthoff 2025-06-08 12:37:43 +02:00
• bc28bc1da6 Test script: only run block in case of language set to Ada gusthoff 2025-06-08 12:34:18 +02:00
• e381c7bada Merge pull request #1228 from gusthoff/topic/infrastructure/vagrant/20250530/vm_apt_update r2025.05.31 Gustavo A. Hoffmann 2025-05-31 01:18:21 +02:00
• cb44371476 Vagrant VM: updating apt packages gusthoff 2025-05-30 22:57:54 +02:00
• d2f8b2f050 Merge pull request #1229 from gusthoff/remotes/origin/content/advanced_ada/review/editorial/general/20250530/changelog Gustavo A. Hoffmann 2025-05-31 01:16:46 +02:00
• ed01babb10 Editorial change: updating list for 2025-05 release gusthoff 2025-05-30 23:02:52 +02:00
• b6f0391686 Merge pull request #1227 from gusthoff/topic/infrastructure/yarn/updates/20250530/sandbox_redict Gustavo A. Hoffmann 2025-05-30 19:32:21 +02:00
• 3f30086ef3 Frontend: introducing password/cookie-based authentication gusthoff 2025-05-30 18:08:29 +02:00
• dd500ce9f0 Fix warning: remove wrong function documentation gusthoff 2025-05-30 18:07:09 +02:00
• 6b2015a1b2 Editorial change: renaming "staging" => "sandbox" gusthoff 2025-05-30 18:06:23 +02:00
• 0c80810266 Frontend: reintroducing site redirection for "staging" version gusthoff 2025-05-30 13:37:50 +02:00
• 60a3c3d011 Merge pull request #1225 from gusthoff/content/advanced_ada/review/editorial/general/20250525 Gustavo A. Hoffmann 2025-05-30 11:36:37 +02:00
• d2ce97afe2 Editorial change: correcting project indication in code blocks gusthoff 2025-05-25 22:43:05 +02:00
• 3401746312 Editorial change: using references gusthoff 2025-05-25 22:42:16 +02:00
• eb0ede1904 Editorial change: using references gusthoff 2025-05-25 22:42:03 +02:00
• 8c3bdb953a Editorial change: replacing parentheses gusthoff 2025-05-25 22:41:40 +02:00
• f2663eee77 Editorial change: adding todo item gusthoff 2025-05-25 22:40:39 +02:00
• 7544e61e7e Editorial change: adding todo item gusthoff 2025-05-25 22:40:26 +02:00
• ae8dcba573 Merge pull request #1222 from gusthoff/topic/issues/1221 Gustavo A. Hoffmann 2025-05-26 21:53:54 +02:00
• 597b30b7c6 Improving code and description of Quadruple function gusthoff 2025-05-25 17:52:32 +02:00
• 59f57b950c Editorial change: adding function declaration gusthoff 2025-05-25 17:50:53 +02:00
• 282896112e Editorial change: correcting button of code block gusthoff 2025-05-25 17:50:32 +02:00
• 54b444f8fb Merge pull request #1223 from gusthoff/topic/issues/1212 Gustavo A. Hoffmann 2025-05-25 21:54:29 +02:00
• b46475ce7b Sphinx: add meta tags to prevent indexing by robots gusthoff 2025-05-25 20:22:26 +02:00
• e8947445e5 Merge pull request #1220 from gusthoff/topic/infrastructure/review/editorial/general/20250524/readme Gustavo A. Hoffmann 2025-05-25 18:06:06 +02:00
• 3120912032 README: adding description of local HTTP server for contents gusthoff 2025-05-24 02:06:22 +02:00
• d5077add75 Merge pull request #1213 from gusthoff/content/advanced_ada/new_content/types/universal_numeric_types/20250419 Gustavo A. Hoffmann 2025-05-10 13:54:17 +02:00
• 1b65eedbf7 Editorial change: simplifying user message gusthoff 2025-05-10 01:25:24 +02:00
• f2f8982215 Editorial change: correcting typo gusthoff 2025-05-10 00:50:00 +02:00
• bf12790ab0 Editorial change: correcting code style gusthoff 2025-05-10 00:49:39 +02:00
• 81bce77026 Adding admonition about custom * and / operators gusthoff 2025-05-09 21:55:44 +02:00
• de5ee7f3bc Editorial change: removing non-relevant reference gusthoff 2025-05-09 21:54:43 +02:00
• 4d2f44fa0d Correcting type gusthoff 2025-05-09 21:54:14 +02:00
• a1214dd8f8 Integrating suggestions gusthoff 2025-05-09 21:53:58 +02:00
• 09c5f4e0c6 Editorial change: removing empty line gusthoff 2025-04-20 00:42:25 +02:00
• 0424c6d61f Editorial change: adding Sphinx class to code block gusthoff 2025-04-19 05:23:37 +02:00
• 22b7b69830 Minor editorial change: removing deprecated todo item gusthoff 2025-04-19 04:46:35 +02:00
• 18b725cf9d Editorial change: using reference to section on universal numeric types gusthoff 2025-04-19 04:45:54 +02:00
• 2005db2217 Adding section on universal numeric types gusthoff 2025-04-19 04:44:49 +02:00
• a356ff0417 Editorial change: removing todo item gusthoff 2025-05-04 20:39:27 +02:00
• 3c75f349b1 Merge pull request #1219 from gusthoff/content/advanced_ada/review/editorial/numerics/20250504 Gustavo A. Hoffmann 2025-05-04 20:34:55 +02:00
• b02e4f5e25 Editorial change: rename anchor gusthoff 2025-05-04 20:34:17 +02:00
• fd438e0984 Editorial change: rename anchor gusthoff 2025-05-04 20:33:59 +02:00
• f437779d0e Editorial change: remove task gusthoff 2025-05-04 19:35:36 +02:00
• 226f1463d4 Editorial change: add anchor gusthoff 2025-05-04 19:34:50 +02:00
• 418aef0b56 Editorial change: add anchor gusthoff 2025-05-04 19:34:37 +02:00
• 8bd8ff2df6 Editorial change: rename subsection gusthoff 2025-05-04 19:33:44 +02:00
• 55d676ff19 Editorial change: rename section gusthoff 2025-05-04 19:33:18 +02:00
• 97931e33da Editorial change: rename section gusthoff 2025-05-04 19:29:46 +02:00
• c923297f65 Editorial change: rename section gusthoff 2025-05-04 19:28:22 +02:00
• a6456bc7fb Editorial change: add todo item gusthoff 2025-05-04 19:24:14 +02:00
• f364ae0914 Editorial change: split todo item into two new sections gusthoff 2025-05-04 19:23:31 +02:00
• e21dffdab1 Bump http-proxy-middleware from 2.0.7 to 2.0.9 in /frontend dependabot[bot] 2025-04-27 01:02:12 +00:00
• 4add4e4f17 Test script: using raw strings r2025.04.27 gusthoff 2025-04-27 02:23:16 +02:00
• 13ded4f832 Frontend: update some yarn packages gusthoff 2025-04-27 02:49:55 +02:00
• 07eb438b74 Python: updating some packages gusthoff 2025-04-27 02:08:55 +02:00
• 657688a5e0 Editorial change: updating list for 2025-04 release gusthoff 2025-04-25 14:42:21 +02:00
• d41f02a2d9 Merge pull request #1211 from gusthoff/content/advanced_ada/review/editorial/numerics/20250418 Gustavo A. Hoffmann 2025-04-19 03:11:49 +02:00
• 544eae63ab Editorial change: adding todo item gusthoff 2025-04-19 01:49:39 +02:00
• 3aa2b84ae7 Editorial change: adding anchor gusthoff 2025-04-19 01:47:06 +02:00
• eb56af69ae Editorial change: move section up gusthoff 2025-04-19 01:22:20 +02:00
• eb012a8e14 Merge pull request #1210 from gusthoff/content/advanced_ada/new_content/types/universal_and_root_types/20250413 Gustavo A. Hoffmann 2025-04-18 16:03:50 +02:00
• 4f397fb391 Minor change: converting procedure to package specification gusthoff 2025-04-18 15:11:46 +02:00
• c62172eb37 Editorial change: correcting grammar gusthoff 2025-04-18 14:36:52 +02:00
• e2d620a3ee Editorial change: correcting terminology gusthoff 2025-04-18 14:21:58 +02:00
• 5ee064ced2 Small improvements to the text gusthoff 2025-04-18 14:21:42 +02:00
• 40c896f88d Minor editorial changes: adding/removing words gusthoff 2025-04-18 14:20:13 +02:00
• e2d152c8f1 Editorial change: correct code block settings gusthoff 2025-04-14 00:18:52 +02:00
• 5d405fd8bc Editorial change: remove unused packages gusthoff 2025-04-14 00:18:11 +02:00
• 33b2c6f27b Editorial change: adding reference to section on universal types gusthoff 2025-04-13 22:57:05 +02:00
• 73b3ff162d Adding section on universal and root types gusthoff 2025-04-13 22:56:42 +02:00
• 78c6e318d7 Editorial change: updating todo item gusthoff 2025-04-13 22:50:01 +02:00
• 3c02f00d03 Editorial change: adding anchor gusthoff 2025-04-13 22:49:26 +02:00
• ca1f447ed1 Editorial change: adding anchor gusthoff 2025-04-13 22:48:52 +02:00