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.png
    width: 64
    height: 64
  stock: proofgeneral
Launchable:
  desktop-id:
  - proofgeneral.desktop