|
inf_scroll.js
|
backward line buffer
|
2026-06-07 16:11:52 +02:00 |
|
ordinal_game.js
|
bug fixes
|
2026-06-06 21:14:13 +02:00 |
|
ordinal_search.html
|
first mobile version
|
2026-06-06 18:24:33 +02:00 |
|
ordinal_tree.js
|
bug fixes
|
2026-06-06 21:14:13 +02:00 |
|
ordinal_tree_mobile.js
|
backward line buffer
|
2026-06-07 16:11:52 +02:00 |
|
ordinaly-m.html
|
mobile settings
|
2026-06-06 23:15:51 +02:00 |
|
ordinaly.html
|
first mobile version
|
2026-06-06 18:24:33 +02:00 |
|
psi.js
|
further gen. veblen fix
|
2025-04-11 20:04:02 +01:00 |
|
README.md
|
first commit
|
2025-04-01 15:45:20 +01:00 |
|
style.css
|
unfold / fold effect
|
2026-06-06 16:04:23 +02:00 |
|
style_mobile.css
|
mobile settings
|
2026-06-06 23:15:51 +02:00 |
|
three_columns.html
|
first mobile version
|
2026-06-06 18:24:33 +02:00 |
