-
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
42 additions
and
42 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=['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 0x7fcd28a36550>, 'emoji_generator': <function to_svg at 0x7fcd28a36700>}, '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 0x7fcd27f91130>), ('macros', <mkdocs_macros.plugin.MacrosPlugin object at 0x7fcd27f91b80>), ('git-revision-date', <mkdocs_git_revision_date_plugin.plugin.GitRevisionDatePlugin object at 0x7fcd27f919a0>)]), '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 0x7f1826712550>, 'emoji_generator': <function to_svg at 0x7f1826712700>}, '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 0x7f1825c6d0d0>), ('macros', <mkdocs_macros.plugin.MacrosPlugin object at 0x7f1825c6db20>), ('git-revision-date', <mkdocs_git_revision_date_plugin.plugin.GitRevisionDatePlugin object at 0x7f1825c6d940>)]), 'hooks': {}, 'watch': []}</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 = '0d9c72d', commit = '0d9c72d63e2dc2e5d0c7844e90e10819a6109514', tag = '', author = 'A.S. Zwaan', author_email = 'AZWN@users.noreply.github.com', committer = 'GitHub', committer_email = 'noreply@github.com', date_ISO = 'Wed Oct 4 17:22:18 2023 +0200', message = 'Add missing Statix property primitives', raw = 'commit 0d9c72d63e2dc2e5d0c7844e90e10819a6109514\nAuthor: A.S. Zwaan <AZWN@users.noreply.github.com>\nDate: Wed Oct 4 17:22:18 2023 +0200\n\n Add missing Statix property primitives', 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 = '7c46d64', commit = '7c46d645bdf91a528da58e11e795476df8e6a4b0', tag = '', author = 'Daniel A. A. Pelsmaeker', author_email = '647530+Virtlink@users.noreply.github.com', committer = 'Daniel A. A. Pelsmaeker', committer_email = '[email protected].github.com', date_ISO = 'Fri Oct 6 23:59:04 2023 +0200', message = 'Override Tiger dependencies', raw = 'commit 7c46d645bdf91a528da58e11e795476df8e6a4b0\nAuthor: Daniel A. A. Pelsmaeker <647530+Virtlink@users.noreply.github.com>\nDate: Fri Oct 6 23:59:04 2023 +0200\n\n Override Tiger dependencies', 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 0x7fcd29622cd0></td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px"><mkdocs.structure.files.Files object at 0x7f1827309c10></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(2023, 10, 4, 17, 22, 18, tzinfo=tzoffset(None, 7200))</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">datetime.datetime(2023, 10, 6, 23, 59, 4, tzinfo=tzoffset(None, 7200))</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">'0d9c72d'</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'7c46d64'</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">'0d9c72d63e2dc2e5d0c7844e90e10819a6109514'</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'7c46d645bdf91a528da58e11e795476df8e6a4b0'</td> | ||
|
|
||
| </tr> | ||
|
|
||
|
|
@@ -1585,7 +1585,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">'A.S. Zwaan'</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'Daniel A. A. Pelsmaeker'</td> | ||
|
|
||
| </tr> | ||
|
|
||
|
|
@@ -1595,7 +1595,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">'AZWN@users.noreply.github.com'</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'647530+Virtlink@users.noreply.github.com'</td> | ||
|
|
||
| </tr> | ||
|
|
||
|
|
@@ -1605,7 +1605,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> | ||
|
|
||
|
|
@@ -1615,7 +1615,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">'noreply@github.com'</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'[email protected].github.com'</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">'Wed Oct 4 17:22:18 2023 +0200'</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'Fri Oct 6 23:59:04 2023 +0200'</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 missing Statix property primitives'</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'Override Tiger dependencies'</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 0d9c72d63e2dc2e5d0c7844e90e10819a6109514\nAuthor: A.S. Zwaan <AZWN@users.noreply.github.com>\nDate: Wed Oct 4 17:22:18 2023 +0200\n\n Add missing Statix property primitives'</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'commit 7c46d645bdf91a528da58e11e795476df8e6a4b0\nAuthor: Daniel A. A. Pelsmaeker <647530+Virtlink@users.noreply.github.com>\nDate: Fri Oct 6 23:59:04 2023 +0200\n\n Override Tiger dependencies'</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">'2023-10-04'</td> | ||
| <td style="vertical-align:top; border:1px solid #DCDCDC; padding: 5px">'2023-10-06'</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.