Skip to content

Commit d991fc2

Browse files
committedSep 11, 2024
Changelog updated
1 parent b44318e commit d991fc2

File tree

2 files changed

+4
-1
lines changed

2 files changed

+4
-1
lines changed
 

‎CHANGELOG.md

+3
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,9 @@ All notable changes to the "Loogle Lean" extension will be documented in this fi
44

55
Check [Keep a Changelog](http://keepachangelog.com/) for recommendations on how to structure this file.
66

7+
## [0.09]
8+
- Dependency updates because github flagged vulnerabilities
9+
710
## [0.08]
811
- Fixed the documentation link which now leads directly to the definition on the corresponding mathlib4_docs page.
912

‎README.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
# Loogle Lean (Early Preview)
1+
# Loogle Lean
22

33
This extension is a vscode front end for accessing [loogle](https://loogle.lean-lang.org/)
44

0 commit comments

Comments
 (0)