Reformatted announcements.

RELEASES.md

@@ -2,18 +2,18 @@
 
 For a project such as PLFA, [Semantic Versioning][SemVer] doesn’t make a huge amount of sense. Instead, we’ve adopted [Calendar Versioning][CalVer], following, e.g., [Ubuntu][Ubuntu]. PLFA versions are of the form `YY.0M`, where `YY` is the short year, and `0M` is the zero-padded month. For each release, there are two tags in the repository:
 
-- `dev-YY0M`: a copy of the contents of the `dev` branch at the time of release; and
-- `web-YY0M`: a copy of the web version of PLFA only.
+- `dev-YY.0M`: a copy of the contents of the `dev` branch at the time of release; and
+- `web-YY.0M`: a copy of the web version of PLFA only.
 
 The former contains everything you’d need to work with that version of PLFA, whereas the latter consists only of the relevant files to deploy a web version of PLFA.
 
 There are several steps to creating a new release for PLFA:
 
-- [ ] Create a new tag `dev-YY0M` of the `dev` branch.
-- [ ] Create a new tag `web-YY0M` of the `master` branch.
+- [ ] Create a new tag `dev-YY.0M` of the `dev` branch.
+- [ ] Create a new tag `web-YY.0M` of the `master` branch.
 - [ ] Push the new tags.
-- [ ] Draft a new release [on GitHub][releases] linked to the `dev-YY0M` tag.
-- [ ] Add the release version `YY0M` to the end of the `RELEASE_VERSIONS` variable in the Makefile.
+- [ ] Draft a new release [on GitHub][releases] linked to the `dev-YY.0M` tag.
+- [ ] Add the release version `YY.0M` to the end of the `RELEASE_VERSIONS` variable in the Makefile.
 - [ ] Write an announcement for the release in the `_posts` folder, describing any major changes.
 - [ ] Run `make build build-history test` and deal with any problems.
 - [ ] Commit and push.

_config.yml

@@ -54,7 +54,6 @@ url: "https://plfa.github.io"
 markdown: kramdown
 theme: minima
 excerpt_separator: <!--more-->
-show_excerpts: true
 exclude:
   - "hs/"
   - "extra/"

_includes/script.html

@@ -1,17 +1,7 @@
 <!-- Import jQuery -->
 <script type="text/javascript" src="{{ "/assets/jquery.js" | prepend: site.baseurl }}"></script>
 
-<script src="https://cdnjs.cloudflare.com/ajax/libs/anchor-js/4.2.2/anchor.min.js" integrity="sha256-E4RlfxwyJVmkkk0szw7LYJxuPlp6evtPSBDlWHsYYL8=" crossorigin="anonymous"></script>
 <script type="text/javascript">
