-
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
4 changed files
with
14 additions
and
14 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 0x7fe6ca1dd1f0>, 'emoji_generator': <function to_svg at 0x7fe6ca1dd5e0>}, '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 0x7fe6c97037c0>), ('macros', <mkdocs_macros.plugin.MacrosPlugin object at 0x7fe6c9703f40>), ('git-revision-date', <mkdocs_git_revision_date_plugin.plugin.GitRevisionDatePlugin object at 0x7fe6c9703e20>)]), '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 0x7f300be5d1f0>, 'emoji_generator': <function to_svg at 0x7f300be5d5e0>}, '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 0x7f300b3837c0>), ('macros', <mkdocs_macros.plugin.MacrosPlugin object at 0x7f300b383f40>), ('git-revision-date', <mkdocs_git_revision_date_plugin.plugin.GitRevisionDatePlugin object at 0x7f300b383e20>)]), '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 = '7a1e6d3', commit = '7a1e6d3d59d9fb90dc4e3d65f46327e20775fade', tag = '', author = 'Jeff Smits', author_email = '[email protected]', committer = 'Jeff Smits', committer_email = '[email protected]', date_ISO = 'Mon Jul 29 17:00:31 2024 +0200', message = 'Change javax.annotation.Generated from jsr205 to jakarta.annotation.Generated from jakarta.annotation:annotation-api', raw = 'commit 7a1e6d3d59d9fb90dc4e3d65f46327e20775fade\nAuthor: Jeff Smits <j[email protected]>\nDate: Mon Jul 29 16:58:17 2024 +0200\n\n Change javax.annotation.Generated from jsr205 to jakarta.annotation.Generated from jakarta.annotation:annotation-api', 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 = 'acae144', commit = 'acae144902431631dc23f872e7f8e1348f66aef2', tag = '', author = 'Daniel A. A. Pelsmaeker', author_email = '[email protected]', committer = 'Daniel A. A. Pelsmaeker', committer_email = '[email protected]', date_ISO = 'Mon Jul 29 17:11:04 2024 +0200', message = 'Also build develop branch', raw = 'commit acae144902431631dc23f872e7f8e1348f66aef2\nAuthor: Daniel A. A. Pelsmaeker <developer@pelsmaeker.net>\nDate: Mon Jul 29 17:11:04 2024 +0200\n\n Also build develop branch', 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 0x7fe6cae070a0></td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><mkdocs.structure.files.Files object at 0x7f300ca680a0></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, 29, 17, 0, 31, tzinfo=tzoffset(None, 7200))</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">datetime.datetime(2024, 7, 29, 17, 11, 4, 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">'7a1e6d3'</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'acae144'</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">'7a1e6d3d59d9fb90dc4e3d65f46327e20775fade'</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'acae144902431631dc23f872e7f8e1348f66aef2'</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">'[email protected]'</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'[email protected]'</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">'Jeff Smits'</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">'Mon Jul 29 17:00:31 2024 +0200'</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'Mon Jul 29 17:11:04 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">'Change javax.annotation.Generated from jsr205 to jakarta.annotation.Generated from jakarta.annotation:annotation-api'</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'Also build develop branch'</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 7a1e6d3d59d9fb90dc4e3d65f46327e20775fade\nAuthor: Jeff Smits <j[email protected]>\nDate: Mon Jul 29 16:58:17 2024 +0200\n\n Change javax.annotation.Generated from jsr205 to jakarta.annotation.Generated from jakarta.annotation:annotation-api'</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'commit acae144902431631dc23f872e7f8e1348f66aef2\nAuthor: Daniel A. A. Pelsmaeker <developer@pelsmaeker.net>\nDate: Mon Jul 29 17:11:04 2024 +0200\n\n Also build develop branch'</td> | ||
|
|
||
| </tr> | ||
|
|
||
|
|
||
Large diffs are not rendered by default.
Oops, something went wrong.
Binary file not shown.