Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Warn about outdated content & misc. housekeeping & slicing/caching docs #14

Merged
merged 17 commits into from
Nov 23, 2023
Merged

Warn about outdated content & misc. housekeeping & slicing/caching docs #14

merged 17 commits into from
Nov 23, 2023

Commits on Oct 24, 2023

  1. Remove duplicate page

    @FliegendeWurst
    FliegendeWurst committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    ac9a359 View commit details
    Browse the repository at this point in the history

  2. 2.12.1 changelog

    @FliegendeWurst
    FliegendeWurst committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    4de4778 View commit details
    Browse the repository at this point in the history

  3. Put warning labels on outdated pages

    @FliegendeWurst
    FliegendeWurst committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    1611320 View commit details
    Browse the repository at this point in the history

  4. Fix links

    @FliegendeWurst
    FliegendeWurst committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    45ba8ce View commit details
    Browse the repository at this point in the history

Commits on Oct 30, 2023

  1. Fix outdated comment about DF sources

    @FliegendeWurst
    FliegendeWurst committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    49ff0fd View commit details
    Browse the repository at this point in the history

Commits on Nov 2, 2023

  1. Proof Caching external database

    @FliegendeWurst
    FliegendeWurst committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    6e51399 View commit details
    Browse the repository at this point in the history

Commits on Nov 4, 2023

  1. Fancy comparision picture for chain shortening

    @FliegendeWurst
    FliegendeWurst committed Nov 4, 2023
    Configuration menu
    Copy the full SHA
    927ecb8 View commit details
    Browse the repository at this point in the history

  2. Remove outdated section about JavaDL in JML

    @FliegendeWurst
    FliegendeWurst committed Nov 4, 2023
    Configuration menu
    Copy the full SHA
    6dd2d39 View commit details
    Browse the repository at this point in the history

Commits on Nov 6, 2023

  1. Hide large figure in tab

    @FliegendeWurst
    FliegendeWurst committed Nov 6, 2023
    Configuration menu
    Copy the full SHA
    e2dff9c View commit details
    Browse the repository at this point in the history

  2. Update build dependencies

    @FliegendeWurst
    FliegendeWurst committed Nov 6, 2023
    Configuration menu
    Copy the full SHA
    665bcfb View commit details
    Browse the repository at this point in the history

Commits on Nov 12, 2023

  1. Mention one more use case

    @FliegendeWurst
    FliegendeWurst committed Nov 12, 2023
    Configuration menu
    Copy the full SHA
    0bbd320 View commit details
    Browse the repository at this point in the history

  2. Ignore build output

    @FliegendeWurst
    FliegendeWurst committed Nov 12, 2023
    Configuration menu
    Copy the full SHA
    eff7f7b View commit details
    Browse the repository at this point in the history

Commits on Nov 21, 2023

  1. Changelog: 2.12.2 

    Co-authored-by: Wolfram Pfeifer <[email protected]>
    @FliegendeWurst @WolframPfeifer
    FliegendeWurst and WolframPfeifer authored Nov 21, 2023
    Configuration menu
    Copy the full SHA
    730df23 View commit details
    Browse the repository at this point in the history

Commits on Nov 23, 2023

  1. Move HowToTaclet to dev section

    @FliegendeWurst
    FliegendeWurst committed Nov 23, 2023
    Configuration menu
    Copy the full SHA
    7e75853 View commit details
    Browse the repository at this point in the history

  2. Wording

    @FliegendeWurst
    FliegendeWurst committed Nov 23, 2023
    Configuration menu
    Copy the full SHA
    002e45b View commit details
    Browse the repository at this point in the history

  3. Remove dev section on proof caching 

    Will return in a future PR ...
    @FliegendeWurst
    FliegendeWurst committed Nov 23, 2023
    Configuration menu
    Copy the full SHA
    76ef4dd View commit details
    Browse the repository at this point in the history

  4. Restore How2ExtRecoder docs

    @FliegendeWurst
    FliegendeWurst committed Nov 23, 2023
    Configuration menu
    Copy the full SHA
    5612389 View commit details
    Browse the repository at this point in the history