|
|
daef3951b7
|
Minor bugfixes.
|
2023-05-08 08:47:11 -05:00 |
|
|
|
2dd4377c4d
|
Improving Markdeep and Markdown document tree readings with more renders and linefeed bugfix.
|
2023-05-07 19:21:47 -05:00 |
|
|
|
2e5a2cb3b0
|
Improved printing on PPCMLink.
|
2023-04-06 19:30:34 -05:00 |
|
|
|
51a5a09d6c
|
More document tree element views.
|
2023-04-06 09:08:04 -05:00 |
|
|
|
18bdabdb59
|
Adding more views to Markdown document tree elements.
|
2023-04-06 08:47:40 -05:00 |
|
|
|
b7a82ab374
|
More view for Markdown document trees.
|
2023-04-05 19:03:26 -05:00 |
|
|
|
ee2ade0509
|
Improving Markdown document tree node views.
|
2023-04-03 22:25:29 -05:00 |
|
|
|
e9465349e3
|
Migrating PetitMarkdown from Jan Kurs' PhD thesis and adding views for the new GT.
|
2023-04-03 20:02:24 -05:00 |
|
