changeset 522 | 19462bc7d335 |
child 611 | bc1df466150a |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/ChengsongTanPhdThesis/regex2_size_change.data Fri May 27 18:59:12 2022 +0100 @@ -0,0 +1,16 @@ +%% LaTeX2e file `re-js.data' +%% generated by the `filecontents' environment +%% from source `main' on 2022/03/16. +%% +1 20 +5 200 +10 350 +15 400 +20 550 +23 700 +25 760 +26 800 +28 810 +30 810 +31 810 +32 810