diff --git a/admin/site/config.json b/admin/site/config.json --- a/admin/site/config.json +++ b/admin/site/config.json @@ -1,40 +1,43 @@ { "baseURL": "/", "languageCode": "en-gb", "title": "Archive of Formal Proofs", "theme": "afp", "publishDir": "..", "taxonomies": { "author": "authors", "topic": "topics", - "dependency": "dependencies" + "dependency": "dependencies" }, "params": { "description": "A collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover Isabelle.", "images": [ "/images/afp.png" ], "title": "Archive of Formal Proofs", - "mainSections": ["entries"] + "mainSections": ["entries"], + "afpUrls": { + "html": "https://www.isa-afp.org/browser_info/current/AFP" + } }, "markup": { "goldmark": { "renderer": { "unsafe": true } } }, "menu": { "main": [ { "name": "Topics", "url": "/topics/", "weight": 2 } ] }, "outputs": { "home": ["html", "rss", "json"], "taxonomyTerm": ["html", "json"] } } \ No newline at end of file diff --git a/admin/site/themes/afp/layouts/_default/baseof.html b/admin/site/themes/afp/layouts/_default/baseof.html --- a/admin/site/themes/afp/layouts/_default/baseof.html +++ b/admin/site/themes/afp/layouts/_default/baseof.html @@ -1,32 +1,24 @@ {{ partial "head.html" . }}
+ class='content {{ if (eq .Section "entries") }} entries{{- end -}} {{ if (eq .Section "theories") }}theories{{- end -}} {{ if (eq .File.BaseFileName "search") }}searchPage{{- end -}}'> {{- partial "header.html" . -}} -
{{- block "main" . }}{{- end }} {{- block "footerfiles" . }}{{- end }}
\ No newline at end of file diff --git a/admin/site/themes/afp/layouts/_default/index.json b/admin/site/themes/afp/layouts/_default/index.json --- a/admin/site/themes/afp/layouts/_default/index.json +++ b/admin/site/themes/afp/layouts/_default/index.json @@ -1,20 +1,20 @@ -{{ with $.Scratch.Get "index" }} - {{- jsonify . -}} -{{ else }} - {{- $.Scratch.Add "index" slice -}} - {{- range $index, $element := where .Site.RegularPages "Type" "eq" "entries" -}} - {{- $.Scratch.Add "index" (dict - "id" $index - "title" $element.Title - "abstract" (replaceRE "\n" " " $element.Params.abstract) - "topics" $element.Params.topics - "topic_links" (apply $element.Params.topics "urlize" ".") - "permalink" $element.Permalink - "date" (.Date.Format "2006-01-02") - "authors" $element.Params.authors - "used_by" (len (index .Site.Taxonomies.dependencies (urlize $element.File.TranslationBaseName))) - "shortname" $element.File.TranslationBaseName ) - -}} - {{- end -}} - {{- $.Scratch.Get "index" | jsonify -}} +{{ with $.Scratch.Get "index" }} + {{- jsonify . -}} +{{ else }} + {{- $.Scratch.Add "index" slice -}} + {{- range $index, $element := where .Site.RegularPages "Type" "eq" "entries" -}} + {{- $.Scratch.Add "index" (dict + "id" $index + "title" $element.Title + "abstract" (replaceRE "\n" " " $element.Params.abstract) + "topics" $element.Params.topics + "topic_links" (apply $element.Params.topics "urlize" ".") + "permalink" $element.Permalink + "date" (.Date.Format "2006-01-02") + "authors" $element.Params.authors + "used_by" (len (index .Site.Taxonomies.dependencies (urlize $element.File.BaseFileName))) + "shortname" $element.File.BaseFileName ) + -}} + {{- end -}} + {{- $.Scratch.Get "index" | jsonify -}} {{ end }} \ No newline at end of file diff --git a/admin/site/themes/afp/layouts/_default/list.html b/admin/site/themes/afp/layouts/_default/list.html --- a/admin/site/themes/afp/layouts/_default/list.html +++ b/admin/site/themes/afp/layouts/_default/list.html @@ -1,19 +1,19 @@ -{{ define "main" }} -{{- $site := . -}} -{{- range (.Data.Pages).GroupByDate "2006" -}} -{{- if ne .Key "0001" -}} -

{{- .Key -}}

-{{- range .Pages -}} -
- -

{{- htmlUnescape .Title -}}
- {{- with .Params.authors -}}by {{ partial "authors.html" (dict "site" $site "authors" .) -}}{{- end -}}

