| .. |
|
Json
|
feat: JSON serde for Name and USize
|
2021-07-24 10:45:28 +02:00 |
|
Lsp
|
feat: RPC ref decrement
|
2021-07-24 10:45:28 +02:00 |
|
Xml
|
feat: add xml parser.
|
2021-07-13 09:58:27 -07:00 |
|
Format.lean
|
feat: add Format tags
|
2021-07-24 10:45:28 +02:00 |
|
Json.lean
|
chore: remove #lang lean4 header
|
2020-10-25 09:54:07 -07:00 |
|
JsonRpc.lean
|
feat: more RPC handlers
|
2021-07-24 10:45:28 +02:00 |
|
KVMap.lean
|
feat: set_option completion
|
2021-04-03 15:06:50 -07:00 |
|
LBool.lean
|
chore: user deriving BEq
|
2020-12-13 16:30:07 -08:00 |
|
LOption.lean
|
chore: fix codebase and tests
|
2021-06-29 17:14:52 -07:00 |
|
Lsp.lean
|
chore: Hover.lean ~> LanguageFeatures.lean
|
2020-12-31 15:00:42 +01:00 |
|
Name.lean
|
chore: remove workaround
|
2021-06-02 08:06:52 -07:00 |
|
NameTrie.lean
|
refactor: use Ordering inside of rbmap instead of lt.
|
2021-04-27 07:58:58 -07:00 |
|
Occurrences.lean
|
chore: user deriving BEq
|
2020-12-13 16:30:07 -08:00 |
|
OpenDecl.lean
|
chore: update structure, class, inductive
|
2020-11-27 15:09:30 -08:00 |
|
Options.lean
|
feat: pp.proofs & pp.proofs.withType
|
2021-05-14 15:14:58 +02:00 |
|
Parsec.lean
|
feat: add xml parser.
|
2021-07-13 09:58:27 -07:00 |
|
Position.lean
|
fix: info on non-atomic simp args
|
2021-06-23 00:08:07 -07:00 |
|
PrefixTree.lean
|
refactor: use Ordering inside of rbmap instead of lt.
|
2021-04-27 07:58:58 -07:00 |
|
SMap.lean
|
chore: fix codebase and tests
|
2021-06-29 17:14:52 -07:00 |
|
Trie.lean
|
refactor: use Ordering inside of rbmap instead of lt.
|
2021-04-27 07:58:58 -07:00 |
|
Xml.lean
|
feat: add xml parser.
|
2021-07-13 09:58:27 -07:00 |
