mirror of
https://github.com/AdaCore/learn.git
synced 2026-02-12 13:00:42 -08:00
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
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
-
4923daf1a6
Remove unnecessary files
Michael Frank
2024-04-04 18:05:23 -04:00 -
897800a6bf
Merge branch 'master' into updates_for_blog_post
Michael Frank
2024-04-04 17:25:44 -04:00 -
28253533df
Create README.md, add script to local directory
Michael Frank
2024-04-04 15:59:34 -04:00 -
63315a61ed
Add files to allow standalone build of coding standards
Michael Frank
2024-04-04 15:09:44 -04:00 -
1d031940b5
Bump pillow from 10.2.0 to 10.3.0 in /frontend
dependabot[bot]
2024-04-03 16:27:38 +00:00 -
527c85bb48
Merge pull request #1023 from gusthoff/topic/infrastructure/yarn/updates/20240330
Gustavo A. Hoffmann
2024-03-30 03:14:39 +01:00 -
b5d4153f53
Merge pull request #1022 from gusthoff/topic/infrastructure/sphinx/updates/20240330
Gustavo A. Hoffmann
2024-03-30 03:14:32 +01:00 -
f411792ef2
Frontend: upgrading yarn packages
gusthoff
2024-03-30 01:13:05 +01:00 -
cbf1960a7a
Python: updating some packages
gusthoff
2024-03-30 00:57:16 +01:00 -
c96c0e9d2c
Move python script and README
Michael Frank
2024-03-29 16:13:10 -04:00 -
d77ccf6178
Python script to generate a rules file from the RST files
Michael Frank
2024-03-29 11:27:44 -04:00 -
f8a599bc29
Merge pull request #1018 from gusthoff/content/advanced_ada/new_content/controlled_types/assignment/20240322
Gustavo A. Hoffmann
2024-03-29 15:43:53 +01:00 -
f6d4a8221b
Mentioning reason for adjustment of subcomponents
gusthoff
2024-03-29 13:36:31 +01:00 -
da7afd29e2
Mentioning bit-wise copy of objects again
gusthoff
2024-03-29 13:32:43 +01:00 -
efaa2436a1
Adding paragraph about deep copy
gusthoff
2024-03-29 13:31:58 +01:00 -
375b7c3f50
Minor editorial change
gusthoff
2024-03-29 13:31:24 +01:00 -
b0bbf8182a
Adding comment about bit-wise copy for assignments
gusthoff
2024-03-29 13:30:37 +01:00 -
868a2f9f77
Bump express from 4.18.1 to 4.19.2 in /frontend
dependabot[bot]
2024-03-28 10:58:20 +00:00 -
a8991fe822
Adding section on assignment of controlled types
gusthoff
2024-03-23 02:07:45 +01:00 -
7480364cfa
Editorial changes: fixing anchors
gusthoff
2024-03-23 02:07:07 +01:00 -
c34ee901a4
Merge pull request #1017 from gusthoff/content/advanced_ada/review/editorial/controlled_types/20240321
Gustavo A. Hoffmann
2024-03-22 13:50:01 +01:00 -
1f3ead5c99
Merge pull request #1016 from AdaCore/dependabot/npm_and_yarn/frontend/webpack-dev-middleware-7.1.1
Gustavo A. Hoffmann
2024-03-22 13:41:34 +01:00 -
52f9cd0bb7
Merge pull request #1014 from AdaCore/dependabot/npm_and_yarn/frontend/follow-redirects-1.15.6
Gustavo A. Hoffmann
2024-03-22 13:41:27 +01:00 -
8120177a70
Merge pull request #1006 from AdaCore/dependabot/npm_and_yarn/frontend/es5-ext-0.10.63
Gustavo A. Hoffmann
2024-03-22 13:41:19 +01:00 -
3bb8c6d529
Editorial change: adding anchor
gusthoff
2024-03-22 13:17:23 +01:00 -
5698e3a7c9
Editorial change: improving code style
gusthoff
2024-03-22 13:17:08 +01:00 -
56ecbc75cd
Editorial change: minor typo correction in diagram
gusthoff
2024-03-22 13:16:25 +01:00 -
7f7a5eda3b
Merge pull request #1015 from AdaCore/front-page-ebook-layout
Gustavo A. Hoffmann
2024-03-22 11:50:00 +01:00 -
edf7aa950c
Bump webpack-dev-middleware from 7.0.0 to 7.1.1 in /frontend
dependabot[bot]
2024-03-21 19:03:31 +00:00 -
a3b313fac9
Use a more compact layout for the front page ebook covers
front-page-ebook-layout
Fabien Chouteau
2024-03-19 17:20:50 +01:00 -
794b8b884d
Bump follow-redirects from 1.15.4 to 1.15.6 in /frontend
dependabot[bot]
2024-03-16 23:21:49 +00:00 -
d42f3a742c
Merge pull request #1013 from gusthoff/content/advanced_ada/review/editorial/controlled_types/20240316
Gustavo A. Hoffmann
2024-03-16 01:20:21 +01:00 -
e57140ec59
Converting type of UML diagrams
gusthoff
2024-03-16 00:58:10 +01:00 -
63e7b08a40
Editorial change: adding part indication into project name
gusthoff
2024-03-16 00:54:40 +01:00 -
746eb8b441
Merge pull request #1012 from gusthoff/content/advanced_ada/new_content/controlled_types/initialization/20240209
Gustavo A. Hoffmann
2024-03-15 17:26:31 +01:00 -
6eee68bb32
Adding UML sequence diagrams
gusthoff
2024-03-15 15:51:40 +01:00 -
702b4c2b50
Correcting statement about initialization
gusthoff
2024-03-15 15:43:00 +01:00 -
a0005de42c
Adding function to better show task activation
gusthoff
2024-03-15 15:42:09 +01:00 -
1190df8063
Editorial change: fixing code style
gusthoff
2024-03-15 15:41:14 +01:00 -
a6909421fc
Merge pull request #1011 from gusthoff/content/advanced_ada/new_content/records/per_object_expressions/20240308
Gustavo A. Hoffmann
2024-03-11 22:43:31 +01:00 -
69968e7adc
Adding section on initialization of controlled types
gusthoff
2024-03-09 02:25:39 +01:00 -
7964706ca8
Editorial changes: fixing code style
gusthoff
2024-03-08 15:53:45 +01:00 -
ae3d709756
Editorial change: converting to actual section header
gusthoff
2024-03-08 15:13:01 +01:00 -
d76819378d
Adding section on per-object expressions
gusthoff
2024-03-08 15:13:20 +01:00 -
520304d1ae
Editorial change: converting to actual section header
gusthoff
2024-03-08 15:13:01 +01:00 -
17e13aa412
Merge pull request #1010 from AdaCore/update_training_logo
Gustavo A. Hoffmann
2024-03-06 23:56:44 +01:00 -
93eced8d86
Update logo and title for AdaCore training
update_training_logo
Fabien Chouteau
2024-03-05 17:29:43 +01:00 -
848aef68dc
Merge pull request #1009 from gusthoff/content/advanced_ada/review/editorial/records/20240301
Gustavo A. Hoffmann
2024-03-02 01:56:57 +01:00 -
a75d6bf2f7
Editorial change: updating project name of source-code examples
gusthoff
2024-03-02 01:25:48 +01:00 -
df1a19e7d7
Merge pull request #1008 from gusthoff/content/advanced_ada/review/editorial/records/20240301
Gustavo A. Hoffmann
2024-03-02 01:01:04 +01:00 -
e2b01adf53
Adding todo item: new section on per-object expressions
gusthoff
2024-03-02 00:26:29 +01:00 -
acc5dcbada
Editorial change: adding reference to previous section
gusthoff
2024-03-01 21:21:21 +01:00 -
9291360da3
Editorial change: updating contents after moving section
gusthoff
2024-03-01 21:20:47 +01:00 -
bbd1156f7e
Editorial change: introducing chapter on record types
gusthoff
2024-03-01 21:11:08 +01:00 -
ada7aa0a0b
Merge pull request #1007 from gusthoff/content/advanced_ada/review/strings/put_image_aspect/20240301
Gustavo A. Hoffmann
2024-03-01 14:48:57 +01:00 -
28b3726138
Adding default initialization for record components
gusthoff
2024-03-01 13:41:50 +01:00 -
d685fe602c
Merge pull request #1004 from pat-rogers/master
Gustavo A. Hoffmann
2024-03-01 12:39:06 +01:00 -
f370b324a3
Editorial change: fixing typo
gusthoff
2024-03-01 12:37:12 +01:00 -
783765796d
Insert important missing word, and polish wording throughout.
Pat Rogers
2024-02-25 14:06:40 -06:00 -
04f4d7c797
Merge pull request #994 from gusthoff/content/advanced_ada/new_content/access_types/mutually_dependent_types/20240202
Gustavo A. Hoffmann
2024-02-27 21:42:09 +01:00 -
1ff63da7c3
Bump es5-ext from 0.10.53 to 0.10.63 in /frontend
dependabot[bot]
2024-02-27 03:55:49 +00:00 -
9df5a4c70a
Merge pull request #1005 from gusthoff/content/ada_idioms/new_section/controlling_obj_initialization_creation/20240216
Gustavo A. Hoffmann
2024-02-27 00:01:03 +01:00 -
7f426ee935
Editorial change: correcting reference
gusthoff
2024-02-26 23:59:35 +01:00 -
61cb1b1c05
Merge pull request #997 from gusthoff/content/ada_idioms/new_section/controlling_obj_initialization_creation/20240216
Gustavo A. Hoffmann
2024-02-26 23:39:02 +01:00 -
a0b298a130
Small improvement
gusthoff
2024-02-25 13:52:24 +01:00 -
ad5d7b9324
Recap subsection / example
gusthoff
2024-02-25 13:14:11 +01:00 -
140b39e19a
Multiple small improvements and corrections
gusthoff
2024-02-25 13:13:07 +01:00 -
5d39fd141d
Adding chapter: "Controlling Object Initialization and Creation"
gusthoff
2024-02-26 23:38:09 +01:00 -
d2efbfd0c5
Merge pull request #996 from gusthoff/content/advanced_ada/new_content/controlled_types/overview/20240209
Gustavo A. Hoffmann
2024-02-26 23:33:55 +01:00 -
0b6c2363d7
Merge pull request #995 from gusthoff/content/advanced_ada/review/access_types/design_strategies/20240202
Gustavo A. Hoffmann
2024-02-26 23:33:46 +01:00 -
e24d985ea3
Merge pull request #1003 from gusthoff/topic/infrastructure/sphinx/structure/20240225/Makefile_help
r2024.02.25
Gustavo A. Hoffmann
2024-02-25 20:33:41 +01:00 -
32eb973bb8
Makefile: minor editorial changes
gusthoff
2024-02-25 19:41:37 +01:00 -
98d71d4b2e
Makefile: moving target to "general tests" group
gusthoff
2024-02-25 19:36:59 +01:00 -
c321bc0979
Makefile: improving help messages
gusthoff
2024-02-25 19:29:53 +01:00 -
25d2290b71
Merge pull request #1002 from gusthoff/topic/infrastructure/sphinx/updates/20240225
Gustavo A. Hoffmann
2024-02-25 18:37:13 +01:00 -
11cfaf6be5
Python: updating some packages
gusthoff
2024-02-25 18:16:40 +01:00 -
02b585e436
Merge pull request #999 from AdaCore/dependabot/npm_and_yarn/frontend/ip-1.1.9
Gustavo A. Hoffmann
2024-02-25 18:15:00 +01:00 -
785564e242
Bump ip from 1.1.5 to 1.1.9 in /frontend
dependabot[bot]
2024-02-25 17:12:21 +00:00 -
34b8b8c42e
Merge pull request #1001 from gusthoff/topic/infrastructure/yarn/updates/20240225
Gustavo A. Hoffmann
2024-02-25 18:11:29 +01:00 -
792db51cfa
Frontend: updating TS configuration
gusthoff
2024-02-25 17:48:19 +01:00 -
8c3e65596a
Frontend: upgrading yarn packages
gusthoff
2024-02-25 17:35:29 +01:00 -
d589899e3a
Merge pull request #1000 from gusthoff/content/ada_idioms/review/editorial/structure/20240225
Gustavo A. Hoffmann
2024-02-25 15:02:29 +01:00 -
e44ccc8b1e
Rename file
gusthoff
2024-02-25 15:01:45 +01:00 -
8ecb738ef7
Merge pull request #998 from pat-rogers/master
Gustavo A. Hoffmann
2024-02-25 14:23:41 +01:00 -
99232255d8
Elaborating on default initialization
gusthoff
2024-02-25 14:17:55 +01:00 -
aec467f1ef
Small improvements
gusthoff
2024-02-25 14:17:34 +01:00 -
525ff7d68b
Add example (fragment) for making types explicitly, immutably limited. Revise paragraph describing the interrupt handler's illustration of using the back-reference. Cleanup the Notes section.
Pat Rogers
2024-02-18 17:26:46 -06:00 -
f459f12005
Change title and motivation summary to state that this is about ADTs, not just type extensions
Pat Rogers
2024-02-18 17:02:09 -06:00 -
4adc940334
Editorial change: adding ARM-related admonition
gusthoff
2024-02-10 18:22:25 -03:00 -
1d5408205d
Editorial change: moving paragraph to admonition
gusthoff
2024-02-10 18:14:05 -03:00 -
7d43ef8715
Editorial change: using better terminology
gusthoff
2024-02-10 18:11:10 -03:00 -
c1545e4a0e
Adding overview section on controlled types
gusthoff
2024-02-09 19:19:13 -03:00 -
a3fa65b7d4
Editorial changes: adding comments to code example
gusthoff
2024-02-02 22:19:26 -03:00 -
9e2a2034e0
Simplifying code example
gusthoff
2024-02-02 22:05:06 -03:00 -
b642b17cdf
Fixing code example for access types and limited controlled types
gusthoff
2024-02-02 21:57:37 -03:00 -
a3fa83f3c4
Adding section on mutually dependent types using access types
gusthoff
2024-02-02 20:19:38 -03:00 -
98f0cbd1ed
Merge pull request #993 from gusthoff/content/advanced_ada/review/editorial/access_types/20240202
Gustavo A. Hoffmann
2024-02-03 00:15:27 +01:00 -
55f02e0a33
Editorial changes: correcting project name in code examples
gusthoff
2024-02-02 19:48:09 -03:00 -
71d0f22b00
Editorial change: reducing number of workers
gusthoff
2024-02-02 19:45:15 -03:00 -
2548ea3f08
Merge pull request #992 from gusthoff/content/advanced_ada/review/editorial/structure/20240202
Gustavo A. Hoffmann
2024-02-02 21:37:41 +01:00