-
Notifications
You must be signed in to change notification settings - Fork 1
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
Archive Bot
committed
Nov 26, 2024
0 parents
commit d293e29
Showing
21,141 changed files
with
1,359,132 additions
and
0 deletions.
The diff you're trying to view is too large. We only load the first 3000 changed files.
There are no files selected for viewing
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 |
|---|---|---|
| @@ -0,0 +1,20 @@ | ||
| on: | ||
| schedule: | ||
| - cron: '0 */4 * * *' | ||
|
|
||
| jobs: | ||
| publish_archive_job: | ||
| runs-on: ubuntu-latest | ||
| name: A job to publish zulip-archive in GitHub pages | ||
| steps: | ||
| - name: Checkout | ||
| uses: actions/checkout@v3 | ||
| - name: Run archive | ||
| id: archive | ||
| uses: zulip/zulip-archive@master | ||
| with: | ||
| zulip_organization_url: ${{ secrets.zulip_organization_url }} | ||
| zulip_bot_email: ${{ secrets.zulip_bot_email }} | ||
| zulip_bot_key: ${{ secrets.zulip_bot_key }} | ||
| github_token: ${{ secrets.GITHUB_TOKEN }} | ||
| delete_history: true |
Empty file.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
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 |
|---|---|---|
| @@ -0,0 +1,42 @@ | ||
| <html> | ||
| <head><meta charset="utf-8"><title>Zulip Chat Archive</title></head> | ||
| <hr> | ||
|
|
||
| <h2>Streams:</h2> | ||
|
|
||
| <ul> | ||
| <li> <a href="stream/336180-Archive-Mirror.3A-Isabelle-Users-Mailing-List/index.html">Archive Mirror: Isabelle Users Mailing List</a> (6817 topics) </li> | ||
|
|
||
| <li> <a href="stream/247541-Mirror.3A-Isabelle-Users-Mailing-List/index.html">Mirror: Isabelle Users Mailing List</a> (1615 topics) </li> | ||
|
|
||
| <li> <a href="stream/238552-Beginner-Questions/index.html">Beginner Questions</a> (820 topics) </li> | ||
|
|
||
| <li> <a href="stream/202961-General/index.html">General</a> (345 topics) </li> | ||
|
|
||
| <li> <a href="stream/247542-Mirror.3A-Isabelle-Development-Mailing-List/index.html">Mirror: Isabelle Development Mailing List</a> (214 topics) </li> | ||
|
|
||
| <li> <a href="stream/211483-Isabelle.2FML/index.html">Isabelle/ML</a> (78 topics) </li> | ||
|
|
||
| <li> <a href="stream/214136-Announcements/index.html">Announcements</a> (37 topics) </li> | ||
|
|
||
| <li> <a href="stream/285459-Is-there-code-for-X.3F/index.html">Is there code for X?</a> (24 topics) </li> | ||
|
|
||
| <li> <a href="stream/202968-quantum-computing/index.html">quantum computing</a> (22 topics) </li> | ||
|
|
||
| <li> <a href="stream/202967-New-Members-.26-Projects/index.html">New Members & Projects</a> (18 topics) </li> | ||
|
|
||
| <li> <a href="stream/245944-Proof-Ground/index.html">Proof Ground</a> (7 topics) </li> | ||
|
|
||
| <li> <a href="stream/285806-SErAPIS/index.html">SErAPIS</a> (6 topics) </li> | ||
|
|
||
| <li> <a href="stream/203204-Machine-Learning-for-Isabelle/index.html">Machine Learning for Isabelle</a> (5 topics) </li> | ||
|
|
||
| <li> <a href="stream/211306-Lie/index.html">Lie</a> (3 topics) </li> | ||
|
|
||
| <li> <a href="stream/282466-IRC-.23isabelle/index.html">IRC #isabelle</a> (2 topics) </li> | ||
|
|
||
| <li> <a href="stream/336168-EMail-Test/index.html">EMail Test</a> (1 topic) </li> | ||
| </ul> | ||
|
|
||
| <hr><p>Last updated: Nov 26 2024 at 08:26 UTC</p> | ||
| </html> |
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 |
|---|---|---|
| @@ -0,0 +1,6 @@ | ||
| <?xml version="1.0" encoding="UTF-8"?> | ||
| <sitemapindex xmlns="http://www.sitemaps.org/schemas/sitemap/0.9"> | ||
| <!-- Powered by https://github.com/pigs-will-fly/py-xml-sitemap-writer --> | ||
| <!-- 1385 urls --> | ||
| <sitemap><loc>http://isabelle.systems/zulip-archive/sitemap-001-pages.xml.gz</loc></sitemap> | ||
| </sitemapindex> |
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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,19 @@ | ||
| <html> | ||
| <head><meta charset="utf-8"><title>(no topic) · General · Zulip Chat Archive</title></head> | ||
| <h2>Stream: <a href="http://isabelle.systems/zulip-archive/stream/202961-General/index.html">General</a></h2> | ||
| <h3>Topic: <a href="http://isabelle.systems/zulip-archive/stream/202961-General/topic/(no.20topic).html">(no topic)</a></h3> | ||
|
|
||
| <hr> | ||
|
|
||
| <base href="https://isabelle.zulipchat.com/"> | ||
|
|
||
| <head><link href="http://isabelle.systems/zulip-archive/style.css" rel="stylesheet"></head> | ||
|
|
||
| <a name="262744558"></a> | ||
| <h4><a href="https://isabelle.zulipchat.com/#narrow/stream/202961-General/topic/%28no%20topic%29/near/262744558" class="zl"><img src="http://isabelle.systems/zulip-archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Simon Wimmer <a href="http://isabelle.systems/zulip-archive/stream/202961-General/topic/(no.20topic).html#262744558">(Nov 25 2021 at 22:21)</a>:</h4> | ||
| <p>Ah nice! I'll ask him about it.</p> | ||
|
|
||
|
|
||
|
|
||
| <hr><p>Last updated: Jul 15 2022 at 23:21 UTC</p> | ||
| </html> |
173 changes: 173 additions & 0 deletions
173
...m/202961-General/topic/.22Real.22.20imperative.20code.20generation.20from.20Isabelle.html
Large diffs are not rendered by default.
Oops, something went wrong.
Oops, something went wrong.