| changeset 68870 | 53a75627aab7 |
| parent 68546 | 34d732a83767 |
| child 68871 | f5c76072db55 |
| 68869:3739acbc2178 | 68870:53a75627aab7 |
|---|---|
1 { |
1 { |
2 "name": "Isabelle2018", |
2 "name": "isabelle", |
3 "displayName": "Isabelle2018", |
3 "displayName": "Isabelle", |
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", |