crc
|
0c2ce89973
|
add f:min f:max f:limit f:between? f:inc f:dec
FossilOrigin-Name: aa70ea4e2b3916c4511d69ace5a30b5342e446f952d14a4e0c0f886cc6102886
|
2019-01-28 14:38:15 +00:00 |
|
crc
|
fbe3cc5b44
|
add f:rot
FossilOrigin-Name: ed799c19416aa4efe3a44862f75cea2c72de17cf3916a5d69efdec86be2ea875
|
2019-01-28 14:20:06 +00:00 |
|
crc
|
079c477f1e
|
add f:nip f:tuck f:dup-pair f:drop-pair, better f:tuck f:over
FossilOrigin-Name: eb5fcbb855e308d3de265cf227469ffa91264a7eb65ebef65f5865a5e45387da
|
2019-01-28 14:11:09 +00:00 |
|
crc
|
a75948d196
|
glossary: (hopefully) finished w/HTML generation
FossilOrigin-Name: 65e9232099f4344c0601d6367a6555e0a99ad115b3799f08a240e984a22742a0
|
2019-01-23 20:37:39 +00:00 |
|
crc
|
4204f98bcf
|
glossary: start cleanup of html generation
FossilOrigin-Name: 0a12cecbea1c42f9133f76f7cf8b8d2c4ffade4700d1732f518d9810fe7dd93f
|
2019-01-23 20:29:23 +00:00 |
|
crc
|
6556943900
|
glossary: fix a typo
FossilOrigin-Name: a4364522f78fabce63679ecfc454d1155c5c41914e19ce8dce7ab03f0ce45bd4
|
2019-01-23 20:14:57 +00:00 |
|
crc
|
d2e1ac67ec
|
glossary: more formatting tweaks in html output
FossilOrigin-Name: ca3c04f89764fa069c4e476c32fc1561ee7a1411006c99f84a10fab4528cb91f
|
2019-01-23 20:12:56 +00:00 |
|
crc
|
f22fc42474
|
glossary: some formatting tweaks in html output
FossilOrigin-Name: 2f581cd6fe49b365894579555f22c3963ee01c004ce363d6bef9ba0c55a6a7b5
|
2019-01-23 20:08:17 +00:00 |
|
crc
|
1c6f5607b8
|
fill in some missing details on f: and u: words
FossilOrigin-Name: 72309d3fb38a0f1d888369ce2daa2fa05733ecd788bf6afdd38656cf025b7897
|
2019-01-23 19:13:01 +00:00 |
|
crc
|
f6c17e7150
|
glossary: forgot to close tags
FossilOrigin-Name: 2c1f5b485f4bfbbb12de854583841fe6fc3c703289bdc2ff409e41e6bdb57528
|
2019-01-23 18:43:46 +00:00 |
|
crc
|
6eb3dbf2f5
|
glossary: fix escaping of certain characters
FossilOrigin-Name: fb8804f174556b450d4a1e6f0b6c14feee708d20e7c6530d8eb52d6754315276
|
2019-01-23 18:42:39 +00:00 |
|
crc
|
0859adc3eb
|
glossary: fix escaping of certain characters
FossilOrigin-Name: 921fca1e18dd3df45aa7ede09b64b30f6075f6e1b8ea320d8a0d8b918d060715
|
2019-01-23 18:38:26 +00:00 |
|
crc
|
ccea6fcf35
|
glossary: add HTML export option
FossilOrigin-Name: 9225915a54069de54046eaf25783ad35a84026cc5208f62c952d9a0b7855c976
|
2019-01-23 18:32:32 +00:00 |
|