-
Notifications
You must be signed in to change notification settings - Fork 9
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
5 changed files
with
43 additions
and
43 deletions.
There are no files selected for viewing
Binary file not shown.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -1063,7 +1063,7 @@ <h2 id="general-list">General List<a class="headerlink" href="#general-list" tit | |
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><i>MkDocsConfig</i></td> | ||
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">{'config_file_path': '/home/runner/work/spoofax-pie/spoofax-pie/mkdocs.yml', 'site_name': 'Spoofax 3', 'nav': [{'Home': 'index.md'}, {'Tutorials': ['tutorial/install.md', 'tutorial/create_language_project.md', 'tutorial/change_static_semantics.md', 'tutorial/add_transformation.md', 'tutorial/pcf_tutorial.md']}, {'How-to Guides': ['guide/ask_for_help.md', 'guide/report_a_bug.md', {'Eclipse LWB': ['guide/eclipse_lwb/import.md', 'guide/eclipse_lwb/update.md', 'guide/eclipse_lwb/troubleshooting.md']}, {'Static Semantics': ['guide/static-semantics/code-completion.md']}, {'Development': ['guide/development/debugging-in-intellij.md', 'guide/development/troubleshooting.md']}]}, {'Reference': ['reference/configuration.md', 'reference/eclipse-lwb/eclipse-project-files.md']}, {'Background': ['background/documentation.md', 'background/motivation.md', 'background/key_ideas.md', 'background/status.md']}, {'Releases': ['release/download.md']}], 'pages': None, 'site_url': None, 'site_description': 'Spoofax 3 documentation website', 'site_author': None, 'theme': Theme(name='material', dirs=['/opt/hostedtoolcache/Python/3.8.18/x64/lib/python3.8/site-packages/material', '/opt/hostedtoolcache/Python/3.8.18/x64/lib/python3.8/site-packages/mkdocs/templates'], static_templates=['sitemap.xml', '404.html'], locale=Locale(language='en', territory=''), language='en', direction=None, features=['navigation.expand', 'navigation.instant', 'navigation.tabs', 'navigation.tabs.sticky', 'navigation.sections', 'navigation.indexes', 'navigation.top'], palette={'primary': 'indigo', 'accent': 'indigo'}, font={'code': 'JetBrains Mono'}, icon=None, favicon='assets/spoofax.png', include_search_page=False, search_index_only=True, logo='assets/spoofax.svg'), 'docs_dir': '/home/runner/work/spoofax-pie/spoofax-pie/docs', 'site_dir': '/home/runner/work/spoofax-pie/spoofax-pie/site', 'copyright': None, 'google_analytics': None, 'dev_addr': _IpAddressValue(host='127.0.0.1', port=8000), 'use_directory_urls': True, 'repo_url': 'https://github.com/metaborg/spoofax-pie', 'repo_name': 'metaborg/spoofax-pie', 'edit_uri_template': None, 'edit_uri': 'edit/master/docs/', 'extra_css': ['extra.css'], 'extra_javascript': [], 'extra_templates': [], 'markdown_extensions': ['toc', 'tables', 'fenced_code', 'abbr', 'admonition', 'attr_list', 'codehilite', 'def_list', 'pymdownx.betterem', 'pymdownx.caret', 'pymdownx.details', 'pymdownx.emoji', 'pymdownx.inlinehilite', 'pymdownx.keys', 'pymdownx.magiclink', 'pymdownx.mark', 'pymdownx.saneheaders', 'pymdownx.smartsymbols', 'pymdownx.snippets', 'pymdownx.superfences', 'pymdownx.tabbed', 'pymdownx.tasklist', 'pymdownx.tilde'], 'mdx_configs': {'codehilite': {'guess_lang': False}, 'toc': {'permalink': True}, 'pymdownx.betterem': {'smart_enable': 'all'}, 'pymdownx.emoji': {'emoji_index': <function twemoji at 0x7f69cd623ee0>, 'emoji_generator': <function to_svg at 0x7f69cd628310>}, 'pymdownx.tasklist': {'custom_checkbox': True}}, 'strict': False, 'remote_branch': 'gh-pages', 'remote_name': 'origin', 'extra': {}, 'plugins': PluginCollection([('search', <material.plugins.search.plugin.SearchPlugin object at 0x7f69ccb44550>), ('macros', <mkdocs_macros.plugin.MacrosPlugin object at 0x7f69ccb44fa0>), ('git-revision-date', <mkdocs_git_revision_date_plugin.plugin.GitRevisionDatePlugin object at 0x7f69ccb44d30>)]), 'hooks': {}, 'watch': []}</td> | ||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">{'config_file_path': '/home/runner/work/spoofax-pie/spoofax-pie/mkdocs.yml', 'site_name': 'Spoofax 3', 'nav': [{'Home': 'index.md'}, {'Tutorials': ['tutorial/install.md', 'tutorial/create_language_project.md', 'tutorial/change_static_semantics.md', 'tutorial/add_transformation.md', 'tutorial/pcf_tutorial.md']}, {'How-to Guides': ['guide/ask_for_help.md', 'guide/report_a_bug.md', {'Eclipse LWB': ['guide/eclipse_lwb/import.md', 'guide/eclipse_lwb/update.md', 'guide/eclipse_lwb/troubleshooting.md']}, {'Static Semantics': ['guide/static-semantics/code-completion.md']}, {'Development': ['guide/development/debugging-in-intellij.md', 'guide/development/troubleshooting.md']}]}, {'Reference': ['reference/configuration.md', 'reference/eclipse-lwb/eclipse-project-files.md']}, {'Background': ['background/documentation.md', 'background/motivation.md', 'background/key_ideas.md', 'background/status.md']}, {'Releases': ['release/download.md']}], 'pages': None, 'site_url': None, 'site_description': 'Spoofax 3 documentation website', 'site_author': None, 'theme': Theme(name='material', dirs=['/opt/hostedtoolcache/Python/3.8.18/x64/lib/python3.8/site-packages/material', '/opt/hostedtoolcache/Python/3.8.18/x64/lib/python3.8/site-packages/mkdocs/templates'], static_templates=['404.html', 'sitemap.xml'], locale=Locale(language='en', territory=''), language='en', direction=None, features=['navigation.expand', 'navigation.instant', 'navigation.tabs', 'navigation.tabs.sticky', 'navigation.sections', 'navigation.indexes', 'navigation.top'], palette={'primary': 'indigo', 'accent': 'indigo'}, font={'code': 'JetBrains Mono'}, icon=None, favicon='assets/spoofax.png', include_search_page=False, search_index_only=True, logo='assets/spoofax.svg'), 'docs_dir': '/home/runner/work/spoofax-pie/spoofax-pie/docs', 'site_dir': '/home/runner/work/spoofax-pie/spoofax-pie/site', 'copyright': None, 'google_analytics': None, 'dev_addr': _IpAddressValue(host='127.0.0.1', port=8000), 'use_directory_urls': True, 'repo_url': 'https://github.com/metaborg/spoofax-pie', 'repo_name': 'metaborg/spoofax-pie', 'edit_uri_template': None, 'edit_uri': 'edit/master/docs/', 'extra_css': ['extra.css'], 'extra_javascript': [], 'extra_templates': [], 'markdown_extensions': ['toc', 'tables', 'fenced_code', 'abbr', 'admonition', 'attr_list', 'codehilite', 'def_list', 'pymdownx.betterem', 'pymdownx.caret', 'pymdownx.details', 'pymdownx.emoji', 'pymdownx.inlinehilite', 'pymdownx.keys', 'pymdownx.magiclink', 'pymdownx.mark', 'pymdownx.saneheaders', 'pymdownx.smartsymbols', 'pymdownx.snippets', 'pymdownx.superfences', 'pymdownx.tabbed', 'pymdownx.tasklist', 'pymdownx.tilde'], 'mdx_configs': {'codehilite': {'guess_lang': False}, 'toc': {'permalink': True}, 'pymdownx.betterem': {'smart_enable': 'all'}, 'pymdownx.emoji': {'emoji_index': <function twemoji at 0x7fc3700a3f70>, 'emoji_generator': <function to_svg at 0x7fc3700a53a0>}, 'pymdownx.tasklist': {'custom_checkbox': True}}, 'strict': False, 'remote_branch': 'gh-pages', 'remote_name': 'origin', 'extra': {}, 'plugins': PluginCollection([('search', <material.plugins.search.plugin.SearchPlugin object at 0x7fc36f5836d0>), ('macros', <mkdocs_macros.plugin.MacrosPlugin object at 0x7fc36f583eb0>), ('git-revision-date', <mkdocs_git_revision_date_plugin.plugin.GitRevisionDatePlugin object at 0x7fc36f583fa0>)]), 'hooks': {}, 'watch': []}</td> | ||
|
||
</tr> | ||
|
||
|
@@ -1093,7 +1093,7 @@ <h2 id="general-list">General List<a class="headerlink" href="#general-list" tit | |
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><i>dict</i></td> | ||
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">status = True, <b>date</b> [<i>datetime</i>], short_commit = 'b857301', commit = 'b857301ab852c5bfed734cfab4902b9c01691512', tag = '', author = 'Jeff Smits', author_email = 'mail@jeffsmits.net', committer = 'GitHub', committer_email = '[email protected]', date_ISO = 'Fri Jun 21 16:05:48 2024 +0200', message = 'SDF3 placeholder syntax configuration', raw = 'commit b857301ab852c5bfed734cfab4902b9c01691512\nAuthor: Jeff Smits <mail@jeffsmits.net>\nDate: Fri Jun 21 16:05:48 2024 +0200\n\n SDF3 placeholder syntax configuration', root_dir = '/home/runner/work/spoofax-pie/spoofax-pie'</td> | ||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">status = True, <b>date</b> [<i>datetime</i>], short_commit = '489eff3', commit = '489eff38e606c41595eb8f7e348710db8c39d625', tag = '', author = 'Daniel A. A. Pelsmaeker', author_email = 'developer@pelsmaeker.net', committer = 'Daniel A. A. Pelsmaeker', committer_email = '[email protected]', date_ISO = 'Tue Jun 25 10:15:24 2024 +0200', message = 'Release 0.21.0', raw = 'commit 489eff38e606c41595eb8f7e348710db8c39d625\nAuthor: Daniel A. A. Pelsmaeker <developer@pelsmaeker.net>\nDate: Tue Jun 25 10:14:51 2024 +0200\n\n Release 0.21.0', root_dir = '/home/runner/work/spoofax-pie/spoofax-pie'</td> | ||
|
||
</tr> | ||
|
||
|
@@ -1163,7 +1163,7 @@ <h2 id="general-list">General List<a class="headerlink" href="#general-list" tit | |
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><i>Files</i></td> | ||
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><mkdocs.structure.files.Files object at 0x7f69ccb540d0></td> | ||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><mkdocs.structure.files.Files object at 0x7fc370ca30a0></td> | ||
|
||
</tr> | ||
|
||
|
@@ -1268,7 +1268,7 @@ <h2 id="config-information">Config Information<a class="headerlink" href="#confi | |
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><i>Theme</i></td> | ||
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">Theme(name='material', dirs=['/opt/hostedtoolcache/Python/3.8.18/x64/lib/python3.8/site-packages/material', '/opt/hostedtoolcache/Python/3.8.18/x64/lib/python3.8/site-packages/mkdocs/templates'], static_templates=['sitemap.xml', '404.html'], locale=Locale(language='en', territory=''), language='en', direction=None, features=['navigation.expand', 'navigation.instant', 'navigation.tabs', 'navigation.tabs.sticky', 'navigation.sections', 'navigation.indexes', 'navigation.top'], palette={'primary': 'indigo', 'accent': 'indigo'}, font={'code': 'JetBrains Mono'}, icon=None, favicon='assets/spoofax.png', include_search_page=False, search_index_only=True, logo='assets/spoofax.svg')</td> | ||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">Theme(name='material', dirs=['/opt/hostedtoolcache/Python/3.8.18/x64/lib/python3.8/site-packages/material', '/opt/hostedtoolcache/Python/3.8.18/x64/lib/python3.8/site-packages/mkdocs/templates'], static_templates=['404.html', 'sitemap.xml'], locale=Locale(language='en', territory=''), language='en', direction=None, features=['navigation.expand', 'navigation.instant', 'navigation.tabs', 'navigation.tabs.sticky', 'navigation.sections', 'navigation.indexes', 'navigation.top'], palette={'primary': 'indigo', 'accent': 'indigo'}, font={'code': 'JetBrains Mono'}, icon=None, favicon='assets/spoofax.png', include_search_page=False, search_index_only=True, logo='assets/spoofax.svg')</td> | ||
|
||
</tr> | ||
|
||
|
@@ -1577,7 +1577,7 @@ <h2 id="git-information">Git Information<a class="headerlink" href="#git-informa | |
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><i>datetime</i></td> | ||
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">datetime.datetime(2024, 6, 21, 16, 5, 48, tzinfo=tzoffset(None, 7200))</td> | ||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">datetime.datetime(2024, 6, 25, 10, 15, 24, tzinfo=tzoffset(None, 7200))</td> | ||
|
||
</tr> | ||
|
||
|
@@ -1587,7 +1587,7 @@ <h2 id="git-information">Git Information<a class="headerlink" href="#git-informa | |
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><i>str</i></td> | ||
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'b857301'</td> | ||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'489eff3'</td> | ||
|
||
</tr> | ||
|
||
|
@@ -1597,7 +1597,7 @@ <h2 id="git-information">Git Information<a class="headerlink" href="#git-informa | |
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><i>str</i></td> | ||
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'b857301ab852c5bfed734cfab4902b9c01691512'</td> | ||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'489eff38e606c41595eb8f7e348710db8c39d625'</td> | ||
|
||
</tr> | ||
|
||
|
@@ -1617,7 +1617,7 @@ <h2 id="git-information">Git Information<a class="headerlink" href="#git-informa | |
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><i>str</i></td> | ||
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'Jeff Smits'</td> | ||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'Daniel A. A. Pelsmaeker'</td> | ||
|
||
</tr> | ||
|
||
|
@@ -1627,7 +1627,7 @@ <h2 id="git-information">Git Information<a class="headerlink" href="#git-informa | |
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><i>str</i></td> | ||
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'mail@jeffsmits.net'</td> | ||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'developer@pelsmaeker.net'</td> | ||
|
||
</tr> | ||
|
||
|
@@ -1637,7 +1637,7 @@ <h2 id="git-information">Git Information<a class="headerlink" href="#git-informa | |
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><i>str</i></td> | ||
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'GitHub'</td> | ||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'Daniel A. A. Pelsmaeker'</td> | ||
|
||
</tr> | ||
|
||
|
@@ -1647,7 +1647,7 @@ <h2 id="git-information">Git Information<a class="headerlink" href="#git-informa | |
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><i>str</i></td> | ||
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'[email protected]'</td> | ||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'[email protected]'</td> | ||
|
||
</tr> | ||
|
||
|
@@ -1657,7 +1657,7 @@ <h2 id="git-information">Git Information<a class="headerlink" href="#git-informa | |
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><i>str</i></td> | ||
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'Fri Jun 21 16:05:48 2024 +0200'</td> | ||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'Tue Jun 25 10:15:24 2024 +0200'</td> | ||
|
||
</tr> | ||
|
||
|
@@ -1667,7 +1667,7 @@ <h2 id="git-information">Git Information<a class="headerlink" href="#git-informa | |
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><i>str</i></td> | ||
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'SDF3 placeholder syntax configuration'</td> | ||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'Release 0.21.0'</td> | ||
|
||
</tr> | ||
|
||
|
@@ -1677,7 +1677,7 @@ <h2 id="git-information">Git Information<a class="headerlink" href="#git-informa | |
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><i>str</i></td> | ||
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'commit b857301ab852c5bfed734cfab4902b9c01691512\nAuthor: Jeff Smits <mail@jeffsmits.net>\nDate: Fri Jun 21 16:05:48 2024 +0200\n\n SDF3 placeholder syntax configuration'</td> | ||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'commit 489eff38e606c41595eb8f7e348710db8c39d625\nAuthor: Daniel A. A. Pelsmaeker <developer@pelsmaeker.net>\nDate: Tue Jun 25 10:14:51 2024 +0200\n\n Release 0.21.0'</td> | ||
|
||
</tr> | ||
|
||
|
@@ -1783,7 +1783,7 @@ <h2 id="page-attributes">Page Attributes<a class="headerlink" href="#page-attrib | |
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><i>str</i></td> | ||
|
||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'2024-06-21'</td> | ||
<td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'2024-06-25'</td> | ||
|
||
</tr> | ||
|
||
|
Large diffs are not rendered by default.
Oops, something went wrong.
Oops, something went wrong.