Skip to content

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
    • Help
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
Sphinxcontrib-Proof
Sphinxcontrib-Proof
  • Project
    • Project
    • Details
    • Activity
    • Releases
    • Cycle Analytics
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Charts
  • Issues 1
    • Issues 1
    • List
    • Board
    • Labels
    • Milestones
  • Merge Requests 2
    • Merge Requests 2
  • CI / CD
    • CI / CD
    • Pipelines
    • Jobs
    • Schedules
    • Charts
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Members
    • Members
  • Collapse sidebar
  • Activity
  • Graph
  • Charts
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
  • Louis
  • Sphinxcontrib-ProofSphinxcontrib-Proof
  • Merge Requests
  • !8

Merged
Opened Dec 07, 2018 by Louis@spalax
  • Report abuse
Report abuse

`config.proof_theorem_types` is read *after* the config values being inited

Another fix for !7 (closed).

  • Discussion 0
  • Commits 1
  • Pipelines 1
  • Changes 2
Louis
Assignee
Louis @spalax
Assign to
Version 1.1.1
Milestone
Version 1.1.1
Assign milestone
Time tracking
2
Labels
bug confirmed
Assign labels
  • View project labels
Reference: spalax/sphinxcontrib-proof!8

Revert this merge request

This will create a new commit in order to revert the existing changes.

Switch branch
Cancel
A new branch will be created in your fork and a new merge request will be started.

Cherry-pick this merge request

Switch branch
Cancel
A new branch will be created in your fork and a new merge request will be started.