Sebastian Ullrich b6622d2bef feat: server: preserve full range of messages		2021-03-10 17:09:41 +01:00
..
Json	fix: Json.num	2021-02-18 13:27:31 +01:00
Lsp	feat: server: preserve full range of messages	2021-03-10 17:09:41 +01:00
Format.lean	chore: use register_builtin_option	2021-01-26 18:24:56 -08:00
Json.lean	chore: remove #lang lean4 header	2020-10-25 09:54:07 -07:00
JsonRpc.lean	test: multi-process server	2020-12-26 13:22:47 +01:00
KVMap.lean	feat: add ForIn type class	2021-02-04 17:59:44 -08:00
LBool.lean	chore: user deriving BEq	2020-12-13 16:30:07 -08:00
LOption.lean	chore: user deriving BEq	2020-12-13 16:30:07 -08:00
Lsp.lean	chore: Hover.lean ~> LanguageFeatures.lean	2020-12-31 15:00:42 +01:00
Name.lean	refactor: move ToString Syntax and BEq Syntax to Init	2021-02-26 13:21:04 -08:00
NameTrie.lean	feat: trie for hierarchical names	2020-12-03 16:40:00 -08: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	chore: remove dead options	2021-01-26 18:09:59 -08:00
Position.lean	feat: store declaration ranges	2021-01-11 12:50:11 -08:00
PrefixTree.lean	feat: trie for hierarchical names	2020-12-03 16:40:00 -08:00
SMap.lean	feat: add Repr instance for CongrLemmas	2021-02-11 18:13:33 -08:00
Trie.lean	chore: replace variables in src/	2021-01-22 14:36:05 +01:00