diff --git a/src/routes/programming.md b/src/routes/programming.md index 384a55fdc..4623d8d96 100644 --- a/src/routes/programming.md +++ b/src/routes/programming.md @@ -612,6 +612,17 @@ GitHub provides some official RSS feeds: +## Sketis | Website of Dr. Makarius Wenzel + +### Isabelle Development Blogs + + + + +- Isabelle News: `https://isabelle-dev.sketis.net/phame/blog/view/1/` +- Isabelle Release: `https://isabelle-dev.sketis.net/phame/blog/view/2/` + + ## Smashing Magazine ### Category diff --git a/src/zh/routes/programming.md b/src/zh/routes/programming.md index cfe7034a6..0bac5c0f5 100644 --- a/src/zh/routes/programming.md +++ b/src/zh/routes/programming.md @@ -612,6 +612,17 @@ GitHub provides some official RSS feeds: +## Sketis | Website of Dr. Makarius Wenzel + +### Isabelle Development Blogs + + + + +- Isabelle News: `https://isabelle-dev.sketis.net/phame/blog/view/1/` +- Isabelle Release: `https://isabelle-dev.sketis.net/phame/blog/view/2/` + + ## Smashing Magazine ### Category