Per Bothner a06299c77a

Improve <table> output of 'to html', (#5699) ...

* Fix <table> output of 'to html',

Specifically, add <thead> and <tbody> elements.
That allows for better styling and (future) some neat JavaScript.

* Update tests for previous <table> changes.

2022-06-02 17:34:31 -05:00

..

commands

Fix cp bug (#5642)

2022-05-31 18:24:33 -05:00

format_conversions

Improve <table> output of 'to html', (#5699)

2022-06-02 17:34:31 -05:00

main.rs

Improve $in handling (#5137)

2022-04-09 09:41:05 +12:00