From 1086247ef0875b662c527c6f74c8a6f3ce60e2c7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 28 Feb 2004 16:56:45 +0000
Subject: New files.

---
 etc/desktop/mime-info/proofgeneral.keys | 4 ++++
 etc/desktop/mime-info/proofgeneral.mime | 2 ++
 2 files changed, 6 insertions(+)
 create mode 100644 etc/desktop/mime-info/proofgeneral.keys
 create mode 100644 etc/desktop/mime-info/proofgeneral.mime

diff --git a/etc/desktop/mime-info/proofgeneral.keys b/etc/desktop/mime-info/proofgeneral.keys
new file mode 100644
index 00000000..13d43c7a
--- /dev/null
+++ b/etc/desktop/mime-info/proofgeneral.keys
@@ -0,0 +1,4 @@
+application/proofgeneral
+	open=proofgeneral %f &
+	view=proofgeneral %f &
+        icon-filename=/usr/share/pixmaps/proofgeneral.png
diff --git a/etc/desktop/mime-info/proofgeneral.mime b/etc/desktop/mime-info/proofgeneral.mime
new file mode 100644
index 00000000..a99b5389
--- /dev/null
+++ b/etc/desktop/mime-info/proofgeneral.mime
@@ -0,0 +1,2 @@
+application/x-proofgeneral:
+	ext: thy v phx l lf lcm
-- 
cgit v1.2.3