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

• ce20a024dc Editorial change: added missing whitespaces to LAB IO block gusthoff 2019-07-12 16:14:48 +02:00
• cf9bf46da4 Updated LAB IO Block format to comply with new format #242 gusthoff 2019-07-12 12:56:00 +02:00
• 35dbe04736 Labs: draft version of exercises for "Subprograms" chapter gusthoff 2019-06-28 17:50:56 +02:00
• 1991bb41c1 Updated LAB IO Block format to comply with new format #242 gusthoff 2019-07-12 12:15:11 +02:00
• d5acdc0e51 Initial commit of labs for "Records" chapter gusthoff 2019-06-01 01:16:40 +02:00
• ccc01682ff Merge pull request #248 from AdaCore/topic/loading_spinner Nicolas Setton 2019-07-11 20:49:35 -04:00
• 206f105b23 Adding a loading spinner to tell the user the program is still running. Robert Tice 2019-07-11 16:33:42 -04:00
• bc59472d46 Merge pull request #247 from AdaCore/topic/responsive_tabs Robert Tice 2019-07-11 15:52:41 -04:00
• 9d2b4f348e Adding a Done message to indicate that the program has completed running. Robert Tice 2019-07-11 15:46:40 -04:00
• da9ae772ee Changing label of actual output to received output so that it has the same string length as expected output. Robert Tice 2019-07-11 14:59:22 -04:00
• 8201d18abb Parsing out all static strings and moving them to definitions at the top of the file to ease editing content. Robert Tice 2019-07-11 14:54:26 -04:00
• b789459b1c Fixing browk test again custom input and run combo. Robert Tice 2019-07-11 14:03:59 -04:00
• 9b038f765c Fixing alignment of custom input checkbox and label. Robert Tice 2019-07-11 13:47:53 -04:00
• 118b0c27c2 Fixing styling of tabs. Robert Tice 2019-07-11 13:23:35 -04:00
• 7e59101bf9 Adding scrollable tab containers for mobile phone support. Robert Tice 2019-07-11 13:14:12 -04:00
• dda96bd07d Removing button operation text from printed output_info tag. Robert Tice 2019-07-11 10:53:32 -04:00
• 7fcd3267a6 Removing check and x icons in lab results and replacing with pass and fail strings. Robert Tice 2019-07-11 10:00:32 -04:00
• b1cb8bc293 Merge pull request #246 from AdaCore/topic/add_labs_link Robert Tice 2019-07-10 15:21:57 -04:00
• 2d99d61730 Removing labs links from hidden section and adding to sidebar. Robert Tice 2019-07-10 15:13:45 -04:00
• 72082fffa3 Merge pull request #245 from AdaCore/topic/tabbed_editor Robert Tice 2019-07-10 15:00:26 -04:00
• dd265cff75 Merge pull request #244 from AdaCore/issues/242 Robert Tice 2019-07-10 14:51:43 -04:00
• 43333103a3 Fixing colors of lab results and adding check and x markers to indicate pass fail for accessibility. Robert Tice 2019-07-10 14:45:58 -04:00
• 16fa22ef01 Merge pull request #231 from gusthoff/topic/editorial_changes/books_courses/20190621 Gustavo A. Hoffmann 2019-07-05 14:32:12 +02:00
• 7a658baaa4 Editorial change: renamed "book" directory to "chapters" gusthoff 2019-06-21 11:55:00 +02:00
• a977a8bda9 Test: updated path to course gusthoff 2019-06-21 11:47:35 +02:00
• 5f21c8e61c Getting rid of distinction between books and courses gusthoff 2019-06-21 11:18:56 +02:00
• 3a970fd8db Fixing style of accordions and fixing accordion sorting based on test case number. Robert Tice 2019-07-02 17:43:22 -04:00
• 53267e172a Implemented accordians to display lab results rather than tabs. Robert Tice 2019-07-02 17:08:03 -04:00
• 8495adf018 Adding lab_results tabbing. Robert Tice 2019-07-02 15:44:31 -04:00
• c678e50748 Tabs now switch to proper editor when user clicks on errors from run. Robert Tice 2019-07-02 11:47:49 -04:00
• 5c0f2ff933 Tab proof of concept. Robert Tice 2019-07-02 10:33:26 -04:00
• f407d439af Fixing missing colon in lab IO block. Robert Tice 2019-07-01 16:53:46 -04:00
• f120677500 Merge pull request #243 from AdaCore/issues/242 Nicolas Setton 2019-07-01 16:19:49 -04:00
• d761c57b7f Fixing lab IO blocks to comply with new regex validation. Also adding new message type called internal_error which will direct users to submit issues on github. Robert Tice 2019-07-01 14:55:00 -04:00
• 42c400819f Merge pull request #240 from yannickmoy/authors yannickmoy 2019-06-29 00:08:39 +02:00
• e969201e4a Fix authors for the SPARK intro course Yannick Moy 2019-06-28 23:31:54 +02:00
• 626eb680fd Merge pull request #233 from yannickmoy/misra_course yannickmoy 2019-06-28 23:23:11 +02:00
• c4f636caef Merge pull request #234 from yannickmoy/S625-006 yannickmoy 2019-06-28 22:57:16 +02:00
• 889f684dee Fix initial space for options Yannick Moy 2019-06-28 21:58:27 +02:00
• 08fbb5e0fa Fix typo Yannick Moy 2019-06-28 21:55:22 +02:00
• b3e91db16a Merge pull request #235 from yannickmoy/fix_spark_buttons Nicolas Setton 2019-06-28 14:30:40 -04:00
• 789e7d4e2c Merge pull request #238 from AdaCore/topic/S628-014 Nicolas Setton 2019-06-28 14:29:39 -04:00
• 8f9b4cdf8e S628-014 Fix indentation of SPARK snippets Nicolas Setton 2019-06-28 13:48:55 -04:00
• c51112b214 Restore prove buttons in SPARK intro course Yannick Moy 2019-06-28 12:49:45 +02:00
• 3de6a04cb7 S625-006 Update SPARK overview now that pointers are supported Yannick Moy 2019-06-25 11:53:20 +02:00
• 0b21c0ed07 Various fixes on the interactive snippets Yannick Moy 2019-06-25 11:19:36 +02:00
• a2e7413618 Small improvements in source-code example gusthoff 2019-01-12 04:43:05 +01:00
• d3a531c52d Planning: marked section on Overridable Class Attributes as completed gusthoff 2019-01-12 04:26:01 +01:00
• 2532c2f7b0 Planning: marked Gem #117 as reused gusthoff 2019-01-12 04:25:36 +01:00
• 1e3cfc51af Grouped package specifications in single source-code snippet gusthoff 2019-01-12 04:24:11 +01:00
• b5ee3cd92c Editorial change: aligned string in both source-code examples gusthoff 2019-01-12 04:10:51 +01:00
• 660151c2d4 Editorial change: removed paragraph gusthoff 2019-01-12 04:05:56 +01:00
• 05349dba88 Adapted source-code examples gusthoff 2019-01-12 04:04:07 +01:00
• 453086081f Editorial change: moved paragraph about Python to admonition gusthoff 2019-01-12 03:18:14 +01:00
• 84fba795c8 Added section on Overridable Class Attributes gusthoff 2019-01-12 03:14:06 +01:00
• 5d6661373e Planning: marked section as completed gusthoff 2019-01-12 02:39:35 +01:00
• 20e9b20fba Planning: marked Gem #113 as reused gusthoff 2019-01-12 02:39:20 +01:00
• 6eef062fad Minor editorial change in source-code example gusthoff 2019-01-12 02:23:12 +01:00
• b86a3fba56 Editorial change: added missing reference to actual implementation gusthoff 2019-01-12 02:18:42 +01:00
• 5d94ee9c03 Editorial change: replaced by actual element from source-code example gusthoff 2019-01-12 02:15:56 +01:00
• 3a8f3d2130 Editorial change: corrected typo gusthoff 2019-01-12 02:14:36 +01:00
• 06108f24f5 Adapted source-code examples gusthoff 2019-01-12 02:11:57 +01:00
• f65b8f1eb3 Added section on visitor pattern gusthoff 2019-01-12 01:48:33 +01:00
• 1c70f5bd45 Planning: marked Gem #70 as used gusthoff 2019-01-11 20:41:01 +01:00
• 3b93559a9a Planning: marked section as completed gusthoff 2019-01-11 20:40:15 +01:00
• b97d5efe64 Adapted source-code examples gusthoff 2019-01-11 20:39:22 +01:00
• 759efeee1e Added section on scope locks gusthoff 2019-01-11 20:05:58 +01:00
• 2774d70f03 Editorial changes: minor changes gusthoff 2019-06-08 02:08:50 +02:00
• 410231682b Moved chapter on modular programming gusthoff 2019-06-08 01:48:44 +02:00
• d44400be41 Moved chapter on subprograms gusthoff 2019-06-08 00:52:54 +02:00
• 5a2e928291 Editorial change: removed 'orphan' gusthoff 2019-05-24 16:07:46 +02:00
• 1a27139d57 Editorial change: using camel-case for lab title gusthoff 2019-05-24 15:32:56 +02:00
• ff58ef3f6f Added exercise: "Positive Or Negative" gusthoff 2019-05-24 15:31:38 +02:00
• b3a5ed5991 Added exercises: "Hello World" and "Greetings" gusthoff 2019-05-24 15:00:34 +02:00
• 1a959944cb Corrected reference to 'abs' gusthoff 2019-05-24 14:10:12 +02:00
• be45d25ad3 Replaced generic title for exercises gusthoff 2019-05-24 14:04:44 +02:00
• 00241fcd0e Replaced directory in index file gusthoff 2019-05-24 14:02:52 +02:00
• f81711b817 Index file for labs of the Intro to Ada course gusthoff 2019-05-24 14:01:36 +02:00
• 5c4b421358 Adding auto height resizing with 50 line maximum. Robert Tice 2019-05-31 12:59:11 -04:00
• d3a4d8ed04 Editorial change: added missing newline gusthoff 2019-05-24 13:09:07 +02:00
• c81d218fa6 Editorial change: added whitespace to expected output gusthoff 2019-05-17 22:40:24 +02:00
• 950fc1f044 Labs: initial commit of solutions file gusthoff 2019-05-17 20:25:33 +02:00
• 9a78a49a89 Editorial change: corrected formatting gusthoff 2019-05-17 03:52:30 +02:00
• ce9527cdc8 Added source-code for labs gusthoff 2019-05-17 03:48:26 +02:00
• 6d9541f38c Editorial change: fixed table gusthoff 2019-05-13 22:47:07 +02:00
• 82231eb69f Initial commit of labs for "Strongly typed language" chapter gusthoff 2019-05-11 02:08:20 +02:00
• 0d063871cc Reverting a js feature to be compatible on chrome. Robert Tice 2019-05-17 14:27:24 -04:00
• e99be3e331 Corrected lab title gusthoff 2019-05-11 02:15:54 +02:00
• d82f202078 Editorial change: added missing 'orphan' indication gusthoff 2019-04-03 22:31:37 +02:00
• 3b4991929b Draft version of exercise #1 gusthoff 2019-04-03 22:27:01 +02:00
• 05ce81af88 Merge pull request #222 from gusthoff/topic/editorial_changes/contributors/20191017 Raphaël AMIARD 2019-05-24 11:17:06 +02:00
• 62cb5e0572 Merge branch 'master' into topic/editorial_changes/contributors/20191017 Raphaël AMIARD 2019-05-24 11:12:24 +02:00
• 73115cf020 Editorial change: corrected title gusthoff 2019-05-17 15:10:58 +02:00
• 001fef6877 Editorial changes: using Sphinx ada-role gusthoff 2019-05-17 15:08:36 +02:00
• e05e252128 Adaptations after git rebase gusthoff 2019-05-17 15:02:25 +02:00
• 27bb54bc87 Minor change in source-code example gusthoff 2019-05-17 14:41:31 +02:00
• 97bed119fa Adapted section based on feedback gusthoff 2019-05-17 14:33:43 +02:00
• 27cfa86d0f Editorial change: added missing word gusthoff 2018-12-07 20:30:56 +01:00
• 4c4784524c Editorial change: replaced terminology gusthoff 2018-12-07 20:26:10 +01:00
• f088d584b4 Editorial change: splitted line that was too long gusthoff 2018-12-07 20:16:05 +01:00