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

• 6ea862d41c Merge branch 'master' into topic/move_static_files_here Nicolas Setton 2018-07-18 10:20:13 -04:00
• ca8b563193 Fixing missing js libs in conf.py. Robert Tice 2018-07-18 10:15:17 -04:00
• 2bdade6e5d Import static files from the cloudserver to here Nicolas Setton 2018-07-17 04:09:52 -04:00
• 9d5a221aca Merge pull request #86 from AdaCore/topic/ben_intro_edit Nicolas Setton 2018-07-18 06:51:03 -04:00
• f695bc61a5 Integrate Ben's changes for the intro Raphaël AMIARD 2018-07-18 12:36:00 +02:00
• 9fed64c201 Import static files from the cloudserver to here Nicolas Setton 2018-07-17 04:09:52 -04:00
• 8093fe546e Merge pull request #84 from AdaCore/topic/editorial_changes/src_code Robert Tice 2018-07-17 17:07:57 -04:00
• 5b164752ab Editorial change: removed ReST class due to dependency gusthoff 2018-07-17 22:57:25 +02:00
• d7124e72b9 Merge pull request #77 from AdaCore/topic/sphinx_theme Nicolas Setton 2018-07-17 10:39:59 -04:00
• b7f3c6e424 Merge pull request #80 from AdaCore/topic/enhancement_requests Nicolas Setton 2018-07-17 10:28:27 -04:00
• e2b9381847 Centering main content div Robert Tice 2018-07-17 09:49:36 -04:00
• bbac092cb9 Merge pull request #82 from AdaCore/typo Robert Tice 2018-07-17 09:03:01 -04:00
• af1353350f Fix typo Nicolas Setton 2018-07-16 22:01:50 -04:00
• e5720c802f Correcting max toctree depths Robert Tice 2018-07-16 15:18:58 -04:00
• 06460d1b02 Merge pull request #51 from yannickmoy/master Robert Tice 2018-07-16 15:02:02 -04:00
• 1d9663aad6 Merge branch 'master' into master Robert Tice 2018-07-16 14:53:52 -04:00
• 73f0e321b2 Fixing issue where glyphs did not show up properly on Chrome. Robert Tice 2018-07-16 13:31:11 -04:00
• 0aa49b9dfb Fixing code block issue in admonition. Robert Tice 2018-07-16 13:07:51 -04:00
• d0c3458a0d Adding download link to book. Robert Tice 2018-07-16 11:34:00 -04:00
• 5bde0dac6c Merge branch 'master' into topic/sphinx_theme Robert Tice 2018-07-16 11:17:52 -04:00
• c6a337504d Changing MWAC banner link to serve from main website rather than the blog. That gives us a HTTPS link so Firefox doesn't complain. Robert Tice 2018-07-16 11:11:31 -04:00
• 395e504307 Run button and slightly more complex example code on first page Fabien Chouteau 2018-07-13 15:50:33 +02:00
• 7c99597ef2 Adding scroll to top feature. Robert Tice 2018-07-16 10:21:23 -04:00
• 817841657c Merge pull request #53 from AdaCore/publish_via_makefile Robert Tice 2018-07-16 09:58:01 -04:00
• c14179c7bf Merge branch 'master' into publish_via_makefile Robert Tice 2018-07-16 09:51:06 -04:00
• 73093f6c8d Reverting Makefile changes in this branch for now. Robert Tice 2018-07-16 09:38:30 -04:00
• 176a4f4dab Removing unused fa styling generated by rtd theme sass Robert Tice 2018-07-16 09:20:31 -04:00
• 860c096b63 Style and content tweaks and fixes. Robert Tice 2018-07-13 10:21:07 -04:00
• fd1d467c77 Removing local fontawesome glyphs in favor of cdn ones. Robert Tice 2018-07-12 13:57:13 -04:00
• feffc97c14 Reverting Makefile changes in this branch for now. Robert Tice 2018-07-16 09:38:30 -04:00
• 23b9166f3d Removing unused fa styling generated by rtd theme sass Robert Tice 2018-07-16 09:20:31 -04:00
• 6eb032770a Adapted and tested source-code examples gusthoff 2018-07-13 22:58:37 +02:00
• 08cb067be5 Merge pull request #58 from gusthoff/advanced_spark/initial_version Gustavo A. Hoffmann 2018-07-13 19:30:25 +02:00
• 059bdaf0ab Style and content tweaks and fixes. Robert Tice 2018-07-13 10:21:07 -04:00
• 9d72444654 Editorial change: applied word wrapping gusthoff 2018-07-13 15:08:27 +02:00
• 0becbcef15 Editorial changes: grouped sections gusthoff 2018-07-13 14:12:53 +02:00
• a68ee19c01 Replacing spaces with tabs. Robert Tice 2018-07-12 13:59:21 -04:00
• 2b695a18ad Removing local fontawesome glyphs in favor of cdn ones. Robert Tice 2018-07-12 13:57:13 -04:00
• a48d8f698c Fixing Makefile. Robert Tice 2018-07-12 09:59:56 -04:00
• 71c064ef87 Merge pull request #43 from AdaCore/topic/review_runnable_examples_generics_to_end Raphaël AMIARD 2018-07-12 15:39:15 +02:00
• ea5f2ddbd8 Merge pull request #49 from gusthoff/topic/editorial_changes/todos Raphaël AMIARD 2018-07-12 15:36:25 +02:00
• 226456a9d1 Merge branch 'master' into topic/review_runnable_examples_generics_to_end Raphaël AMIARD 2018-07-12 15:32:25 +02:00
• 0fc609a690 Removing labs reference for now. Robert Tice 2018-07-11 15:06:01 -04:00
• 5d7bbeead9 Removing labs reference for now. Robert Tice 2018-07-11 15:06:01 -04:00
• 53e3d2d516 Merge pull request #55 from gusthoff/topic/editorial_changes/src_code Robert Tice 2018-07-11 13:51:08 -04:00
• 54f2372c86 Merge pull request #54 from gusthoff/topic/editorial_changes/comments Robert Tice 2018-07-11 13:50:35 -04:00
• d40678d94a Editorial change: removed ReST class due to dependency gusthoff 2018-07-11 19:45:01 +02:00
• 133c77242a Editorial change: fixed admonition gusthoff 2018-07-11 19:37:57 +02:00
• 0b0d1fe32c Adding publish-staging target to Makefile. Robert Tice 2018-07-11 12:53:22 -04:00
• 97826db756 Merge pull request #48 from gusthoff/topic/editorial_changes/toc Robert Tice 2018-07-11 11:34:48 -04:00
• 7657f73993 Merge pull request #52 from AdaCore/topic/sphinx_theme Nicolas Setton 2018-07-10 15:59:35 -04:00
• ec1427acb7 Merge branch 'master' into topic/sphinx_theme Nicolas Setton 2018-07-10 15:44:50 -04:00
• 6fdc5a80cd Merge branch 'master' into topic/review_runnable_examples_generics_to_end Robert Tice 2018-07-10 15:36:19 -04:00
• f0952d71fc Merge branch 'master' into topic/editorial_changes/todos Robert Tice 2018-07-10 15:31:57 -04:00
• e1116f9aca Merge pull request #46 from gusthoff/topic/editorial_changes/ada_role Robert Tice 2018-07-10 15:27:44 -04:00
• 4f285bc325 Merge pull request #50 from gusthoff/topic/editorial_changes/src_code Robert Tice 2018-07-10 15:27:09 -04:00
• 9eadb60897 Adding ability to remove google analystics tagging if AdaCore_staff cookie is present. Robert Tice 2018-07-10 13:34:21 -04:00
• ed589870e1 Adding nitpicky mode to test all references for valid target. Robert Tice 2018-07-09 13:52:33 -04:00
• 84b2e69b00 Style fix for content descriptions. Robert Tice 2018-07-09 13:34:22 -04:00
• 7170a245d3 Removing class on descriptions pulled from other pages when they get put into the carousel to avoid css changes effecting layout. Robert Tice 2018-07-09 13:32:46 -04:00
• 34977b8325 Splitting Ada for C++ book up into chapters. Adding javascript to get course descriptions on the fly. Robert Tice 2018-07-09 12:57:38 -04:00
• f0134b9f6b Removing fork me on github banner and adding edit on Github link. Robert Tice 2018-07-09 10:49:18 -04:00
• 8896c27485 Integrating design changes. Robert Tice 2018-07-09 09:23:15 -04:00
• 934578ff27 Use more complex example code on first page, with Run button too Yannick Moy 2018-07-09 11:53:25 +02:00
• 8c1b53ba6a Editorial change: removed empty subsection gusthoff 2018-07-07 00:44:56 +02:00
• e579152ad0 Added delta to get rid of warning about high bound gusthoff 2018-07-07 00:44:16 +02:00
• 6449f9f861 Editorial change: added missing class gusthoff 2018-07-07 00:43:19 +02:00
• bd516144a0 Editorial change: added missing newline gusthoff 2018-07-07 00:42:32 +02:00
• 5293b0d4b8 Editorial change: corrected table formatting gusthoff 2018-07-07 00:41:48 +02:00
• 70d1d4a75f Replaced comment by TODO item gusthoff 2018-07-07 00:29:12 +02:00
• 0bcc7427e6 Editorial change: added missing link gusthoff 2018-07-07 00:26:37 +02:00
• c536551ff2 Editorial change: replaced missing link by TODO item gusthoff 2018-07-07 00:25:02 +02:00
• 0c0fffd70f Editorial change: removed link to "attributes" gusthoff 2018-07-07 00:18:08 +02:00
• aeec74c93d Editorial change: added link to SPARK course gusthoff 2018-07-07 00:15:57 +02:00
• de06023642 Editorial change: replaced paragraphs by TODO item gusthoff 2018-07-07 00:12:52 +02:00
• c8aafe8d09 Editorial changes: added missing reference gusthoff 2018-07-07 00:02:36 +02:00
• f58c3d09fe Editorial changes: added missing references gusthoff 2018-07-06 23:57:25 +02:00
• 8f1417e870 Correcting the community download image on the index page to the correct link. Robert Tice 2018-07-06 15:14:17 -04:00
• c61b22e736 Integrating css changes. Robert Tice 2018-07-06 15:09:43 -04:00
• 3fcfcc224f Editorial change: corrected newlines. gusthoff 2018-07-06 20:19:21 +02:00
• 3cb47a894a Editorial change: added Ada role gusthoff 2018-07-06 20:05:52 +02:00
• 2a611284cc Initial commit of chapter on test and proof gusthoff 2018-07-06 17:59:57 +02:00
• 0d810cc83a Removing old theme and renaming new theme to base naming convention. Robert Tice 2018-07-06 11:59:47 -04:00
• c2d73a4cf7 Adding a carousel to show course on index page. Adding about page. Rearranging index page. Robert Tice 2018-07-06 11:55:40 -04:00
• dc62405b9e Editorial change: corrected title gusthoff 2018-07-06 17:34:46 +02:00
• dc32044e5f Initial commit of chapter on ghost code gusthoff 2018-07-06 17:34:14 +02:00
• 223e1d3395 Merge pull request #47 from yannickmoy/master yannickmoy 2018-07-06 16:44:23 +02:00
• fb00c66d01 TOC: correct max. depth gusthoff 2018-07-06 16:43:45 +02:00
• 971bd6d4e1 Initial commit of chapter on object-oriented programming gusthoff 2018-07-06 16:21:47 +02:00
• c528151da7 Initial commit of chapter on concurrency gusthoff 2018-07-06 15:44:51 +02:00
• be4b1ff7ce Fix minor issues of missing proof action and capitalization Yannick Moy 2018-07-06 14:54:17 +02:00
• 39dbb340fb Initial commit of chapter on systems programming gusthoff 2018-07-06 14:14:29 +02:00
• 9cb17104b8 ReST: added language-related roles gusthoff 2018-07-05 22:30:20 +02:00
• aa39177a7b Fixing jquery conflict which was causing the search mechanism to fail. Robert Tice 2018-07-05 13:38:52 -04:00
• 0e47a8e32f Merge pull request #45 from AdaCore/topic/sphinx_theme Nicolas Setton 2018-07-05 13:02:25 -04:00
• 5049231e2d Fixing font issue by including fonts in the build. Replacing condensed theme css with uncompiled one for editing. Adding cc image to footer. Adding mwac banner to index. Changing gnat community download button to the new orange themed one. Robert Tice 2018-07-05 12:44:27 -04:00
• 1443256ed9 Adding google analytics tracking code to layout. Robert Tice 2018-07-05 10:39:02 -04:00
• 1219f2fb2a Merge pull request #44 from AdaCore/topic/sphinx_theme Nicolas Setton 2018-07-03 15:47:49 -04:00
• 6c619f7b58 Fixing css for mobile. Robert Tice 2018-07-03 15:19:51 -04:00
• 9f4d1600f0 Fixing css layout on index page. Robert Tice 2018-07-03 14:27:31 -04:00