Skip to content

Commit c070377

Browse files
authored
Update README.txt
1 parent e2e5cf8 commit c070377

File tree

1 file changed

+9
-8
lines changed
  • OldVersions/SNU_2D_ProgrammingTools_REPOLIST/!OldVersions/1

1 file changed

+9
-8
lines changed

OldVersions/SNU_2D_ProgrammingTools_REPOLIST/!OldVersions/1/README.txt

Lines changed: 9 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
//// SNU_2D_ProgrammingTools_REPOLIST.urll
33
//// https://github.com/seanpm2001/URLL-Specification
44
//// A list of all SNU Programming Tools repositories by @seanpm2001
5-
//// As of 2025, Tuesday, June 24th
5+
//// As of 2025, Wednesday, June 25th
66

77
//// ----------------------------------------------------- \\\\
88

@@ -41,7 +41,7 @@ https://github.com/seanpm2001/Template_SNU_2D_ProgrammingTools_V7
4141

4242
//// ----------------------------------------------------- \\\\
4343

44-
//// IDE repositories (962)
44+
//// IDE repositories (963)
4545

4646
//// Note: some duplicates are present. Community: Find duplicates, and get rewards (stars, follows, code review, etc.)
4747

@@ -1007,10 +1007,11 @@ https://github.com/seanpm2001/SNU_2D_ProgrammingTools_IDE_TL-Verilog
10071007
https://github.com/seanpm2001/SNU_2D_ProgrammingTools_IDE_TI Program
10081008
https://github.com/seanpm2001/SNU_2D_ProgrammingTools_IDE_RON
10091009
https://github.com/seanpm2001/SNU_2D_ProgrammingTools_IDE_Rocq-Prover
1010+
https://github.com/seanpm2001/SNU_2D_ProgrammingTools_IDE_Record-Jar
10101011

1011-
//// Repo count: 977
1012+
//// Repo count: 978
10121013

1013-
//// 1+9+1+4+962=977
1014+
//// 1+9+1+4+963=978
10141015

10151016
//// ----------------------------------------------------- \\\\
10161017

@@ -1025,16 +1026,16 @@ https://github.com/seanpm2001/Seanpm2001-Learn
10251026

10261027
//// ----------------------------------------------------- \\\\
10271028

1028-
//// Total repo count: 982 (not including Learn repositories out of the 6 scope, as this would raise the count above 1,000, and wouldn't be necessary)
1029+
//// Total repo count: 984 (not including Learn repositories out of the 6 scope, as this would raise the count above 1,000, and wouldn't be necessary)
10291030

1030-
//// 976+6=982
1031+
//// 978+6=984
10311032

10321033
//// ----------------------------------------------------- \\\\
10331034

10341035
//// File info
10351036
//// File type: URLL v3 list file (*.urll)
1036-
//// File version: 181 (2025, Tuesday, June 24th at 07:47 pm PST)
1037-
//// Line count (including blank lines and compiler line): 1,042
1037+
//// File version: 182 (2025, Wednesday, June 25th at 08:45 pm PST)
1038+
//// Line count (including blank lines and compiler line): 1,043
10381039

10391040
//// ----------------------------------------------------- \\\\
10401041

0 commit comments

Comments
 (0)