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

• 969daa78b6 mobi books: slightly decreasing font size of inlined code gusthoff 2021-11-19 23:53:10 +01:00
• 0a89ca49ad GitHub actions: replacing azw3 by mobi target gusthoff 2021-11-19 23:51:15 +01:00
• e7161bb992 Makefile: adding "all_books" target for all PDF/EPUB/MOBI books gusthoff 2021-11-19 23:50:36 +01:00
• 05e23c22b2 Makefile: replacing azw3 target by mobi target gusthoff 2021-11-19 23:49:24 +01:00
• 972cdd720f Sphinx: showing URLs in EPUB format as footnote gusthoff 2021-11-19 23:46:37 +01:00
• 738d8a71f8 Sphinx: only include cover page for EPUB target if available gusthoff 2021-11-19 23:45:48 +01:00
• 1d20e52ae7 Sphinx: fixing issue in list of authors for EPUB gusthoff 2021-11-19 23:44:57 +01:00
• 6a38d639d7 Sphinx: updating metadata info for EPUB target gusthoff 2021-11-19 23:43:52 +01:00
• d243df3603 Merge pull request #644 from gusthoff/intro_to_ada/review/epub_formatting/20211119 Gustavo A. Hoffmann 2021-11-19 23:40:42 +01:00
• 46ded36022 Editorial changes: using Sphinx Ada role gusthoff 2021-11-19 22:13:52 +01:00
• 14c1426203 Editorial changes: adapting source-code examples to better fit EPUB format gusthoff 2021-11-19 22:12:46 +01:00
• 4470c6a62a Editorial change: converting code blocks to code snippets using widget gusthoff 2021-11-19 22:05:20 +01:00
• ad9526cd3e Editorial change: adapting table for EPUB format gusthoff 2021-11-19 22:03:49 +01:00
• a6d95fc449 Merge pull request #643 from gusthoff/topic/infrastructure/sphinx/epub_books/20211114 Gustavo A. Hoffmann 2021-11-19 10:14:04 +01:00
• 7056cdd5d8 epub books: improving colors in code example for dark mode gusthoff 2021-11-14 21:20:24 +01:00
• 78658091aa epub books: using transparent background colors gusthoff 2021-11-14 21:19:39 +01:00
• 278dd9afe2 epub books: adding border to admonitions gusthoff 2021-11-14 21:18:23 +01:00
• a447ef1436 Editorial change: deactivating check for code example gusthoff 2021-11-12 20:34:12 +01:00
• 905a02a6b9 Editorial changes: correcting project for code snippet gusthoff 2021-11-12 19:58:00 +01:00
• b60c0237f7 Various editorial improvements gusthoff 2021-11-12 19:29:47 +01:00
• e4b4034fa9 Adding section on quantified expressions gusthoff 2021-11-12 18:59:54 +01:00
• d9867c3ad8 Adding section on conditional expressions gusthoff 2021-11-12 18:58:53 +01:00
• 28274a7107 Adding section on expression functions gusthoff 2021-11-12 18:58:28 +01:00
• 1d2762c595 Merge pull request #641 from pat-rogers/master Gustavo A. Hoffmann 2021-11-05 14:42:28 +01:00
• 9eee3f68bb Various editorial changes Gustavo A. Hoffmann 2021-11-05 14:26:07 +01:00
• b2f7f71052 Editorial change: correcting language for syntax highlighting Gustavo A. Hoffmann 2021-11-05 13:29:54 +01:00
• 9941a8ce39 Editorial change: correcting ellipsis Gustavo A. Hoffmann 2021-11-05 13:20:31 +01:00
• 4b52214d1a Editorial change: correcting apostrophe Gustavo A. Hoffmann 2021-11-05 12:55:33 +01:00
• f93fd36809 Editorial change: correcting minus character Gustavo A. Hoffmann 2021-11-05 12:52:15 +01:00
• cef5d08e65 Editorial change: deactivating Ada syntax highlighting for code-block Gustavo A. Hoffmann 2021-11-05 11:52:01 +01:00
• b4e14803fc Fix issues from a2c2 team for ada_2022 articles. Maxim Reznik 2021-11-03 18:24:24 +02:00
• e45ab52aaf word smithing etc rogers 2021-11-04 15:31:51 -05:00
• c25722eb3c better intro import and export add note about imported objects and default init fix mistake in example imported function with unconstrained array arg rogers 2021-11-04 12:19:46 -05:00
• 85e437158d Merge branch 'master' of https://github.com/pat-rogers/learn rogers 2021-11-04 10:10:39 -05:00
• 9b8fc4d24e fix subtitles' formatting rogers 2021-11-04 10:10:20 -05:00
• d42375a930 correct name for image rogers 2021-11-04 10:06:32 -05:00
• 3f5355d176 Merge branch 'AdaCore:master' into master Pat Rogers 2021-11-03 16:59:13 -05:00
• 39fc170ab7 new section content rogers 2021-11-03 16:57:39 -05:00
• 4b9b2a3605 GitHub actions: freezing Python version gusthoff 2021-10-24 21:12:03 +02:00
• 61aa1cd039 Editorial change: correcting code style gusthoff 2021-10-29 20:02:59 +02:00
• af05c34c92 Editorial change: minor correction gusthoff 2021-10-29 19:28:43 +02:00
• 330d676866 Editorial change: corrected attribute in todo item gusthoff 2021-10-29 19:15:12 +02:00
• 7d9de9f052 Minor editorial changes gusthoff 2021-10-29 19:04:06 +02:00
• 73134e878f Adding example of binary fixed-point type with pow-10 delta gusthoff 2021-10-29 19:03:38 +02:00
• 9a7488732f Editorial change: adding separating line gusthoff 2021-10-29 18:56:53 +02:00
• 68ac5c6612 Removing deprecated section gusthoff 2021-10-29 18:07:11 +02:00
• 3ea6a0c793 Editorial change: removing todo items gusthoff 2021-10-29 18:06:07 +02:00
• 84b9404955 Adding short introductory paragraph gusthoff 2021-10-29 18:04:19 +02:00
• 36df8811ae Minor editorial change gusthoff 2021-10-29 18:03:59 +02:00
• 0457684523 Adding subsection about attributes/operations of fixed-point types gusthoff 2021-10-29 18:03:47 +02:00
• 8d7319fa1d GitHub actions: freezing Python version gusthoff 2021-10-24 21:12:03 +02:00
• b19e4be6e5 Adding section on attributes of fixed-point types gusthoff 2021-10-24 21:05:51 +02:00
• e9c68209e2 Adding section on Digits attribute gusthoff 2021-10-24 20:20:47 +02:00
• bae4348aec Adding todo items gusthoff 2021-10-24 20:11:02 +02:00
• bd58cd956d Adding explanation about source-code examples gusthoff 2021-10-24 20:10:44 +02:00
• ddd086b801 Minor improvements to source-code examples gusthoff 2021-10-24 20:08:00 +02:00
• 7e05d6ae55 Editorial change: removing incorrect Sphinx class gusthoff 2021-10-24 20:07:03 +02:00
• 53d326d0c5 Editorial change: improving subsection title gusthoff 2021-10-24 20:05:32 +02:00
• 87810c32fd Adding source-code examples for attributes of floating-point types gusthoff 2021-10-16 02:30:09 +02:00
• a0219fa8f5 Editorial change: reordering sections gusthoff 2021-10-16 02:23:39 +02:00
• 713307d65d Sphinx: using parts in PDF book of Advanced Ada course gusthoff 2021-10-15 17:58:46 +02:00
• 2193277e50 Sphinx: adding support for parts in PDF books gusthoff 2021-10-15 17:57:55 +02:00
• b352d80d02 Editorial change: converting chapters to parts in PDF books gusthoff 2021-10-15 17:57:08 +02:00
• f6671cb6c1 Reverting change Gustavo A. Hoffmann 2021-10-15 18:31:17 +02:00
• d49e1627ff Update content/courses/intro-to-spark/chapters/05_Proof_Of_Functional_Correctness.rst filip-gajowniczek-adacore 2021-07-12 12:51:48 -05:00
• ff00f8b52a Update 05_Proof_Of_Functional_Correctness.rst filip-gajowniczek-adacore 2021-07-09 16:42:42 -05:00
• bdfccab26d Update 04_State_Abstraction.rst filip-gajowniczek-adacore 2021-07-09 16:40:46 -05:00
• 40f3fcf058 Comments/fixes for 05_Proof_of_Functional_Correctness.rst Filip Gajowniczek 2021-07-08 14:55:25 -05:00
• 505120c575 04_State_Abstraction.rst review Filip Gajowniczek 2021-07-08 13:02:47 -05:00
• 4821b092ef Addressing minor issues in 03_Proof_of_Program_Integrity.rst gusthoff 2021-10-15 18:38:23 +02:00
• 6e81a9a9ae Minor fix in 02_Flow_analysis.rst Filip Gajowniczek 2021-07-07 16:13:04 -05:00
• 3415f79271 Reverting change filip-review Gustavo A. Hoffmann 2021-10-15 18:31:17 +02:00
• d9bcc7fccd Update content/courses/intro-to-spark/chapters/05_Proof_Of_Functional_Correctness.rst filip-gajowniczek-adacore 2021-07-12 12:51:48 -05:00
• 57544df403 Update 05_Proof_Of_Functional_Correctness.rst filip-gajowniczek-adacore 2021-07-09 16:42:42 -05:00
• 4ec2dbfa09 Update 04_State_Abstraction.rst filip-gajowniczek-adacore 2021-07-09 16:40:46 -05:00
• ab4838afc6 Comments/fixes for 05_Proof_of_Functional_Correctness.rst Filip Gajowniczek 2021-07-08 14:55:25 -05:00
• 09f5114891 04_State_Abstraction.rst review Filip Gajowniczek 2021-07-08 13:02:47 -05:00
• 74e08843dd Addressing minor issues in 03_Proof_of_Program_Integrity.rst gusthoff 2021-10-15 18:38:23 +02:00
• c989353d53 Minor fix in 02_Flow_analysis.rst Filip Gajowniczek 2021-07-07 16:13:04 -05:00
• bf89f7ab2b Fix issues from the review Maxim Reznik 2021-10-02 15:29:41 +03:00
• 8c52852105 Add articles from ada-howto repo Maxim Reznik 2021-09-24 16:15:54 +03:00
• bd52259c2b GitHub actions: setting version of Calibre installation gusthoff 2021-10-10 15:58:47 +02:00
• b821d87541 Vagrant: updating version of Calibre gusthoff 2021-10-10 15:57:54 +02:00
• e2503ee2ff Sphinx: adding function to retrieve file from relative path gusthoff 2021-10-10 15:45:42 +02:00
• 0dbb94d6d8 Makefile: removing obsolete copy of cover page gusthoff 2021-10-10 15:32:09 +02:00
• 926b092cf0 Sphinx: introducing support for conf.ini file gusthoff 2021-10-10 14:20:16 +02:00
• 23e9c7ce9f Makefile: introducing support for conf.ini file gusthoff 2021-10-10 14:18:33 +02:00
• 0affc6c6bb Sphinx: converting configuration files to INI format gusthoff 2021-10-10 14:15:57 +02:00
• 060b9e5019 Editorial change: replacing math role by alternative representation gusthoff 2021-10-08 11:32:24 +02:00
• 8e89f1d0e2 Editorial change: correcting math term gusthoff 2021-09-25 01:01:09 +02:00
• f6f29fe513 Editorial change: fixing line length in code example gusthoff 2021-09-24 16:39:24 +02:00
• e840768cdc Minor editorial change gusthoff 2021-09-24 16:16:31 +02:00
• 919c6dab73 Minor editorial change gusthoff 2021-09-24 16:14:40 +02:00
• b180723d11 Minor editorial change gusthoff 2021-09-24 16:13:29 +02:00
• 7c5a254651 Editorial change: removing source-code block gusthoff 2021-09-24 16:10:01 +02:00
• 512ad31a10 Replacing code blocks by complete source-code examples gusthoff 2021-09-24 16:09:02 +02:00
• 8fdcb282b0 Editorial change: splitting lines gusthoff 2021-09-24 16:06:42 +02:00
• 43557520d2 Minor editorial change gusthoff 2021-09-24 16:00:14 +02:00
• 4e1be33b69 Editorial change: simplifying paragraph gusthoff 2021-09-24 15:57:35 +02:00
• 1b99062109 Editorial change: adding link to section on representation clauses gusthoff 2021-09-24 15:36:39 +02:00