Merge pull request #1067 from codrineugeniu/master

Isabelle/HOL - fix anchor link
10 years ago · d0ac1435b7
parent 0a0fb43fe7 54a2a15233
commit d0ac1435b7
1 changed files with 1 additions and 1 deletions
--- a/free-programming-books.md
+++ b/free-programming-books.md
@ -55,7 +55,7 @@
 * [Icon](#icon)
 * [IDL](#idl)
 * [iOS](#ios)
-* [Isabelle/HOL](#isabelle--hol)
+* [Isabelle/HOL](#isabellehol)
 * [J](#j)
 * [Java](#java)
    * [Spring](#spring)