Skip to content

Commit

Permalink
Update doc-gen
Browse files Browse the repository at this point in the history
  • Loading branch information
pitmonticone committed Jul 8, 2024
1 parent c3cb053 commit 9317860
Showing 1 changed file with 30 additions and 0 deletions.
30 changes: 30 additions & 0 deletions lake-manifest.json
Original file line number Diff line number Diff line change
Expand Up @@ -70,6 +70,36 @@
"manifestFile": "lake-manifest.json",
"inputRev": null,
"inherited": false,
"configFile": "lakefile.lean"},
{"url": "https://github.com/acmepjz/md4lean",
"type": "git",
"subDir": null,
"scope": "",
"rev": "9148a0a7506099963925cf239c491fcda5ed0044",
"name": "MD4Lean",
"manifestFile": "lake-manifest.json",
"inputRev": "main",
"inherited": true,
"configFile": "lakefile.lean"},
{"url": "https://github.com/fgdorais/lean4-unicode-basic",
"type": "git",
"subDir": null,
"scope": "",
"rev": "c74a052aebee847780e165611099854de050adf7",
"name": "UnicodeBasic",
"manifestFile": "lake-manifest.json",
"inputRev": "main",
"inherited": true,
"configFile": "lakefile.lean"},
{"url": "https://github.com/leanprover/doc-gen4",
"type": "git",
"subDir": null,
"scope": "",
"rev": "194403be8599ce1d95afa15113960045f8483c7c",
"name": "«doc-gen4»",
"manifestFile": "lake-manifest.json",
"inputRev": "main",
"inherited": false,
"configFile": "lakefile.lean"}],
"name": "bonnAnalysis",
"lakeDir": ".lake"}

0 comments on commit 9317860

Please sign in to comment.