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

• 3784963ec9 Added section on operations on sets gusthoff 2018-04-29 01:28:27 +02:00
• 1952d29ead Added section on set operations gusthoff 2018-04-29 01:16:51 +02:00
• f229e23ec2 Added section on set initialization gusthoff 2018-04-29 00:55:18 +02:00
• e203adf8ca Editorial change gusthoff 2018-04-29 00:35:26 +02:00
• 768f850b92 Added section on other vector operations gusthoff 2018-04-29 00:30:01 +02:00
• 8ae2fa2a94 Added section on inserting elements gusthoff 2018-04-28 22:01:42 +02:00
• 3d71dc1d3f Added comment on Update_Element gusthoff 2018-04-28 21:49:42 +02:00
• 4001f1fcb9 Added comments about modifying elements in a loop gusthoff 2018-04-28 21:34:25 +02:00
• 7f08df746e Added comment on Replace_Element gusthoff 2018-04-28 21:19:57 +02:00
• 43d5da193d Editorial changes: using shorter subsection title gusthoff 2018-04-28 21:12:49 +02:00
• 2697f10eee Added section about removing elements from vector gusthoff 2018-04-28 21:11:43 +02:00
• 6b62784ab1 Editorial change gusthoff 2018-04-28 21:00:01 +02:00
• f6beb55b27 Added section on finding elements in a vector gusthoff 2018-04-28 20:59:17 +02:00
• f0bbb3049e Added section on vector iteration gusthoff 2018-04-28 20:34:41 +02:00
• 9ff79a9d97 Added section about first and last elements gusthoff 2018-04-28 19:52:46 +02:00
• a7824e3146 Minor editorial changes gusthoff 2018-04-28 15:03:41 +02:00
• f0479f168d Added section on vector instantiation and initialization gusthoff 2018-04-28 14:57:31 +02:00
• ddb49c8fe9 Added list of available containers gusthoff 2018-04-28 14:25:42 +02:00
• 121614ca79 Finish section on tagged types Raphaël AMIARD 2018-05-01 16:21:01 +02:00
• f50da6aa58 Add first draft of section on exceptions Raphaël AMIARD 2018-05-01 16:20:42 +02:00
• 1900de2670 Fix style error Raphaël AMIARD 2018-05-01 16:20:10 +02:00
• 9bcd7a61ec Add local vim plugin Raphaël AMIARD 2018-05-01 16:19:59 +02:00
• 55214c4aa8 Fix some style issues in code blocks Raphaël AMIARD 2018-05-01 16:19:46 +02:00
• f4e0c0205e Completely rework the blocks script Raphaël AMIARD 2018-05-01 16:19:12 +02:00
• 3616f2345f Move stuff from lectures in new architecture Raphaël AMIARD 2018-04-27 17:24:21 +02:00
• 8402c9b651 Move intro-to-ada to a subdir Raphaël AMIARD 2018-04-27 15:54:06 +02:00
• 2c1baaa452 Remove comment Raphaël AMIARD 2018-04-27 15:52:32 +02:00
• 837a9635f7 Update compile_blocks script & fix examples Raphaël AMIARD 2018-04-27 15:16:51 +02:00
• 62835fa784 Start part about OO Raphaël AMIARD 2018-04-27 15:19:08 +02:00
• d4cbac9531 Reformat code examples to follow GNAT style Raphaël AMIARD 2018-04-27 15:18:26 +02:00
• 8c69ad3ac8 Write section about privacy Raphaël AMIARD 2018-04-27 15:17:13 +02:00
• 3c6aa18cf1 Some code reformatting Raphaël AMIARD 2018-04-27 15:16:25 +02:00
• e7c4fc7eee Finish advanced records section Raphaël AMIARD 2018-04-27 15:15:59 +02:00
• e01aacc5c6 Change examples for advanced records Raphaël AMIARD 2018-04-27 15:15:20 +02:00
• 738181de5e Add new subsection Raphaël AMIARD 2018-04-27 15:14:48 +02:00
• a72debb403 Correct link syntax Raphaël AMIARD 2018-04-27 15:14:22 +02:00
• 90bf0350a9 Add some subsections in records Raphaël AMIARD 2018-04-27 15:14:12 +02:00
• abf0e28582 Minor reformatting Raphaël AMIARD 2018-04-27 15:14:01 +02:00
• fb31ddcba1 Remove useless header Raphaël AMIARD 2018-04-27 15:13:39 +02:00
• 6ae88cb26e Correct headers Raphaël AMIARD 2018-04-27 15:11:47 +02:00
• 46b9cdd3f2 Complete section "More about records" Raphaël AMIARD 2018-04-27 15:11:34 +02:00
• eb9ac486e4 Add section on mutually recursive types Raphaël AMIARD 2018-04-27 15:11:02 +02:00
• 001d4d3dc5 End section on other access features Raphaël AMIARD 2018-04-27 15:10:34 +02:00
• 825eeade77 Add automatic deallocation section Raphaël AMIARD 2018-04-27 15:09:53 +02:00
• a043f3efb4 Annotate code block Raphaël AMIARD 2018-04-27 15:08:58 +02:00
• 92947ee54b Fix access examples Raphaël AMIARD 2018-04-27 15:07:20 +02:00
• 590505481c Formatting Raphaël AMIARD 2018-04-27 15:06:03 +02:00
• 477ab04aa3 Section on access types Raphaël AMIARD 2018-04-24 16:28:37 +02:00
• f72e37eaf0 Finish section about overloading & qualified expressions Raphaël AMIARD 2018-04-24 16:28:19 +02:00
• 759de73997 Added admonition on protected objects using tasks gusthoff 2018-04-17 23:26:34 +02:00
• b9755a39aa Avoiding abort statement in code examples gusthoff 2018-04-17 23:17:25 +02:00
• 948116b9aa Created separate section on select loop gusthoff 2018-04-17 23:06:51 +02:00
• eed58b9f3e Revised paragraph on rendez-vous gusthoff 2018-04-17 22:45:16 +02:00
• 4b35987934 Added delay to main task gusthoff 2018-04-17 22:24:11 +02:00
• 5123513135 Corrected further references to main task and subtasks gusthoff 2018-04-17 22:17:06 +02:00
• 4a67e2ab48 Added paragraph about subprogram's tasks gusthoff 2018-04-17 22:09:51 +02:00
• eb9ddc4d78 Adapted paragraph about main task and subtasks gusthoff 2018-04-17 22:01:46 +02:00
• f170def3f8 Editorial change: added references to Wikipedia gusthoff 2018-04-17 21:50:46 +02:00
• 11ac74b32e Editorial change: corrected grammar gusthoff 2018-04-17 21:45:07 +02:00
• 66a8932b73 Removed notebook metadata gusthoff 2018-04-17 21:44:12 +02:00
• 6bb260d75a Added section on task and protected types gusthoff 2018-04-14 02:31:27 +02:00
• bb03c248cf Added section on protected objects gusthoff 2018-04-14 02:30:09 +02:00
• cdfe748b9c Added section on tasks gusthoff 2018-04-14 00:01:19 +02:00
• 29d98da88a Editorial change: added missing line gusthoff 2018-04-13 19:23:37 +02:00
• 6f4cc583ee Added source-code examples gusthoff 2018-04-13 19:22:22 +02:00
• 4afc2e46e7 Adapted section outline gusthoff 2018-04-13 19:11:46 +02:00
• e45a2c5fb6 Add compile_blocks script Raphaël AMIARD 2018-04-19 15:45:47 +02:00
• 9de7ac59a1 Correct and annotate all code examples Raphaël AMIARD 2018-04-19 14:42:56 +02:00
• 0020684aac Move function calls section Raphaël AMIARD 2018-04-19 14:42:42 +02:00
• 9ab9ed1c1d Editorial change: enhanced coding style gusthoff 2018-04-14 14:09:35 +02:00
• 768d83224e Reviewed usage of delta values gusthoff 2018-04-14 13:42:10 +02:00
• 73ce77a129 Editorial change: using RST roles in some places gusthoff 2018-04-13 19:02:58 +02:00
• a9d6f9afff Minor style fix Nicolas Setton 2018-04-10 09:17:01 -04:00
• 26944dd28e Editorial change: added Ada and C roles gusthoff 2018-04-13 14:27:40 +02:00
• 08b6686553 Editorial change: removed trailing whitespaces gusthoff 2018-04-13 14:21:41 +02:00
• f611799c77 Fix code blocks Raphaël AMIARD 2018-04-12 11:17:50 +02:00
• 29b82a7a7e Begin subprograms section Raphael Amiard 2018-04-10 11:12:06 +02:00
• 4ee7dbca80 Aggregates, fn overloading Raphael Amiard 2018-04-13 10:54:55 +02:00
• 2eaf180ba0 Example for nested subprograms Raphael Amiard 2018-04-13 10:53:38 +02:00
• 6795461967 Line break Raphael Amiard 2018-04-13 10:49:28 +02:00
• 9ade7f2194 Fix typo Raphael Amiard 2018-04-13 10:48:48 +02:00
• bdffb288ec Move section on records, continue subprograms Raphael Amiard 2018-04-11 16:32:55 +02:00
• 65b57afbef Start section on records Raphael Amiard 2018-04-11 11:49:33 +02:00
• 3497c79139 Fix admonition Raphaël AMIARD 2018-04-10 15:09:17 +02:00
• 83aa228c97 Fix whitespace Raphaël AMIARD 2018-04-10 15:09:10 +02:00
• 3dcb472fae Fix math blocks Raphaël AMIARD 2018-04-10 15:09:04 +02:00
• 51623607fc Use mathjax instead of latex Raphaël AMIARD 2018-04-10 15:08:48 +02:00
• 9f9ec45948 First lab Raphaël AMIARD 2018-04-10 14:16:17 +02:00
• c2009f8973 Continue section on packages Raphaël AMIARD 2018-04-10 09:41:23 +02:00
• 32c361772a End of arrays section & Start of packages section Raphaël AMIARD 2018-04-09 12:53:32 +02:00
• 6861984f55 Correct subsection's headers Raphaël AMIARD 2018-04-09 11:01:09 +02:00
• e9a9899b04 Add section about indefinite subtypes Raphaël AMIARD 2018-04-09 10:59:21 +02:00
• 18146776ef Correct typo Raphaël AMIARD 2018-04-09 10:57:53 +02:00
• d4ab036530 Add second example for array init Raphaël AMIARD 2018-04-09 10:55:04 +02:00
• 1e848fdbf7 Add hint about correpondence between string literals & aggregates Raphaël AMIARD 2018-04-09 10:50:08 +02:00
• 9133829804 Add custom styling Raphaël AMIARD 2018-04-09 10:47:45 +02:00
• 1eb167b82c Add TODO comment for later Raphaël AMIARD 2018-04-09 10:47:11 +02:00
• 145d02d3a8 Mentioning binary examination tools for Mac and Windows gusthoff 2018-04-06 14:03:05 +02:00
• b67da4bb35 Mentioning g++ when interfacing with C++ gusthoff 2018-04-06 13:58:38 +02:00
• 218b8f6fe4 Editorial change: moved subsection on unconstrained types to advanced book gusthoff 2018-04-06 13:19:06 +02:00