Commit Graph

274 Commits

Author SHA1 Message Date
4944923069 Merge pull request 'New PubPubContent object.' (!2) from gt-crashes/2 into master
Reviewed-on: #2
2023-05-22 01:39:33 +00:00
4b0227454b New PubPubContent object. 2023-05-21 20:30:03 -05:00
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