10 lines
246 B
Desktop File
10 lines
246 B
Desktop File
[Desktop Entry]
|
|
Version=1.0
|
|
Type=Application
|
|
Name=CoqIDE Proof Assistant
|
|
Comment=Graphical interface for the Coq proof assistant
|
|
Exec=/usr/bin/env coqide
|
|
Icon=coqide
|
|
Terminal=false
|
|
StartupNotify=false
|
|
Categories=Development;Science;Math;IDE;GTK;
|