-
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
Dec 1, 2024
0 parents
commit 933ad22
Showing
21,163 changed files
with
1,360,192 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> (1621 topics) </li> | ||
|
|
||
| <li> <a href="stream/238552-Beginner-Questions/index.html">Beginner Questions</a> (821 topics) </li> | ||
|
|
||
| <li> <a href="stream/202961-General/index.html">General</a> (346 topics) </li> | ||
|
|
||
| <li> <a href="stream/247542-Mirror.3A-Isabelle-Development-Mailing-List/index.html">Mirror: Isabelle Development Mailing List</a> (215 topics) </li> | ||
|
|
||
| <li> <a href="stream/211483-Isabelle.2FML/index.html">Isabelle/ML</a> (79 topics) </li> | ||
|
|
||
| <li> <a href="stream/214136-Announcements/index.html">Announcements</a> (38 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: Dec 01 2024 at 04:25 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 --> | ||
| <!-- 1389 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.