diff --git a/Makefile b/Makefile
index 00ba06f37..5d2ca710b 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,6 @@
 everything: update_tests docs
 
-VERSION=7.1
+VERSION=7.2
 
 NUMBAS_EDITOR_PATH ?= ../editor
 JSDOC_TEMPLATE_PATH ?= ../numbas-jsdoc-template
diff --git a/bin/numbas.py b/bin/numbas.py
index 566a15958..bb11f7fb8 100755
--- a/bin/numbas.py
+++ b/bin/numbas.py
@@ -35,7 +35,7 @@
 from zipfile import ZipFile, ZipInfo
 
 
-NUMBAS_VERSION = '7.1'
+NUMBAS_VERSION = '7.2'
 
 
 namespaces = {
diff --git a/schema/exam_schema.7.1.json b/schema/exam_schema.7.2.json
similarity index 100%
rename from schema/exam_schema.7.1.json
rename to schema/exam_schema.7.2.json
diff --git a/schema/index.html b/schema/index.html
index aaf37cdfd..bb1fcd1ee 100644
--- a/schema/index.html
+++ b/schema/index.html
@@ -8,11 +8,11 @@
     <link rel="stylesheet" href="schema_doc.css">
     <script src="schema_doc.js" defer></script>
     
-    <title>Numbas exam schema v7.1</title>
+    <title>Numbas exam schema v7.2</title>
 </head>
 <body id="root">
     <header>
-        <h1>Numbas exam schema v7.1</h2>
+        <h1>Numbas exam schema v7.2</h2>
     </header>
     <main>
         <div class="intro">
@@ -20,7 +20,7 @@ <h1>Numbas exam schema v7.1</h2>
             <p>The line for the current version should look like this:</p>
             <pre>// Numbas version: exam_results_page_options</pre>
             <p>The rest of the file should consist of a single JSON object, matching the following schema.</p>
-            <p><a href="exam_schema.7.1.json">Download the schema in JSON-Schema format</a></p>
+            <p><a href="exam_schema.7.2.json">Download the schema in JSON-Schema format</a></p>
         </div>
 
     <article class="schema open">
@@ -3554,6 +3554,59 @@ <h2>Numbas Exam</h2>
 
             
             
+
+            
+
+            
+
+            
+
+        
+    
+</div>
+
+                    </div>
+                </li>
+            
+                <li class="schema">
+                    <header>
+                        <span class="property-name">typeendtoleave</span>
+                    </header>
+                    <div class="property-schema">
+                        
+<button class="toggle-content" role="switch" aria-checked="false"></button>
+<div class="content" id="schema-property-navigation-property-typeendtoleave">
+    <div class="type">
+        
+            boolean
+        
+    </div>
+
+    
+    
+    <div class="title">
+        Require written confirmation before leaving the exam
+    </div>
+    
+
+    
+    
+
+    
+    
+
+
+    
+        
+            
+
+            
+            
+            
+            
+
+            
+            
 
             
 
diff --git a/schema/make_schema.py b/schema/make_schema.py
index ef6814b6c..7f444b2c1 100644
--- a/schema/make_schema.py
+++ b/schema/make_schema.py
@@ -1,7 +1,7 @@
 import json
 import jinja2
 
-version = '7.1'
+version = '7.2'
 
 with open(f'exam_schema.{version}.json') as f:
     schema = json.loads(f.read())
