Dark-Alex-17/ptp
Archived
1
0 Fork 0
Code Issues Actions Packages Projects Releases Wiki Activity

PAN-52 Fixed issue with the Theorems API

Browse Source
This commit is contained in:
Dark-Alex-17 committed 2019-03-21 10:55:15 -06:00
1 parent ba4c7502db
commit f8a1d8bf89
1 file changed
+1 -1
Download Patch File Download Diff File Expand all files Collapse all files
persistence/scripts/mysql/local_development.sql
+1 -1
View File
@@ -27,7 +27,7 @@ create table theorems (
id int not null auto_increment primary key unique, id int not null auto_increment primary key unique,
name varchar(512) not null, name varchar(512) not null,
theorem varchar(1024) not null, theorem varchar(1024) not null,
theorem_type enum ('THEOREM', 'PROPOSITION', 'LEMMA', 'COROLLARY') not null, theorem_type varchar(20) not null,
branch varchar(512) not null, branch varchar(512) not null,
referenced_definitions json, referenced_definitions json,
referenced_theorems json, referenced_theorems json,