-  anchors.add();
-</script>
-
-<script type="text/javascript">
-
- // Makes sandwich menu work
- $('.menu-icon').click(function(){
-   $('.trigger').toggle();
- });
 
  // Script which allows for foldable code blocks
  $('div.foldable pre').each(function(){

_layouts/default.html

@@ -15,6 +15,13 @@
 
     {%- include footer.html -%}
 
+    <script type="text/javascript">
+     // Fix sandwich menu
+     $('.menu-icon').click(function(){
+         $('.trigger').toggle();
+     });
+    </script>
+
     {%- include script.html -%}
 
   </body>

_layouts/home.html

@@ -13,13 +13,13 @@ layout: default
       <li>
         {%- assign date_format = site.minima.date_format | default: "%b %-d, %Y" -%}
         <span class="post-meta">{{ post.date | date: date_format }}</span>
-        <h3>
-          <a class="post-link" href="{{ post.url | relative_url }}">
-            {{ post.title | escape }}
-          </a>
-        </h3>
-        {%- if site.show_excerpts -%}
+        <h3>{{ post.title | escape }}</h3>
+        {%- if post.short -%}
           {{ post.excerpt }}
+        {%- else -%}
+          {{ post.excerpt }}
+          <br />
+          <a class="post-link" href="{{ post.url | relative_url }}">(more)</a>
         {%- endif -%}
       </li>
       {%- endfor -%}

_layouts/page.html

@@ -1,6 +1,7 @@
 ---
 layout: default
 ---
+
 <article class="post">
 
   <header class="post-header">
@@ -10,9 +11,17 @@ layout: default
   {% include next.html %}
 
   <div class="post-content">
-    {{ content }}
+      {{ content }}
   </div>
 
   {% include next.html %}
 
 </article>
+
+<script src="https://cdnjs.cloudflare.com/ajax/libs/anchor-js/4.2.2/anchor.min.js" integrity="sha256-E4RlfxwyJVmkkk0szw7LYJxuPlp6evtPSBDlWHsYYL8=" crossorigin="anonymous"></script>
+<script type="text/javascript">
+  // Add anchors on DOMContentLoaded
+  document.addEventListener('DOMContentLoaded', function(event) {
+      anchors.add();
+  });
+</script>

_posts/2019-07-12-migration-to-2.6.0.1.md

@@ -1,6 +1,7 @@
 ---
 layout : post
 title  : "Migration to Agda 2.6.0.1"
+short  : false
 ---
 
 We upgraded to [Agda 2.6.0.1](https://github.com/agda/agda/releases/tag/v2.6.0.1) and [version 1.1 of the standard library](https://github.com/agda/agda-stdlib/releases/tag/v1.1). If you want to continue working with the book, you'll have to update your versions locally. Please follow the instructions in [Getting Started]({{ site.baseurl }}/GettingStarted/) to reinstall Agda and the standard library.

_posts/2020-01-10-plfa-as-a-notebook.md

@@ -1,11 +1,10 @@
 ---
 layout : post
 title  : "PLFA as a Notebook"
+short  : true
 ---
 
-NextJournal has created [a notebook version of PLFA][NextJournal-PLFA], which lets you edit and run the code samples from the book online!
-
-The notebook is based on [PLFA version 19.08][PLFA-19.08], with some minor changes to adapt the contents to NextJournal.
+NextJournal has created [a notebook version of PLFA][NextJournal-PLFA], which lets you edit and run the code samples from the book online! The notebook is based on [PLFA version 19.08][PLFA-19.08], with some minor changes to adapt the contents to NextJournal.
 
 [PLFA-19.08]: https://plfa.github.io/19.08/
 [NextJournal-PLFA]: https://nextjournal.com/plfa/ToC

_posts/2020-04-30-praise-for-plfa.md

@@ -1,6 +1,7 @@
 ---
 layout : post
 title  : "Praise for PLFA!"
+short  : true
 ---
 
 [*Types and Semantics for Programming Languages*][TSPL-2019], the course we teach in Edinburgh, was shortlisted as an Outstanding Course by the [Edinburgh University Student Association][EUSA-2020] (Runner Up)!

_posts/2020-06-02-plfa-as-epub.md

@@ -1,13 +1,10 @@
 ---
 layout : post
 title  : "PLFA as EPUB"
+short  : true
 ---
 
-It has been just over a year and a half since this feature was first requested in [#112][issue112]…
-
-Thanks to hard work by [Michael Reed][mreed20], and a little elbow grease on our part, it is finally here!
-
-[An EPUB version of PLFA!][EPUB]
+It has been just over a year and a half since this feature was first requested in [#112][issue112]… Thanks to hard work by [Michael Reed][mreed20], and a little elbow grease on our part, it is finally here! [An EPUB version of PLFA!][EPUB]
 
 [EPUB]: https://plfa.github.io/out/epub/plfa.epub
 [issue112]: https://github.com/plfa/plfa.github.io/issues/112

_posts/2020-06-23-talking-about-plfa.md

@@ -1,9 +1,10 @@
 ---
 layout : post
 title  : "Talking about PLFA…"
+short  : true
 ---
 
-We published a paper about PLFA, which describes our experiences writing the book, and compares it to [Software Foundations][SF], at the [Brazilian Symposium on Formal Methods][SMBF] (SMBF), and published an extended version in the [Science of Computer Programming][SCP] (SCP).
+We published a paper about PLFA at the [Brazilian Symposium on Formal Methods][SBMF] and in the [Science of Computer Programming][SCP] (extended version). In them, we describe our experiences writing the book, and compare it to [Software Foundations][SF].
 
 [SBMF]: https://homepages.inf.ed.ac.uk/wadler/topics/agda.html#sbmf
 [SCP]: https://homepages.inf.ed.ac.uk/wadler/topics/agda.html#scp

_posts/2020-07-13-denotational-semantics.md

@@ -1,6 +1,7 @@
 ---
 layout : post
 title  : "Introducing Part 3: Denotational Semantics"
+short  : false
 ---
 
 We’re pleased to announce an entirely new part of the book, contributed by Jeremy G. Siek! You may have noticed his name appearing on the list of authors some months ago, or the chapters that make up Part 3 slowly making their appearance. Well, that’s all Jeremy’s work!

_posts/2020-07-14-versions-and-releases.md

@@ -1,20 +1,21 @@
 ---
 layout : post
 title  : "Versions and Releases"
+short  : false
 ---
 
-We’re adding stable releases to PLFA!
+We’re adding stable releases to PLFA, which you can find [on GitHub][releases]!
 
 <!--more-->
 
 For the past two years, we’ve tried to do major revisions of the book during winter break and early summer, to ensure that the text remains consistent throughout the teaching period… Inevitably, we fixed bugs, and make small changes here and there, perhaps resulting in a less-than-consistent experience.
 
-Starting today, you can be sure that PLFA will remain consistent, since we’re adding stable releases! You can find the releases [on GitHub][releases], and as tags in the Git repository. The releases are numbered using [calendar versioning][CalVer] using the `YY0M` format, e.g., `20.07` was released in July 2020. Each release will have two associated tags.
+Starting today, you can be sure that PLFA will remain consistent, since we’re adding stable releases! You can find the releases [on GitHub][releases], and as tags in the Git repository. The releases are numbered using [calendar versioning][CalVer] using the `YY.0M` format, e.g., `20.07` was released in July 2020. Each release will have two associated tags.
 
 - [`dev-20.07`][dev-20.07] is a copy of the `dev` branch, and contains everything you need to work with PLFA;
 - [`web-20.07`][web-20.07] is a copy of the web site *only*, and does not contain Agda sources.
 
-The `web-YY0M` releases are useful if you’d like to host a copy of PLFA, but you don’t have all the required dependencies installed. However, if you’d like to view a particular release only, we have you covered! If you’d like to browse PLFA version 20.07, just go to:
+The `web-YY.0M` releases are useful if you’d like to host a copy of PLFA, but you don’t have all the required dependencies installed. However, if you’d like to view a particular release only, we have you covered! If you’d like to browse PLFA version 20.07, just go to:
 
 - <https://plfa.github.io/20.07/>