- - - {{ .Date.Format "02 Jan" }} - -
-{{ end }} -{{ end }} -{{ end }} +{{ define "main" }} +{{- $site := . -}} +{{- range (.Data.Pages).GroupByDate "2006" -}} +{{- if ne .Key "0001" -}} +

{{- .Key -}}

+{{- range .Pages -}} +
+ +

{{- htmlUnescape .Title -}}
+ {{- with .Params.authors -}}by {{ partial "authors.html" (dict "site" $site "authors" .) -}}{{- end -}}

+ + + {{ .Date.Format "Jan 02" }} + +
+{{ end }} +{{ end }} +{{ end }} {{ end }} \ No newline at end of file diff --git a/admin/site/themes/afp/layouts/authors/terms.html b/admin/site/themes/afp/layouts/authors/terms.html --- a/admin/site/themes/afp/layouts/authors/terms.html +++ b/admin/site/themes/afp/layouts/authors/terms.html @@ -1,19 +1,19 @@ -{{ define "main" }} - - - - - - - - -
-
    - {{ range .Data.Pages.ByTitle }} -
  • {{ .Name }}
    • - {{ end }} -
-
- - +{{ define "main" }} + + + + + + + + +
+ +
+ + {{ end }} \ No newline at end of file diff --git a/admin/site/themes/afp/layouts/entries/single.html b/admin/site/themes/afp/layouts/entries/single.html --- a/admin/site/themes/afp/layouts/entries/single.html +++ b/admin/site/themes/afp/layouts/entries/single.html @@ -1,132 +1,129 @@ -{{- define "main" -}} -{{- $site := . -}} -{{- $entryName := .File.TranslationBaseName -}} -
-

Abstract

- -
{{- trim .Params.abstract "\n" | safeHTML -}}
- {{- if (eq .Params.licence "BSD") -}} - BSD License - {{- else -}} - GNU Lesser General Public License (LGPL) - {{- end -}} - - {{- with .Params.extra -}} - {{- range $key, $value := . -}} -

{{- humanize $key -}}

- -

{{- $value | safeHTML -}}

- {{- end -}} - {{- end -}} - - {{- $Scratch := newScratch -}} - - {{- with .Params.dependencies -}} -

Depends On

- {{- end -}} - - {{- with (index .Site.Taxonomies.dependencies (urlize $entryName)) -}} -

Used by

- - {{- end -}} - - {{- with .Params.topics -}} -

Topics

- - {{- end -}} - - {{- with .Params.relatedEntries -}} -

Related Entries

- - {{- end -}} - -

Theories

- - -
- - - -
- -
-

Cite

- × -
- - 
@article{{- "{" -}}{{- $entryName -}}-AFP,
-  author  = {{ "{" -}}{{- delimit .Params.authors ", " | replaceRE "(, )([^,]+$)" " and $2" -}}},
-  title   = {{ "{" -}}{{- htmlUnescape .Params.title -}}},
-  journal = {Archive of Formal Proofs},
-  month   = {{ dateFormat "January" .Params.date -}},
-  year    = {{ dateFormat "2006" .Params.date -}},
-  note    = {\url{http://isa-afp.org/entries/{{- $entryName -}}.html},
-            Formal proof development},
-  ISSN    = {2150-914x},
-}
- Download -
-
-
- -
- -
-

Download

- × - Download latest - {{ with .Params.olderReleases -}} -

Older releases:

- - {{- end }} -
-
- -{{- end -}} +{{- define "main" -}} +{{- $site := . -}} +{{- $entry_name := .File.BaseFileName -}} +
+

Abstract

+ +
{{- trim .Params.abstract "\n" | safeHTML -}}
+ {{- if (eq .Params.licence "BSD") -}} + BSD License + {{- else if (eq .Params.license "LGPL") -}} + GNU Lesser General Public License (LGPL) + {{- else -}} + {{- printf "%s License" .Params.license -}} + {{- end -}} + + {{- with .Params.extra -}} + {{- range $key, $value := . -}} +

{{- humanize $key -}}

+ +

{{- $value | safeHTML -}}

+ {{- end -}} + {{- end -}} + + {{- $Scratch := newScratch -}} + + {{- with .Params.dependencies -}} +

Depends On

+ {{- end -}} + + {{- with (index .Site.Taxonomies.dependencies (urlize $entry_name)) -}} +

Used by

+ + {{- end -}} + + {{- with .Params.topics -}} +

Topics

+ + {{- end -}} + + {{- with .Params.relatedEntries -}} +

