From 54a2a152332ebbe6eae4899c6675ad995bef5d79 Mon Sep 17 00:00:00 2001 From: Codrin Eugeniu Date: Tue, 29 Jul 2014 10:41:53 +1000 Subject: [PATCH] Isabelle/HOL - fix anchor link Anchor link for Isabelle/HOL was not working when viewing the Github parsed file. --- free-programming-books.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/free-programming-books.md b/free-programming-books.md index e00b2474..040d0e7b 100644 --- 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) -- GitLab