Scott Kostyshak 8c5b58a3f8 Noweb.lyx: fix a few mistakes from old lyx2lyx
In fb034884 I made some manual changes to documents that weren't
correctly converted by lyx2lyx (from ERT to Chunk insets) but I left
a "@" inside a chunk, which ended it prematurely and caused
incorrect output.

This current commit also cleans up a few other things in the
document.

Thanks to Kornel for catching this.
2021-06-02 20:09:58 -04:00
..
2021-02-13 15:16:58 +01:00
2021-02-18 10:01:57 +01:00
2020-09-17 07:50:05 +02:00
2021-03-24 13:50:43 -04:00
2021-01-30 14:00:20 +01:00
2021-04-24 15:31:48 +03:00
2019-06-26 08:57:05 +02:00
2021-04-24 15:31:48 +03:00
2020-07-09 18:59:54 +02:00
2021-03-17 21:58:13 +01:00
2021-02-04 23:20:01 +01:00
2018-03-09 15:17:23 +01:00