max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
27936 commits 1 branch 0 tags 5.3 GiB
Commit graph

4 commits

Author SHA1 Message Date
Leonardo de Moura
1107705525 fix: jump to definition inside recursive definitions was not working on VS Code 
Remark: it was working on Emacs.
 2022-04-06 14:27:49 -07:00
Leonardo de Moura
574927ab0d fix: jump to definition for recursive declarations 2022-04-06 13:01:16 -07:00
larsk21
e73645505b fix: remove duplicate from interactive highlight test 2022-02-02 13:03:21 +01:00
larsk21
818e8acd0e feat: add test for handleDocumentHighlight 2022-02-02 13:03:21 +01:00