| changeset 66598 | e2671e8c476f |
| parent 66597 | 53dcc7454221 |
| child 66673 | 1e4450008c47 |
| 66597:53dcc7454221 | 66598:e2671e8c476f |
|---|---|
1 { |
1 { |
2 "name": "isabelle", |
2 "name": "Isabelle2017", |
3 "displayName": "Isabelle", |
3 "displayName": "Isabelle2017", |
4 "description": "Isabelle Prover IDE", |
4 "description": "Isabelle Prover IDE", |
5 "keywords": [ |
5 "keywords": [ |
6 "theorem prover", |
6 "theorem prover", |
7 "formalized mathematics", |
7 "formalized mathematics", |
8 "mathematical logic", |
8 "mathematical logic", |