-
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
1 parent
39fa36f
commit f6677e2
Showing
5 changed files
with
40 additions
and
40 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 |
|---|---|---|
|
|
@@ -1031,7 +1031,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']}, {'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 0x7fdff870c550>, 'emoji_generator': <function to_svg at 0x7fdff870c940>}, '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 0x7fdff7c718e0>), ('macros', <mkdocs_macros.plugin.MacrosPlugin object at 0x7fdff7c71f10>), ('git-revision-date', <mkdocs_git_revision_date_plugin.plugin.GitRevisionDatePlugin object at 0x7fdff7c714f0>)]), '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']}, {'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 0x7f902fa8c550>, 'emoji_generator': <function to_svg at 0x7f902fa8c940>}, '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 0x7f902eff0940>), ('macros', <mkdocs_macros.plugin.MacrosPlugin object at 0x7f902eff0fd0>), ('git-revision-date', <mkdocs_git_revision_date_plugin.plugin.GitRevisionDatePlugin object at 0x7f902eff0550>)]), 'hooks': {}, 'watch': []}</td> | ||
|
|
||
| </tr> | ||
|
|
||
|
|
@@ -1041,7 +1041,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">system = 'Linux', system_version = '6.2.0-1019-azure', python_version = '3.8.18', mkdocs_version = '1.4.0', macros_plugin_version = '0.7.0', jinja2_version = '3.1.3'</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">system = 'Linux', system_version = '6.5.0-1015-azure', python_version = '3.8.18', mkdocs_version = '1.4.0', macros_plugin_version = '0.7.0', jinja2_version = '3.1.3'</td> | ||
|
|
||
| </tr> | ||
|
|
||
|
|
@@ -1061,7 +1061,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 = '7f87f5c', commit = '7f87f5cba80b11e491678d7bcf074427fe20f9a2', tag = '', author = 'Jeff Smits', author_email = '[email protected]', committer = 'Jeff Smits', committer_email = '[email protected]', date_ISO = 'Fri Feb 9 17:20:32 2024 +0100', message = 'Add 0.19.6 to docs', raw = 'commit 7f87f5cba80b11e491678d7bcf074427fe20f9a2\nAuthor: Jeff Smits <j[email protected]>\nDate: Fri Feb 9 17:20:19 2024 +0100\n\n Add 0.19.6 to docs', 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 = 'b5135ea', commit = 'b5135eab3918a4564a4c1ff9ad24f22d9e7fedbf', tag = '', author = 'Jeff Smits', author_email = '[email protected]', committer = 'Jeff Smits', committer_email = '[email protected]', date_ISO = 'Wed Feb 28 15:16:58 2024 +0100', message = 'Add missing packaging of Java-based strategies in SPT (+ fixup in sdf3_ext_statix)', raw = 'commit b5135eab3918a4564a4c1ff9ad24f22d9e7fedbf\nAuthor: Jeff Smits <j[email protected]>\nDate: Wed Feb 28 15:16:58 2024 +0100\n\n Add missing packaging of Java-based strategies in SPT (+ fixup in sdf3_ext_statix)', root_dir = '/home/runner/work/spoofax-pie/spoofax-pie'</td> | ||
|
|
||
| </tr> | ||
|
|
||
|
|
@@ -1131,7 +1131,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 0x7fdff97f49d0></td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><mkdocs.structure.files.Files object at 0x7f9030712340></td> | ||
|
|
||
| </tr> | ||
|
|
||
|
|
@@ -1236,7 +1236,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> | ||
|
|
||
|
|
@@ -1545,7 +1545,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, 2, 9, 17, 20, 32, tzinfo=tzoffset(None, 3600))</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">datetime.datetime(2024, 2, 28, 15, 16, 58, tzinfo=tzoffset(None, 3600))</td> | ||
|
|
||
| </tr> | ||
|
|
||
|
|
@@ -1555,7 +1555,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">'7f87f5c'</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'b5135ea'</td> | ||
|
|
||
| </tr> | ||
|
|
||
|
|
@@ -1565,7 +1565,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">'7f87f5cba80b11e491678d7bcf074427fe20f9a2'</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'b5135eab3918a4564a4c1ff9ad24f22d9e7fedbf'</td> | ||
|
|
||
| </tr> | ||
|
|
||
|
|
@@ -1625,7 +1625,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 Feb 9 17:20:32 2024 +0100'</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'Wed Feb 28 15:16:58 2024 +0100'</td> | ||
|
|
||
| </tr> | ||
|
|
||
|
|
@@ -1635,7 +1635,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">'Add 0.19.6 to docs'</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'Add missing packaging of Java-based strategies in SPT (+ fixup in sdf3_ext_statix)'</td> | ||
|
|
||
| </tr> | ||
|
|
||
|
|
@@ -1645,7 +1645,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 7f87f5cba80b11e491678d7bcf074427fe20f9a2\nAuthor: Jeff Smits <j[email protected]>\nDate: Fri Feb 9 17:20:19 2024 +0100\n\n Add 0.19.6 to docs'</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'commit b5135eab3918a4564a4c1ff9ad24f22d9e7fedbf\nAuthor: Jeff Smits <j[email protected]>\nDate: Wed Feb 28 15:16:58 2024 +0100\n\n Add missing packaging of Java-based strategies in SPT (+ fixup in sdf3_ext_statix)'</td> | ||
|
|
||
| </tr> | ||
|
|
||
|
|
@@ -1751,7 +1751,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-02-09'</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'2024-02-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.