|
146d762f5f
|
Fixing STON wiki exportation.
|
2023-05-19 10:43:15 -05:00 |
|
|
9a4a87a45e
|
Fixing STON wiki exportation.
|
2023-05-19 09:54:55 -05:00 |
|
|
ad3e89d891
|
PubPub exporting to Markdeep completed.
|
2023-05-16 12:06:12 -05:00 |
|
|
5ab022b860
|
PubPub adding escape cases.
|
2023-05-16 11:33:35 -05:00 |
|
|
eeb2330fe8
|
PubPub reformating in a single message.
|
2023-05-16 10:20:40 -05:00 |
|
|
baba99ec84
|
PubPub downloading books by language.
|
2023-05-16 09:37:40 -05:00 |
|
|
745e9d8e6e
|
Abstracting PubPub republication process.
|
2023-05-14 13:42:00 -05:00 |
|
|
dc218111e6
|
Footnotes replacement done (minor bugs with last footnote still to be fixed).
|
2023-05-14 11:59:09 -05:00 |
|
|
e46329d9e1
|
Preparing footnotes replacement.
|
2023-05-12 19:21:04 -05:00 |
|
|
7855e9e0c3
|
Fixing PubPub footnotes conversion
|
2023-05-10 11:53:54 -05:00 |
|
|
77ddf8a801
|
PubPub footnotes conversion
|
2023-05-10 11:31:54 -05:00 |
|
|
e20cca500e
|
Footnotes improved identifiers partial implementaiton.
|
2023-05-09 21:56:19 -05:00 |
|
|
a3741918c9
|
Starting support for footnotes in the new parser.
|
2023-05-09 18:18:39 -05:00 |
|
|
fe0d65cf5a
|
Data cleaning methods.
|
2023-05-09 14:45:23 -05:00 |
|
|
91e92c3e6a
|
Improving PubPub documents management. A clearer grammar could replace the original one, now that Markdown parser has been ported.
|
2023-05-09 13:56:57 -05:00 |
|
|
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 |
|
|
093f989e28
|
Undoing groups until I understand them better.
|
2023-04-27 13:41:49 -05:00 |
|
|
d448e38047
|
Renaming to defaults.
|
2023-04-27 13:37:47 -05:00 |
|
|
a4cf5edacd
|
Renaming to defaults.
|
2023-04-27 13:36:24 -05:00 |
|
|
7a14575090
|
Fixing default group definition.
|
2023-04-27 13:31:58 -05:00 |
|
|
62745b4612
|
Fixing 'SpecializedGrammars' definition in default group.
|
2023-04-27 13:26:35 -05:00 |
|
|
7847f95192
|
Fixing 'Core' definition in default group.
|
2023-04-27 13:07:19 -05:00 |
|
|
4d913f4461
|
More modular baseline with smaller 'default' group.
|
2023-04-27 13:01:42 -05:00 |
|
|
8dc8ce4b99
|
Better package tags
|
2023-04-27 12:53:50 -05:00 |
|
|
3ea02ee589
|
Testing default 'group' definition.
|
2023-04-27 12:14:27 -05:00 |
|
|
4a3f68bad3
|
Preparing default group redefinition.
|
2023-04-27 11:56:59 -05:00 |
|
|
d4577a6489
|
Redefining key combos again to support underlying changes in GT.
|
2023-04-27 11:42:11 -05:00 |
|
|
ed87c46402
|
Preparing package modularization for faster loading times.
|
2023-04-27 10:53:26 -05:00 |
|
|
298601dbc5
|
Support for aproximating Grafoscopio notebook's creation timestamps from the commits in the Fossil repository where they're published.
|
2023-04-18 09:45:03 -05:00 |
|
|
006b8c6663
|
Support for GrafoscopioNode remote location in Fossil, for getting estimated creation of Grafoscopio notebooks/nodes.
|
2023-04-17 20:50:14 -05:00 |
|
|
51ad735e0e
|
Starting to fix estimated creation time for nodes when importing. Fossil and a remote location are required for that.
|
2023-04-17 08:55:37 -05:00 |
|
|
1ee1d2bab9
|
Starting exportation of LeExampleSnippets to Markdeep.
|
2023-04-12 10:29:07 -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 |
|
|
cda799d210
|
Fixing baseline package name.
|
2023-04-06 09:02:00 -05:00 |
|
|
1a44e25dc4
|
Adding more packages to the baseline.
|
2023-04-06 08:53:27 -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 |
|
|
cf08d18fb2
|
Improving Petit Parser 1 package dependencies.
|
2023-04-04 13:32:37 -05:00 |
|
|
57d138c21f
|
Loading new baseline package.
|
2023-04-04 09:45:49 -05:00 |
|
|
8a2ac498e6
|
Adding Petit Parser 1 as a dependency.
|
2023-04-04 09:23:20 -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 |
|
|
557f1893e3
|
Fixing dropdown capabilities. Next: embedding file browsing in dropdown.
|
2023-03-31 08:23:32 -05:00 |
|
|
e90cf3058a
|
Attempting dropdown capabilities.
|
2023-03-23 20:59:41 -05:00 |
|
|
59f4822e25
|
Merge 68dff9bd8c
|
2023-03-23 18:08:53 -05:00 |
|
|
45fa06e715
|
Typo and starting storage GUI for notes.
|
2023-03-23 18:08:01 -05:00 |
|
|
68dff9bd8c
|
Creating a HedgeDoc method to replace youtube embedded links to markdeep format and example.
|
2023-03-22 10:54:16 -05:00 |
|
|
71d1cbd9a6
|
Modifyng hedgedoc youtube embedded link parser.
|
2023-03-21 16:13:26 -05:00 |
|