Henrik Böving
|
86d5c219a9
|
feat: compress module urls and importedBy info into one
|
2023-12-10 00:44:25 +01:00 |
|
Henrik Böving
|
f9b5a2903a
|
fix: header-data.bmp
|
2023-09-15 00:39:28 +02:00 |
|
Henrik
|
08de0ad10c
|
feat: reduce JSON data size
|
2023-09-10 12:39:49 +02:00 |
|
Henrik
|
718b182a31
|
feat: more declaration data as JSON
|
2023-08-06 15:36:43 +02:00 |
|
Henrik
|
e09280bb3c
|
feat: order instances and make them unique in their listing
|
2023-07-31 20:42:30 +02:00 |
|
Henrik Böving
|
5ab6766eb1
|
fix: #113
|
2023-02-16 19:51:35 +01:00 |
Jeremy Salwen
|
1cb84f6d74
|
Add filters for search results based on kind.
This allows you to search defs, theorems, etc independently.
|
2023-02-01 15:15:45 +01:00 |
|
Henrik Böving
|
f74443a673
|
style: Lean 4 compiler style in output
|
2023-01-01 19:51:01 +01:00 |
|
Henrik Böving
|
64f627a295
|
chore: toolchain upgrade (#82)
Halleluja!
|
2022-10-05 12:05:58 +02:00 |
|
Henrik Böving
|
5e634cf96a
|
feat: typify the index API
|
2022-07-25 09:47:59 +02:00 |
|
Henrik Böving
|
247b930364
|
feat: instances for
|
2022-07-23 15:40:08 +02:00 |
|
Henrik Böving
|
3aae640f69
|
chore: structure ctor style
|
2022-07-23 13:37:17 +02:00 |
|
Henrik Böving
|
ed4cee2eae
|
chore: style, change $ to <|
|
2022-07-23 13:01:25 +02:00 |
|
Henrik Böving
|
bb9b55ef2c
|
feat: Step 1 for full separate builds with global info
|
2022-07-22 14:48:36 +02:00 |