page version:

Archive of posts with category 'site-construction'

• Nov 6, 2023 Live Reload
• May 14, 2023 moving from git to darcs
• Apr 7, 2023 this jekyll site's _plugins
• Apr 5, 2023 Welcome to Jekyll!
• Apr 5, 2023 sorting the page links in the top right header
• Apr 5, 2023 getting page last modified time
• Apr 5, 2023 latex with katex