crc
|
8e599f214f
|
html export: fix crash on # with no spaces following
FossilOrigin-Name: 78eb3332d9dfd7a83f425c63aefa49708078334d43223c2512edab0775f12224
|
2020-02-21 20:03:50 +00:00 |
|
crc
|
9e516333c9
|
html export: fix crash on # with no spaces following
FossilOrigin-Name: 3547ab30d165d0d4bf94f2106ee062695cd39f7cf8b10ea042f211f48f83e8a2
|
2020-02-21 19:59:25 +00:00 |
|
crc
|
c4aa7805f9
|
updates to the examples, better html exports now working
FossilOrigin-Name: b3c8281fa5442fe836e108016d3e934e7839b76b77b85f14f326a5e258abfd21
|
2020-02-21 19:47:00 +00:00 |
|
crc
|
22a344b4e1
|
updates to the examples, better html exports now working
FossilOrigin-Name: 67b765255e8896288380bce2b3b1203b070e29b04121de31ad9b5aa6007319e4
|
2020-02-21 19:44:33 +00:00 |
|
crc
|
d696221f2a
|
fix some references to the old end instruction (now called halt)
FossilOrigin-Name: 9ec683cd989ae9f7186047422149200d256146cb68bf0f273e702054fcfae3c0
|
2020-02-20 20:28:48 +00:00 |
|
crc
|
11bd0ba81f
|
examples: update css for html export
FossilOrigin-Name: 3d9915d3e6971123894b00bb215c66bd754d9ba12ce43644faab4d941cf51ce6
|
2020-02-14 04:22:08 +00:00 |
|
crc
|
5fe2d7b591
|
examples: html export now recognizes floating point numbers
FossilOrigin-Name: c9e73034a106b924ac68f01e86e11180b3a87522ae94414f9e2afbe6c32035cb
|
2019-12-30 15:11:08 +00:00 |
|
crc
|
b92e398e50
|
rx.muri: more comments and explainers in muri source
FossilOrigin-Name: 7e2eb1d5ab55b15d2fd183a3436c9f93346b4bb6e9da40d3dfa6c33ff16c593c
|
2019-12-10 21:52:40 +00:00 |
|
crc
|
bf598e4cae
|
retro irc bot: add support for retro-describe
FossilOrigin-Name: 2dcead0b8a9d1fa6285ceee704eee878cd2fc3d1f19aac6de8503aba13cdd04a
|
2019-11-27 21:50:10 +00:00 |
|
crc
|
fb9ef5482e
|
updated html export for retro sources: averages 7.4% faster conversion, 26% smaller output across my test set
FossilOrigin-Name: 82aa69e539eaee71758ab95fc6eda841d4f47eadbda4970526287732d5bf2a47
|
2019-11-13 20:27:19 +00:00 |
|
crc
|
848ba7303b
|
use .retro instead of .forth in examples
FossilOrigin-Name: b5feea667d30aac255d1cfca61fed355d438d2ce6021677f1e53af6302b15eee
|
2019-08-20 18:46:40 +00:00 |
|