From 36376c56c7854670d50cb92ac496c2c44cb463c0 Mon Sep 17 00:00:00 2001 From: GitHub Action Date: Wed, 1 Jan 2025 08:03:51 +0000 Subject: [PATCH] generated by GitHub Action --- docs/attributes.md | 2 +- docs/commands.md | 2 +- docs/options.md | 9 ++++++++- docs/tactics.md | 2 +- lake-manifest.json | 2 +- 5 files changed, 12 insertions(+), 5 deletions(-) diff --git a/docs/attributes.md b/docs/attributes.md index 5444ace..176f75e 100644 --- a/docs/attributes.md +++ b/docs/attributes.md @@ -1,6 +1,6 @@ # Attributes -Mathlib version: `5bf0f3993d81f682aab73c6129b25b49da7144fa` +Mathlib version: `7178aee7a431bb7527da15c3507836d8dfefcda4` ## aesop Register a declaration as an Aesop rule. diff --git a/docs/commands.md b/docs/commands.md index 6d17fe6..0bd4d79 100644 --- a/docs/commands.md +++ b/docs/commands.md @@ -1,6 +1,6 @@ # Commands -Mathlib version: `5bf0f3993d81f682aab73c6129b25b49da7144fa` +Mathlib version: `7178aee7a431bb7527da15c3507836d8dfefcda4` ## \#adaptation_note Defined in: `adaptationNoteCmd` diff --git a/docs/options.md b/docs/options.md index 057fe07..65d4873 100644 --- a/docs/options.md +++ b/docs/options.md @@ -1,6 +1,6 @@ # Options -Mathlib version: `5bf0f3993d81f682aab73c6129b25b49da7144fa` +Mathlib version: `7178aee7a431bb7527da15c3507836d8dfefcda4` ## Elab.async type: `Bool` @@ -2246,6 +2246,13 @@ default: `false` enable/disable tracing for the given module and submodules +## trace.Mathlib.Deriving.countable +type: `Bool` + +default: `false` + +enable/disable tracing for the given module and submodules + ## trace.Meta type: `Bool` diff --git a/docs/tactics.md b/docs/tactics.md index 1802b01..4a03e21 100644 --- a/docs/tactics.md +++ b/docs/tactics.md @@ -1,6 +1,6 @@ # Tactics -Mathlib version: `5bf0f3993d81f682aab73c6129b25b49da7144fa` +Mathlib version: `7178aee7a431bb7527da15c3507836d8dfefcda4` ## \#adaptation_note Defined in: `«tactic#adaptation_note_»` diff --git a/lake-manifest.json b/lake-manifest.json index 8063d77..7b22ac9 100644 --- a/lake-manifest.json +++ b/lake-manifest.json @@ -5,7 +5,7 @@ "type": "git", "subDir": null, "scope": "", - "rev": "5bf0f3993d81f682aab73c6129b25b49da7144fa", + "rev": "7178aee7a431bb7527da15c3507836d8dfefcda4", "name": "mathlib", "manifestFile": "lake-manifest.json", "inputRev": "master",