Related Entries

+ + {{- end -}} + +

Theories

+ + +
+ + + +
+ +
+

Cite

+ × +
+ + 
@article{{- "{" -}}{{- $entry_name -}}-AFP,
+  author  = {{ "{" -}}{{- delimit .Params.authors ", " | replaceRE "(, )([^,]+$)" " and $2" -}}},
+  title   = {{ "{" -}}{{- htmlUnescape .Params.title -}}},
+  journal = {Archive of Formal Proofs},
+  month   = {{ dateFormat "January" .Params.date -}},
+  year    = {{ dateFormat "2006" .Params.date -}},
+  note    = {\url{http://isa-afp.org/entries/{{- $entry_name -}}.html},
+            Formal proof development},
+  ISSN    = {2150-914x},
+}
+ Download +
+
+
+ +
+ +
+

Download

+ × + Download latest + {{ with .Params.olderReleases -}} +

Older releases:

+ + {{- end }} +
+
+ +{{- end -}} 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,38 +1,38 @@ -{{- 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. -

- -
-
- - - -
-
- -{{- range (where site.RegularPages "Type" "in" site.Params.mainSections).GroupByDate "2006" -}} -
-

{{- .Key -}}

- {{- range .Pages }} -
-
-
{{- htmlUnescape .Title -}}

- by {{ partial "authors.html" (dict "site" . "authors" .Params.authors) -}} -
- - {{ .Date.Format "Jan 02" }} - -
- {{- end -}} -
-{{- end -}} +{{- 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. +

+ +
+
+ + + +
+
+ +{{- range (where site.RegularPages "Type" "in" site.Params.mainSections).GroupByDate "2006" -}} +
+

{{- .Key -}}

+ {{- range .Pages }} +
+
+
{{- htmlUnescape .Title -}}

+ by {{ partial "authors.html" (dict "site" . "authors" .Params.authors) -}} +
+ + {{ .Date.Format "Jan 02" }} + +
+ {{- end -}} +
+{{- end -}} {{- end -}} \ No newline at end of file diff --git a/admin/site/themes/afp/layouts/partials/authors.html b/admin/site/themes/afp/layouts/partials/authors.html --- a/admin/site/themes/afp/layouts/partials/authors.html +++ b/admin/site/themes/afp/layouts/partials/authors.html @@ -1,10 +1,11 @@ -{{- $Scratch := newScratch -}} - -{{- range .authors -}} - -{{- $author := printf "[%s](%s%s)" . ("/authors/" | relLangURL) (. | urlize) -}} -{{- $Scratch.Add "authors" (slice $author) -}} - -{{- end -}} - -{{- delimit ($Scratch.Get "authors") ", " | replaceRE "(, )([^,]+$)" " and $2" | .site.RenderString -}} \ No newline at end of file +{{- $Scratch := newScratch -}} +{{ $site := .site}} + +{{- range .authors -}} + +{{- $author := printf "[%s](%s%s)" (index (index $site.Site.Data.authors .) "name") ("/authors/" | relLangURL) (. | urlize) -}} +{{- $Scratch.Add "authors" (slice $author) -}} + +{{- end -}} + +{{- delimit ($Scratch.Get "authors") ", " | replaceRE "(, )([^,]+$)" " and $2" | .site.RenderString -}} diff --git a/admin/site/themes/afp/layouts/partials/head.html b/admin/site/themes/afp/layouts/partials/head.html --- a/admin/site/themes/afp/layouts/partials/head.html +++ b/admin/site/themes/afp/layouts/partials/head.html @@ -1,66 +1,66 @@ - - - - - - {{- $siteTitle := ( .Site.Title ) -}} - {{- if or .IsHome (not .Params.title) -}} - {{- $siteTitle -}} - {{- else -}} - {{- .Params.title }} - {{ $siteTitle -}} - {{- end -}} - - {{- if (eq .Section "entries") -}} - - {{- else -}} - - {{- end -}} - - {{- with .OutputFormats.Get "rss" -}} - {{- printf `` .Rel .MediaType.Type .Permalink $.Site.Title | safeHTML -}} - {{- end -}} - - {{- template "_internal/opengraph.html" . -}} - {{- template "_internal/twitter_cards.html" . -}} - - {{ $options := (dict "targetPath" "css/front.css") }} - {{ $style := resources.Get "sass/main.scss" | toCSS $options | minify }} - - {{- if (eq .Section "theories") -}} - - {{ end }} - - - - {{- if or (eq .Section "entries") (eq .File.TranslationBaseName "search") -}} - {{/* - The following is the MathJax configuration. - This means that formulae can be enclosed in either $ … $ or \( … \) - */}} - - - {{ end }} - - {{- if eq .Section "entries" -}} - - {{- end -}} - - - - - {{- if (eq .File.TranslationBaseName "search") -}} - - {{- else -}} - - {{- end -}} - + + + + + + {{- $siteTitle := ( .Site.Title ) -}} + {{- if or .IsHome (not .Params.title) -}} + {{- $siteTitle -}} + {{- else -}} + {{- .Params.title }} - {{ $siteTitle -}} + {{- end -}} + + {{- if (eq .Section "entries") -}} + + {{- else -}} + + {{- end -}} + + {{- with .OutputFormats.Get "rss" -}} + {{- printf `` .Rel .MediaType.Type .Permalink $.Site.Title | safeHTML -}} + {{- end -}} + + {{- template "_internal/opengraph.html" . -}} + {{- template "_internal/twitter_cards.html" . -}} + + {{ $options := (dict "targetPath" "css/front.css") }} + {{ $style := resources.Get "sass/main.scss" | toCSS $options | minify }} + + {{- if (eq .Section "theories") -}} + + {{ end }} + + + + {{- if or (eq .Section "entries") (eq .File.BaseFileName "search") -}} + {{/* + The following is the MathJax configuration. + This means that formulae can be enclosed in either $ … $ or \( … \) + */}} + + + {{ end }} + + {{- if eq .Section "entries" -}} + + {{- end -}} + + + + + {{- if (eq .File.BaseFileName "search") -}} + + {{- else -}} + + {{- end -}} + diff --git a/admin/site/themes/afp/layouts/partials/header.html b/admin/site/themes/afp/layouts/partials/header.html --- a/admin/site/themes/afp/layouts/partials/header.html +++ b/admin/site/themes/afp/layouts/partials/header.html @@ -1,33 +1,37 @@ -
- {{ if and (ne .Kind "home") (ne .File.TranslationBaseName "search") -}} -
-
- - - -
-
- {{ end -}} - {{ .Scratch.Set "title" (default .Site.Title (default .Title .Params.name)) }} -

{{ title (.Scratch.Get "title") | replaceRE "[A-Z]" "$0" | safeHTML -}}{{- if (eq .Section "dependencies") }} Dependents{{ end -}} -

-
- {{ if (eq .Section "authors") -}} - {{ with (index $.Site.Data.authors .Title )}} - {{ with .website}} -

{{ . }}

- {{- end -}}{{- end -}}{{- end -}} - {{- $site := . -}} - {{ with .Params.authors}} -

{{- partial "authors.html" (dict "site" $site "authors" .) -}} - {{ with $site.Params.contributors }} - with contributions from {{ partial "authors.html" (dict "site" $site "authors" .) -}} - {{ end }} -

- {{ end }} - {{ with .Params.date }} -

{{- dateFormat "2 January 2006" . -}}

- {{ end }} -
+
+ {{ if and (ne .Kind "home") (ne .File.BaseFileName "search") -}} +
+
+ + + +
+
+ {{ end -}} + {{ if and (eq .Section "authors") (eq .Kind "term") -}} + {{ .Scratch.Set "title" (index (index .Site.Data.authors .Title) "name") }} + {{ else }} + {{ .Scratch.Set "title" (default .Site.Title (default .Title .Params.name)) }} + {{ end }} +

{{ title (.Scratch.Get "title") | replaceRE "[A-Z]" "$0" | safeHTML -}}{{- if (eq .Section "dependencies") }} Dependents{{ end -}} +

+
+ {{ if (eq .Section "authors") -}} + {{ with (index $.Site.Data.authors .Title )}} + {{ with .website}} +

{{ . }}

+ {{- end -}}{{- end -}}{{- end -}} + {{- $site := . -}} + {{ with .Params.authors}} +

{{- partial "authors.html" (dict "site" $site "authors" .) -}} + {{ with $site.Params.contributors }} + with contributions from {{ partial "authors.html" (dict "site" $site "authors" .) -}} + {{ end }} +

+ {{ end }} + {{ with .Params.date }} +

{{- dateFormat "2 January 2006" . -}}

+ {{ end }} +
\ No newline at end of file diff --git a/admin/site/themes/afp/layouts/partials/theory-navigation.html b/admin/site/themes/afp/layouts/partials/theory-navigation.html --- a/admin/site/themes/afp/layouts/partials/theory-navigation.html +++ b/admin/site/themes/afp/layouts/partials/theory-navigation.html @@ -1,38 +1,27 @@ -{{- $entryName := .File.TranslationBaseName -}} -
-
- - - - {{ $currentPage := . -}} - -
-
    - {{- range $map := .Params.theories }} - {{- range $key, $value := $map -}} -
  • {{- $key -}} - {{ with $value}} - - {{ end }} -
    • - {{- end }} - {{- end }} -
-
- -
+{{- $entry_name := .File.BaseFileName -}} +{{- $site := . -}} +
+
+ + + + {{ $currentPage := . -}} + +
+
    + {{- range .Params.theories }} +
  • {{ . }}
    • + {{- end }} +
+
+ +
diff --git a/admin/site/themes/afp/layouts/shortcodes/statistics.html b/admin/site/themes/afp/layouts/shortcodes/statistics.html --- a/admin/site/themes/afp/layouts/shortcodes/statistics.html +++ b/admin/site/themes/afp/layouts/shortcodes/statistics.html @@ -1,216 +1,216 @@ - - - - - - - - - - - - - - - - - -
{{ len (where .Site.RegularPages "Section" "==" "entries") }}Articles
{{ len $.Site.Taxonomies.authors }}Authors
~{{ lang.NumFmt 0 (mul (math.Round (div .Site.Data.statistics.num_lemmas 100)) 100) }}Lemmas
~{{ lang.NumFmt 0 (mul (math.Round (div .Site.Data.statistics.num_loc 100)) 100) }}Lines of Code
- -

Most used AFP articles:

- - - - - - - - {{ range $index, $element := first 12 .Site.Taxonomies.dependencies.ByCount }} - - - - - - {{ end }} -
NameUsed by ? articles
{{ add $index 1}}.{{ $element.Page.Title }}{{ $element.Count }}
- -{{- $Scratch := newScratch -}} - -{{- range ((where site.RegularPages "Section" "entries").GroupByDate "2006" ).Reverse -}} - {{- $collection := . -}} - {{- $Scratch.Add "years" (slice .Key) -}} - {{- with $Scratch.Get "articles_year" -}} - {{- $lastYearArticleCount := index (last 1 .) 0 -}} - {{- $articleCount := len $collection.Pages -}} - {{- $Scratch.Add "articles_year" (slice (int (add $articleCount $lastYearArticleCount))) -}} - {{- else }} - {{- $Scratch.Add "articles_year" (slice (len .Pages)) -}} - {{- end }} -{{- end }} - -{{- range (where site.RegularPages "Section" "entries").Reverse -}} -{{- $Scratch.Add "all_articles" (slice (printf "'%s'" .File.TranslationBaseName )) -}} -{{- end }} - - -

Growth in number of articles:

- -
- -
- - -

Growth in lines of code:

-
- -
- - -

Growth in number of authors:

-
- -
- - -

Size of articles:

-
- -
- - - - - - + + + + + + + + + + + + + + + + + +
{{ len (where .Site.RegularPages "Section" "==" "entries") }}Articles
{{ len $.Site.Taxonomies.authors }}Authors
~{{ lang.NumFmt 0 (mul (math.Round (div .Site.Data.statistics.num_lemmas 100)) 100) }}Lemmas
~{{ lang.NumFmt 0 (mul (math.Round (div .Site.Data.statistics.num_loc 100)) 100) }}Lines of Code
+ +

Most used AFP articles:

+ + + + + + + + {{ range $index, $element := first 12 .Site.Taxonomies.dependencies.ByCount }} + + + + + + {{ end }} +
NameUsed by ? articles
{{ add $index 1}}.{{ $element.Page.Title }}{{ $element.Count }}
+ +{{- $Scratch := newScratch -}} + +{{- range ((where site.RegularPages "Section" "entries").GroupByDate "2006" ).Reverse -}} + {{- $collection := . -}} + {{- $Scratch.Add "years" (slice .Key) -}} + {{- with $Scratch.Get "articles_year" -}} + {{- $lastYearArticleCount := index (last 1 .) 0 -}} + {{- $articleCount := len $collection.Pages -}} + {{- $Scratch.Add "articles_year" (slice (int (add $articleCount $lastYearArticleCount))) -}} + {{- else }} + {{- $Scratch.Add "articles_year" (slice (len .Pages)) -}} + {{- end }} +{{- end }} + +{{- range (where site.RegularPages "Section" "entries").Reverse -}} +{{- $Scratch.Add "all_articles" (slice (printf "'%s'" .File.BaseFileName )) -}} +{{- end }} + + +

Growth in number of articles:

+ +
+ +
+ + +

Growth in lines of code:

+
+ +
+ + +

Growth in number of authors:

+
+ +
+ + +

Size of articles:

+
+ +
+ + + + + + \ No newline at end of file diff --git a/admin/site/themes/afp/layouts/theories/single.html b/admin/site/themes/afp/layouts/theories/single.html --- a/admin/site/themes/afp/layouts/theories/single.html +++ b/admin/site/themes/afp/layouts/theories/single.html @@ -1,16 +1,13 @@ - {{- define "main" -}} - {{- $site := . -}} -
- {{ $file := printf "assets/theories/%s.html" $site.File.TranslationBaseName}} - {{ if fileExists $file -}} - {{ readFile $file | safeHTML }} - {{ else }} - {{- range .Params.theories }} - - {{- end }} - {{- end }} -
- - {{- end -}} \ No newline at end of file +{{- define "main" -}} +{{- $site := . -}} +
+ +
+ +{{- end -}} \ No newline at end of file diff --git a/admin/site/themes/afp/layouts/topics/terms.html b/admin/site/themes/afp/layouts/topics/terms.html --- a/admin/site/themes/afp/layouts/topics/terms.html +++ b/admin/site/themes/afp/layouts/topics/terms.html @@ -1,42 +1,42 @@ -{{ define "main" }} - {{ $topics := .Site.Taxonomies.topics }} - {{ range $firstLevel, $secondLevelTaxonomy := .Site.Data.topics }} -

{{ $firstLevel }}

- {{ with (index $topics (urlize $firstLevel)) }} -
- {{ range $key := .Pages.ByDate }} - {{ .File.TranslationBaseName }}   - {{ end }} -
- {{ end }} - {{ with $secondLevelTaxonomy }} - {{ range $secondLevel, $thirdLevelTaxonomy := . }} -

{{ $secondLevel }}

-
- {{ with (index $topics (printf "%s/%s" (urlize $firstLevel) (urlize $secondLevel))) }} - {{ range $key := .Pages.ByDate }} - {{ .File.TranslationBaseName }}   - {{ end }} - {{ end }} - {{ with $thirdLevelTaxonomy }} - - - {{ range $thirdLevel, $ignore := . }} - - - - - {{ end }} - -
{{ $thirdLevel }}{{ with (index $topics (printf "%s/%s/%s" (urlize $firstLevel) (urlize $secondLevel) (urlize $thirdLevel))) }} - {{ range $key := uniq .Pages.ByDate }} - {{ .File.TranslationBaseName }}   - {{ end }} - {{ end }} -
- {{ end }} -
- {{ end }} - {{ end }} - {{ end }} +{{ define "main" }} + {{ $topics := .Site.Taxonomies.topics }} + {{ range $firstLevel, $secondLevelTaxonomy := .Site.Data.topics }} +

{{ $firstLevel }}

+ {{ with (index $topics (urlize $firstLevel)) }} +
+ {{ range $key := .Pages.ByDate }} + {{ .File.BaseFileName }}   + {{ end }} +
+ {{ end }} + {{ with $secondLevelTaxonomy }} + {{ range $secondLevel, $thirdLevelTaxonomy := . }} +

{{ $secondLevel }}

+
+ {{ with (index $topics (printf "%s/%s" (urlize $firstLevel) (urlize $secondLevel))) }} + {{ range $key := .Pages.ByDate }} + {{ .File.BaseFileName }}   + {{ end }} + {{ end }} + {{ with $thirdLevelTaxonomy }} + + + {{ range $thirdLevel, $ignore := . }} + + + + + {{ end }} + +
{{ $thirdLevel }}{{ with (index $topics (printf "%s/%s/%s" (urlize $firstLevel) (urlize $secondLevel) (urlize $thirdLevel))) }} + {{ range $key := uniq .Pages.ByDate }} + {{ .File.BaseFileName }}   + {{ end }} + {{ end }} +
+ {{ end }} +
+ {{ end }} + {{ end }} + {{ end }} {{ end }} \ No newline at end of file diff --git a/admin/site/theories/_index.md b/admin/site/theories/_index.md deleted file mode 100644 --- a/admin/site/theories/_index.md +++ /dev/null @@ -1,6 +0,0 @@ ---- -# cascade: -# _build: -# render: false -# list: true # default ---- \ No newline at end of file