From 6fd11de446bb136844cc538f8924cd644d2deaf1 Mon Sep 17 00:00:00 2001
From: Evgenia Karunus <lakesare@gmail.com>
Date: Tue, 27 Aug 2024 13:43:18 +0500
Subject: [PATCH] `lake-manifest.json` - change LeanReservoir title from
 "examples" to "Paperproof"

(See https://github.com/leanprover/reservoir/issues/48)
---
 lake-manifest.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lake-manifest.json b/lake-manifest.json
index f1065af..f98328d 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -70,5 +70,5 @@
    "inputRev": "master",
    "inherited": false,
    "configFile": "lakefile.lean"}],
- "name": "examples",
+ "name": "Paperproof",
  "lakeDir": ".lake"}