{{- htmlUnescape .Title -}}
by {{ partial "authors.html" (dict "site" . "authors" .Params.authors) -}}
diff --git a/admin/site/themes/afp/layouts/index.html b/admin/site/themes/afp/layouts/index.html --- a/admin/site/themes/afp/layouts/index.html +++ b/admin/site/themes/afp/layouts/index.html @@ -1,50 +1,51 @@ {{- define "main" -}}
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal, is indexed by dblp and has an ISSN: 2150-914x. Submissions are refereed and we encourage companion AFP submissions to conference and journal publications. To cite an entry, please use the preferred citation style.
-- A development version of the archive is available as well. -
{{- if isset .Site.Data "status" -}}This is the development version of the archive, referring to a recent Isabelle development version. Some entries may not be in a working state. The main archive is available from the front page.
+{{- else -}} ++ A development version of the archive is available as well. +
{{- end -}} {{- range (where site.RegularPages "Type" "in" site.Params.mainSections).GroupByDate "2006" -}}