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

• e74caada50 Merge pull request #1083 from gusthoff/topic/infrastructure/yarn/updates/20240726/yarn_update r2024.07.27 Gustavo A. Hoffmann 2024-07-26 03:19:27 +02:00
• dccfc3975f Merge pull request #1082 from gusthoff/topic/infrastructure/sphinx/updates/20240726 Gustavo A. Hoffmann 2024-07-26 03:19:17 +02:00
• 7502b301db Frontend: updating some yarn packages gusthoff 2024-07-26 02:44:43 +02:00
• bcda7bae40 Python: updating some packages gusthoff 2024-07-26 02:30:16 +02:00
• c1f9fe2084 Merge pull request #1081 from AdaCore/cwe_minor_updates Gustavo A. Hoffmann 2024-07-26 02:09:18 +02:00
• 3f82bbb3cd Reorder CWE's to be in the numeric order cwe_minor_updates Michael Frank 2024-07-24 20:04:37 -04:00
• 3aade5d323 Add Incomplete Cleanup back to memory allocation standards Michael Frank 2024-07-24 19:58:22 -04:00
• 8c0d56c59f Merge pull request #1080 from gusthoff/content/advanced_ada/review/editorial/general/20240721/minor Gustavo A. Hoffmann 2024-07-21 18:05:07 +02:00
• c08cd6a588 Editorial change: using link to AARM gusthoff 2024-07-21 17:01:46 +02:00
• 4c10c082b6 Editorial changes: using references gusthoff 2024-07-21 17:00:56 +02:00
• d3de8147d1 Editorial change: splitting code examples in multiple projects gusthoff 2024-07-21 16:52:58 +02:00
• 26e8b35db0 Merge pull request #1078 from gusthoff/content/advanced_ada/review/editorial/records/20240720 Gustavo A. Hoffmann 2024-07-21 01:02:23 +02:00
• 50c7852d1f Minor editorial fix gusthoff 2024-07-21 01:01:52 +02:00
• 79e764ddde Merge pull request #1077 from gusthoff/content/advanced_ada/review/editorial/general/20240720/changelog Gustavo A. Hoffmann 2024-07-21 00:58:28 +02:00
• b2a8581290 Editorial change: adding changelog for previous release gusthoff 2024-07-21 00:57:48 +02:00
• 7c711e1d6a Merge pull request #1066 from gusthoff/content/advanced_ada/new_content/controlled_types/exceptions/20240623 Gustavo A. Hoffmann 2024-07-20 20:31:15 +02:00
• 653103a868 Merge pull request #1034 from gusthoff/content/advanced_ada/new_content/controlled_types/finalization/20240419 Gustavo A. Hoffmann 2024-07-20 20:31:05 +02:00
• 512a859495 Merge pull request #1076 from AdaCore/add_cwe_to_coding_standards Gustavo A. Hoffmann 2024-07-20 20:04:31 +02:00
• 8ffabaa95f Editorial changes: adding link to individual CWE page add_cwe_to_coding_standards gusthoff 2024-07-20 19:21:50 +02:00
• 24d7d6ebfe Sphinx: adding links to MITRE CWEs gusthoff 2024-07-20 19:20:12 +02:00
• a7b5317091 Editorial change: improving phrase gusthoff 2024-07-20 01:40:33 +02:00
• 6ba76abc2f Mentioning detection of bounded error gusthoff 2024-07-20 01:40:00 +02:00
• ee39938312 Correcting increment in source code example gusthoff 2024-07-20 01:39:25 +02:00
• e17c0445f6 Editorial change: correcting code style gusthoff 2024-06-23 21:25:34 +02:00
• f18cf6abc1 Adding section on controlled types and exception handling gusthoff 2024-06-23 20:37:57 +02:00
• d43b30ff0b Editorial change: adding todo item gusthoff 2024-06-23 20:36:22 +02:00
• be4bbb6e80 Minor improvements for allocation check gusthoff 2024-06-23 20:33:25 +02:00
• 0a8bc3f22a Editorial change: adding anchor gusthoff 2024-06-23 20:32:25 +02:00
• f39483f0ec Editorial change: adding anchor gusthoff 2024-06-23 20:32:17 +02:00
• 2b9c61147c Editorial change: adding anchor gusthoff 2024-06-23 20:32:10 +02:00
• c3195131e1 Editorial changes: some corrections gusthoff 2024-07-20 01:28:13 +02:00
• 1bb099ea9c Editorial change: removing overridden Finalize procedures gusthoff 2024-04-20 04:40:14 +02:00
• 88d192dd2a Editorial change: removing section of completion of controlled types gusthoff 2024-04-20 04:38:25 +02:00
• 322454b258 Adding section on finalization of controlled types gusthoff 2024-04-20 04:34:59 +02:00
• 1c1c7d3b7c Editorial change: adding anchor gusthoff 2024-04-20 04:33:50 +02:00
• b8afa9efb9 Editorial change: adding anchors gusthoff 2024-04-20 04:32:19 +02:00
• b071379cb8 Remove extra bullets Michael Frank 2024-07-19 15:25:10 -04:00
• 26c04fc21f Consistent use of CWE plural Michael Frank 2024-07-19 15:17:49 -04:00
• 80be60fdba Insert CWE's for all rules Michael Frank 2024-07-19 10:24:14 -04:00
• 88bac62546 Add description on (to be added) CWE subsections Michael Frank 2024-07-18 16:03:42 -04:00
• b04eaca069 Merge pull request #1074 from gusthoff/content/advanced_ada/review/editorial/general/20240713/new_todo_items Gustavo A. Hoffmann 2024-07-13 02:34:42 +02:00
• 7474c25a66 Editorial changes: converting to todo item gusthoff 2024-07-13 01:38:33 +02:00
• 71efe17872 Editorial changes: splitting todo items gusthoff 2024-07-13 01:37:59 +02:00
• 2ed3a375f8 Minor editorial changes to todo items gusthoff 2024-07-13 01:37:29 +02:00
• 94a525c7ee Editorial change: adding todo items gusthoff 2024-07-13 01:36:05 +02:00
• c0cfcc1305 Merge pull request #1071 from gusthoff/content/guidelines_for_safe_and_secure_ada_spark/review/editorial/minor_issues/20240630 r2024.06.30 Gustavo A. Hoffmann 2024-06-30 21:17:30 +02:00
• 6dc19fc9a8 Editorial change: using link to SPARK RM gusthoff 2024-06-30 20:14:00 +02:00
• 004d7b2e9e Fixing array boundaries in code example gusthoff 2024-06-30 20:13:16 +02:00
• 1172806c2f Editorial change: aligning Ada coding style gusthoff 2024-06-30 20:12:32 +02:00
• 4661fad32f Editorial changes: improving punctuation gusthoff 2024-06-30 20:11:50 +02:00
• 86eb054c07 Editorial changes: using Sphinx Ada role gusthoff 2024-06-30 20:10:46 +02:00
• 05540cac1a Editorial changes: using m-dash gusthoff 2024-06-30 20:09:22 +02:00
• 49bd87577d Editorial changes: aligning references to rules gusthoff 2024-06-30 20:08:11 +02:00
• 281141b083 Editorial change: removing trailing whitespaces gusthoff 2024-06-30 20:06:34 +02:00
• b79643c69e Editorial change: including global.txt gusthoff 2024-06-30 20:06:06 +02:00
• ee80bccc89 Merge pull request #1070 from gusthoff/content/advanced_ada/review/editorial/general/20240628/minor_changes Gustavo A. Hoffmann 2024-06-28 16:11:14 +02:00
• b54c995c54 Merge pull request #1069 from gusthoff/topic/infrastructure/yarn/updates/20240628/standard_updates Gustavo A. Hoffmann 2024-06-28 16:11:08 +02:00
• 3edfd5bb56 Merge pull request #1068 from gusthoff/topic/infrastructure/sphinx/updates/20240628 Gustavo A. Hoffmann 2024-06-28 16:10:59 +02:00
• 3bc77d2fff Merge pull request #1067 from gusthoff/topic/infrastructure/yarn/updates/20240628/jsdoc_avoid_undefined_types_warnings Gustavo A. Hoffmann 2024-06-28 16:10:50 +02:00
• ab26c8b0c4 Minor editorial changes gusthoff 2024-06-28 15:29:37 +02:00
• 303998befa Frontend: upgrading yarn packages gusthoff 2024-06-28 15:23:40 +02:00
• 1db469c7bc Frontend: avoid jsdoc warnings about undefined types gusthoff 2024-06-28 14:52:43 +02:00
• 348e2e5aad Python: updating some packages gusthoff 2024-06-28 14:47:36 +02:00
• 1c7e920299 Merge pull request #1064 from AdaCore/dependabot/npm_and_yarn/frontend/ws-8.17.1 Gustavo A. Hoffmann 2024-06-28 14:22:24 +02:00
• eb356c20df Merge pull request #1063 from AdaCore/dependabot/pip/frontend/urllib3-2.2.2 Gustavo A. Hoffmann 2024-06-28 14:21:45 +02:00
• fb0ff0cf7d Merge pull request #1061 from AdaCore/dependabot/npm_and_yarn/frontend/braces-3.0.3 Gustavo A. Hoffmann 2024-06-28 14:21:13 +02:00
• d496b4e2e1 Bump ws from 8.16.0 to 8.17.1 in /frontend dependabot[bot] 2024-06-18 22:13:33 +00:00
• 69b37663d1 Bump urllib3 from 2.2.1 to 2.2.2 in /frontend dependabot[bot] 2024-06-17 22:56:02 +00:00
• eed8d7b82f Bump braces from 3.0.2 to 3.0.3 in /frontend dependabot[bot] 2024-06-16 11:01:29 +00:00
• 2183de64d5 Merge pull request #1060 from gusthoff/topic/infrastructure/yarn/updates/20240608/fullhash Gustavo A. Hoffmann 2024-06-09 11:40:24 +02:00
• e17a80c0bb Frontend: using "fullhash" gusthoff 2024-06-08 04:07:52 +02:00
• 63b16a8c6b Merge pull request #1059 from gusthoff/topic/infrastructure/yarn/updates/20240607/yarn_4_upgrade Gustavo A. Hoffmann 2024-06-08 04:03:44 +02:00
• 72881bc78e GitHub actions: further adaptations for yarn 4.x upgrade gusthoff 2024-06-08 01:20:10 +02:00
• 762f82c1ea .gitignore: adding .yarn to the list gusthoff 2024-06-08 01:04:17 +02:00
• d16a79e2af Frontend: adding .yarnrc.yml gusthoff 2024-06-08 01:03:40 +02:00
• ac587f9644 GitHub actions: adaptation for yarn 4.x upgrade gusthoff 2024-06-08 01:01:13 +02:00
• 717429046d Frontend: yarn 4.2.2 upgrade gusthoff 2024-06-08 01:00:27 +02:00
• 0966aaf0dc Vagrant VM: yarn 4.x upgrade gusthoff 2024-06-08 00:59:12 +02:00
• efce030e4b Merge pull request #1058 from gusthoff/content/advanced_ada/review/editorial/limited_types/20240531 Gustavo A. Hoffmann 2024-06-02 22:29:17 +02:00
• a3fd9f0707 Editorial changes: preparing chapter on limited types for publication gusthoff 2024-06-02 21:51:25 +02:00
• 2be3f5b083 Merge pull request #1057 from gusthoff/topic/infrastructure/sphinx/updates/20240531 Gustavo A. Hoffmann 2024-06-02 21:50:21 +02:00
• e1b890ba1e Python: updating some packages gusthoff 2024-06-02 21:46:19 +02:00
• 672ebe6a60 Merge pull request #1056 from gusthoff/topic/infrastructure/yarn/updates/20240531/jsdoc_updates Gustavo A. Hoffmann 2024-06-02 21:44:06 +02:00
• 5907acec57 TS frontend: adapting JS documentation to eslint-plugin-jsdoc style gusthoff 2024-06-02 21:20:40 +02:00
• 29bed6e216 Frontend: adding eslint-plugin-jsdoc package gusthoff 2024-06-02 21:17:24 +02:00
• 32dde3d140 Frontend: removing eslint-config-google package gusthoff 2024-06-02 21:15:45 +02:00
• 029259d975 Frontend: upgrading yarn packages gusthoff 2024-06-02 21:13:23 +02:00
• f0629ce731 Merge pull request #1055 from gusthoff/topic/infrastructure/yarn/updates/20240531/standard_updates Gustavo A. Hoffmann 2024-06-02 21:30:41 +02:00
• ba681a6a2a Frontend: upgrading yarn packages gusthoff 2024-06-02 21:11:48 +02:00
• 592cd23686 Frontend: upgrading yarn packages gusthoff 2024-06-02 21:09:57 +02:00
• 197d010c27 Merge pull request #1054 from gusthoff/topic/infrastructure/vagrant/20240531 Gustavo A. Hoffmann 2024-06-02 21:05:07 +02:00
• 15d764e91c GitHub actions: upgrading to Node.js 20 gusthoff 2024-06-02 20:53:02 +02:00
• 4650c50e1b Frontend: upgrading to Node.js 20 gusthoff 2024-06-02 20:50:55 +02:00
• a96d5a8dbf Merge pull request #1052 from gusthoff/content/advanced_ada/new_content/records/default_initialization/20240517 Gustavo A. Hoffmann 2024-05-25 18:07:07 +02:00
• 8a16398758 Merge pull request #1051 from gusthoff/content/advanced_ada/new_content/limited_types/immutable_limited_types/20240517 Gustavo A. Hoffmann 2024-05-25 18:06:50 +02:00
• a279c0eb96 Merge pull request #1047 from gusthoff/content/advanced_ada/new_content/limited_types/subtypes/20240510 Gustavo A. Hoffmann 2024-05-25 02:14:26 +02:00
• 93c92837f1 Merge pull request #1044 from gusthoff/content/advanced_ada/review/limited_types/general/20240504 Gustavo A. Hoffmann 2024-05-25 02:06:24 +02:00
• 92d3e6fab6 Mentioning consequence of the rule about default expression gusthoff 2024-05-25 02:05:58 +02:00
• e1ff30c853 Editorial change: moving code example to appropriate section gusthoff 2024-05-25 01:59:43 +02:00
• 7df84778ac Improving explanation about limitedness of subtype gusthoff 2024-05-25 01:41:17 +02:00