| .. |
|
Json
|
feat: upstreaming the json% term elaborator (#3265)
|
2024-02-08 03:30:41 +00:00 |
|
Lsp
|
feat: add call hierarchy support (#3082)
|
2024-01-25 14:43:23 +00:00 |
|
Xml
|
fix: XML parsing bugs (#2601)
|
2023-10-04 11:51:22 +11:00 |
|
Array.lean
|
feat: let get_elem_tactic_trivial handle [a]'h.2 (#3132)
|
2024-01-08 16:23:09 +00:00 |
|
AssocList.lean
|
chore: move Std.* data structures to Lean.*
|
2022-09-26 05:46:04 -07:00 |
|
Format.lean
|
feat: intra-line withPosition formatting
|
2022-11-28 09:02:08 -08:00 |
|
FuzzyMatching.lean
|
fix: fuzzy-find bonus for matching last characters of pattern and symbol (#1917)
|
2023-01-19 09:06:53 +01:00 |
|
HashMap.lean
|
feat: add call hierarchy support (#3082)
|
2024-01-25 14:43:23 +00:00 |
|
HashSet.lean
|
chore: upstream HashSet.merge (#3357)
|
2024-02-16 01:38:16 +00:00 |
|
Json.lean
|
feat: upstreaming the json% term elaborator (#3265)
|
2024-02-08 03:30:41 +00:00 |
|
JsonRpc.lean
|
fix: re-read HTTP header when skipping notification in Ipc.readResponseAs
|
2023-11-14 17:34:04 +01:00 |
|
KVMap.lean
|
feat: per-package server options (#2858)
|
2023-11-26 13:42:38 +00:00 |
|
LBool.lean
|
|
|
|
LOption.lean
|
doc: some doc strings
|
2022-07-30 21:18:50 -07:00 |
|
Lsp.lean
|
feat: datatypes for LSP code actions (#1654)
|
2022-09-28 09:07:39 +00:00 |
|
Name.lean
|
feat: upstream helper functions for Name (#3263)
|
2024-02-07 21:51:58 +00:00 |
|
NameMap.lean
|
feat: replay constants into an Environment (#2617)
|
2023-10-11 14:08:03 +11:00 |
|
NameTrie.lean
|
feat: import auto-completion (#2904)
|
2023-11-24 07:46:19 +00:00 |
|
OpenDecl.lean
|
chore: simplify parser cache key computation, panic on environment/token table divergence
|
2022-11-11 09:13:02 +01:00 |
|
Options.lean
|
fix: implement String.toName using decodeNameLit
|
2023-05-28 17:38:57 -07:00 |
|
Parsec.lean
|
fix: incorrect annotations
|
2022-09-24 14:20:21 -07:00 |
|
PersistentArray.lean
|
chore: move Std.* data structures to Lean.*
|
2022-09-26 05:46:04 -07:00 |
|
PersistentHashMap.lean
|
chore: move Std.* data structures to Lean.*
|
2022-09-26 05:46:04 -07:00 |
|
PersistentHashSet.lean
|
chore: move Std.* data structures to Lean.*
|
2022-09-26 05:46:04 -07:00 |
|
Position.lean
|
feat: upstream some Syntax/Position helper functions used in code actions in Std (#3260)
|
2024-02-09 10:50:19 +00:00 |
|
PrefixTree.lean
|
chore: move Std.* data structures to Lean.*
|
2022-09-26 05:46:04 -07:00 |
|
Rat.lean
|
feat: missing Rat functions
|
2022-02-11 18:24:18 -08:00 |
|
RBMap.lean
|
refactor: termination_by changes in stdlib
|
2024-01-10 17:27:35 +01:00 |
|
RBTree.lean
|
chore: move Std.* data structures to Lean.*
|
2022-09-26 05:46:04 -07:00 |
|
SMap.lean
|
fix: move Lean.List.toSMap to List.toSMap (#3035)
|
2023-12-12 01:01:24 +00:00 |
|
SSet.lean
|
chore: convert doc/mod comments from /- to /--//-! (#1354)
|
2022-07-22 12:05:31 -07:00 |
|
Trie.lean
|
perf: Use flat ByteArrays in Trie (#2529)
|
2023-09-20 13:22:37 +02:00 |
|
Xml.lean
|
|
|
