Metadata for proofgeneral in main

---
Type: desktop-application
ID: proofgeneral.desktop
Package: proofgeneral
Name:
  C: Proof General
Summary:
  C: Organise your proofs!
Description:
  C: |-
    <p>Proof General is a major mode to turn Emacs into an interactive proof assistant to write formal mathematical
    proofs using a variety of theorem provers. This package provides Proof General support for Coq. (There
    is no other proof assistant that one could sensibly support.)</p>
  en: |-
    <p>Proof General is a major mode to turn Emacs into an interactive proof assistant to write formal mathematical
    proofs using a variety of theorem provers. This package provides Proof General support for Coq. (There
    is no other proof assistant that one could sensibly support.)</p>
Categories:
- IDE
- Development
- TextEditor
- Math
Keywords:
  C:
  - proof assistant
  - Coq IDE
Icon:
  cached:
  - name: proofgeneral_proofgeneral.jxl
    width: 48
    height: 48
  - name: proofgeneral_proofgeneral.jxl
    width: 64
    height: 64
  - name: proofgeneral_proofgeneral.jxl
    width: 128
    height: 128
  remote:
  - url: p/pr/proofgeneral.desktop/acc3c3099afee4d916117d44d6b1c467/icons/128x128/proofgeneral_proofgeneral.jxl
    width: 128
    height: 128
  stock: proofgeneral
Launchable:
  desktop-id:
  - proofgeneral.desktop