-
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
39 additions
and
39 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=['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 0x7f70478dd1f0>, 'emoji_generator': <function to_svg at 0x7f70478dd5e0>}, '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 0x7f7046e047c0>), ('macros', <mkdocs_macros.plugin.MacrosPlugin object at 0x7f7046e04f40>), ('git-revision-date', <mkdocs_git_revision_date_plugin.plugin.GitRevisionDatePlugin object at 0x7f7046e04e20>)]), '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=['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 0x7f1d4c19d1f0>, 'emoji_generator': <function to_svg at 0x7f1d4c19d5e0>}, '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 0x7f1d4b6c47c0>), ('macros', <mkdocs_macros.plugin.MacrosPlugin object at 0x7f1d4b6c4f40>), ('git-revision-date', <mkdocs_git_revision_date_plugin.plugin.GitRevisionDatePlugin object at 0x7f1d4b6c4e20>)]), '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 = '609210e', commit = '609210eea282756b72b9d695bf4ef791638387e1', tag = '', author = 'Daniel A. A. Pelsmaeker', author_email = '[email protected]', committer = 'Daniel A. A. Pelsmaeker', committer_email = '[email protected]', date_ISO = 'Wed Jul 24 17:54:34 2024 +0200', message = 'javax to jakarta', raw = 'commit 609210eea282756b72b9d695bf4ef791638387e1\nAuthor: Daniel A. A. Pelsmaeker <developer@pelsmaeker.net>\nDate: Wed Jul 24 17:54:34 2024 +0200\n\n javax to jakarta', 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 = '92c1e0f', commit = '92c1e0f8220ee442b292f54995a3a9cd0fdd80d5', tag = '', author = 'Daniel A. A. Pelsmaeker', author_email = '[email protected]', committer = 'Daniel A. A. Pelsmaeker', committer_email = '[email protected]', date_ISO = 'Sun Jul 28 22:07:16 2024 +0200', message = 'Debug added dependencies', raw = 'commit 92c1e0f8220ee442b292f54995a3a9cd0fdd80d5\nAuthor: Daniel A. A. Pelsmaeker <developer@pelsmaeker.net>\nDate: Sun Jul 28 21:45:57 2024 +0200\n\n Debug added dependencies', 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 0x7f70484ee0a0></td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><mkdocs.structure.files.Files object at 0x7f1d4cdad0a0></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=['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> | ||
| <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> | ||
|
|
||
| </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, 7, 24, 17, 54, 34, tzinfo=tzoffset(None, 7200))</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">datetime.datetime(2024, 7, 28, 22, 7, 16, 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">'609210e'</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'92c1e0f'</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">'609210eea282756b72b9d695bf4ef791638387e1'</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'92c1e0f8220ee442b292f54995a3a9cd0fdd80d5'</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">'Wed Jul 24 17:54:34 2024 +0200'</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'Sun Jul 28 22:07:16 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">'javax to jakarta'</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'Debug added dependencies'</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 609210eea282756b72b9d695bf4ef791638387e1\nAuthor: Daniel A. A. Pelsmaeker <developer@pelsmaeker.net>\nDate: Wed Jul 24 17:54:34 2024 +0200\n\n javax to jakarta'</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'commit 92c1e0f8220ee442b292f54995a3a9cd0fdd80d5\nAuthor: Daniel A. A. Pelsmaeker <developer@pelsmaeker.net>\nDate: Sun Jul 28 21:45:57 2024 +0200\n\n Debug added dependencies'</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-07-24'</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'2024-07-28'</td> | ||
|
|
||
| </tr> | ||
|
|
||
|
|
||
Large diffs are not rendered by default.
Oops, something went wrong.
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
Binary file not shown.