dotfiles/dot_local/share/applications/coqide.desktop

11 lines
246 B
Desktop File
Raw Normal View History

2021-02-19 22:05:51 +00:00
[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;