|
|
b7aa850b94
|
Fix dependency graph.
|
2023-07-07 12:25:28 +02:00 |
|
|
|
b40cc72281
|
Try using the new ldict implementation.
|
2023-07-07 12:15:01 +02:00 |
|
|
|
fd927e3569
|
Prepare the new ldict implementation.
|
2023-07-07 12:07:19 +02:00 |
|
|
|
0bcc49f99e
|
Finish bdict conversion.
|
2023-07-07 11:10:45 +02:00 |
|
|
|
2079fb8ef3
|
Rename bst-dict to bdict.
|
2023-07-07 11:05:34 +02:00 |
|
|
|
2fe483c947
|
Remove old bdict implementation.
|
2023-07-07 11:01:27 +02:00 |
|
|
|
005c2c1cf1
|
Finish integrating new BST implementation.
|
2023-07-07 10:50:31 +02:00 |
|
|
|
c234f883bd
|
Work on functional updates.
|
2023-07-07 10:19:43 +02:00 |
|
|
|
3a3af066af
|
Add preliminary bdict reimplementation.
|
2023-07-07 10:07:41 +02:00 |
|
|
|
8d6ca4697c
|
Start working on generic BST backend for dictionaries and sets.
|
2023-07-06 21:42:21 +02:00 |
|
|
|
b9a563d4ac
|
Duck util-mail.
|
2023-07-06 20:06:15 +02:00 |
|
|
|
23db356dec
|
Add gendoc to clean target.
|
2023-07-06 19:48:16 +02:00 |
|
|
|
722ac4830c
|
Duck util-string.
|
2023-07-06 19:47:17 +02:00 |
|
|
|
e6d798bc2a
|
Preliminary syntax ducking.
|
2023-07-06 19:37:48 +02:00 |
|
|
|
d4657ad3b6
|
Duck util-format.
|
2023-07-06 18:36:05 +02:00 |
|
|
|
ea6aaceff5
|
Fix duck import.
|
2023-07-05 22:12:42 +02:00 |
|
|
|
a2c312741b
|
Duck util-proc.
|
2023-07-05 22:09:07 +02:00 |
|
|
|
2f1589579e
|
Duck util-list.
|
2023-07-05 21:58:34 +02:00 |
|
|
|
1a2e9ee726
|
Duck util-parser.
|
2023-07-05 21:56:11 +02:00 |
|
|
|
b027d19f49
|
Duck util-stdout.
|
2023-07-05 21:52:43 +02:00 |
|
|
|
76a4f81373
|
Remove JendaSAP-DokuWiki-hack exporter.
|
2023-07-05 21:41:08 +02:00 |
|
|
|
201093ab8c
|
Use duck for util-io.
|
2023-07-05 21:38:04 +02:00 |
|
|
|
d6be9ece08
|
Move util-git documentation to duck.
|
2023-07-05 18:22:06 +02:00 |
|
|
|
b5c1be00a6
|
Support for rest arguments in signatures.
|
2023-07-05 17:57:37 +02:00 |
|
|
|
4d81684cff
|
Work on documenting CSV module and extending duck to support racket-kwargs.
|
2023-07-04 22:31:53 +02:00 |
|
|
|
28ad38926a
|
Test first generated doc.
|
2023-07-04 20:44:12 +02:00 |
|
|
|
e330d5cf09
|
Finish preliminary gendoc invocation.
|
2023-07-04 20:06:29 +02:00 |
|
|
|
3f21b99a0e
|
Start working on gendoc.
|
2023-07-04 19:41:24 +02:00 |
|
|
|
7cab364c73
|
Use duck for util-time as test-bed for new in-source documentation tool.
|
2023-07-04 19:33:54 +02:00 |
|
|
|
3563279b57
|
Add duck module base.
|
2023-07-04 19:21:37 +02:00 |
|
|
|
d39c8353ee
|
Start work on limiting the number of payments in default member display.
|
2023-06-30 17:22:08 +02:00 |
|
|
|
a2c7095711
|
Add output to stdout as well.
|
2023-06-26 19:38:21 +02:00 |
|
|
|
899f654b89
|
Fix dependencies.
|
2023-06-26 19:36:23 +02:00 |
|
|
|
6a4817c46f
|
Build dokuwiki module.
|
2023-06-26 19:16:05 +02:00 |
|
|
|
64059bfb3c
|
Remove old utf8 string to list converter.
|
2023-06-24 22:07:20 +02:00 |
|
|
|
06746c1c40
|
Move simplified string-utf8? to util-utf8.
|
2023-06-24 22:05:20 +02:00 |
|
|
|
3e5251608d
|
Basic grid layout.
|
2023-06-19 15:25:57 +02:00 |
|
|
|
1b5eb4f3fc
|
Sanitize html, fix linking racket-kwargs.
|
2023-06-19 14:16:01 +02:00 |
|
|
|
fb1230e5e3
|
Get all information in HTML export.
|
2023-06-19 14:02:23 +02:00 |
|
|
|
53cfd1fd88
|
Use new with-mbase-progress% in new static HTML export.
|
2023-06-19 08:59:15 +02:00 |
|
|
|
a56605fa3f
|
Split out ensure-directory.
|
2023-06-19 08:51:39 +02:00 |
|
|
|
7c4c55eb9e
|
Generate head.
|
2023-06-18 22:10:10 +02:00 |
|
|
|
678d18a87b
|
Add new web static exporter skeleton.
|
2023-06-18 21:46:32 +02:00 |
|
|
|
f1c3ec70a3
|
Use non-breaking spaces for alignment.
|
2023-06-15 22:42:39 +02:00 |
|
|
|
cc9e5bad7d
|
Remove old table implementation.
|
2023-06-15 22:13:46 +02:00 |
|
|
|
628a37d06c
|
Update dependencies.
|
2023-06-15 22:02:32 +02:00 |
|
|
|
0806be2420
|
Compatibility layer for table-old style.
|
2023-06-15 16:30:53 +02:00 |
|
|
|
3da5d55530
|
Fix dependencies.
|
2023-06-15 16:13:55 +02:00 |
|
|
|
8526d473c5
|
Re-add util-list.
|
2023-06-15 16:11:36 +02:00 |
|
|
|
45252d7fc4
|
Run all new tests.
|
2023-06-15 15:33:41 +02:00 |
|
