Author: baggins Date: Mon Feb 16 13:29:22 2009 GMT
Module: SPECS Tag: HEAD
---- Log message:
- added TODO
---- Files affected:
SPECS:
coq.spec (1.12 -> 1.13)
---- Diffs:
================================================================
Index: SPECS/coq.spec
diff -u SPECS/coq.spec:1.12 SPECS/coq.spec:1.13
--- SPECS/coq.spec:1.12 Mon Feb 16 14:19:46 2009
+++ SPECS/coq.spec Mon Feb 16 14:29:16 2009
@@ -1,4 +1,8 @@
# $Revision$, $Date$
+#
+# TODO:
+# - desktop file for coqide
+#
Summary: The Coq Proof Assistant
Summary(pl.UTF-8): Coq - narzędzie pomagające w udowadnianiu
Name: coq
@@ -109,6 +113,9 @@
All persons listed below can be reached at <cvs_login>@pld-linux.org
$Log$
+Revision 1.13 2009/02/16 13:29:16 baggins
+- added TODO
+
Revision 1.12 2009/02/16 13:19:46 baggins
- 8.1pl4
================================================================
---- CVS-web:
http://cvs.pld-linux.org/cgi-bin/cvsweb.cgi/SPECS/coq.spec?r1=1.12&r2=1.13&f=u
_______________________________________________
pld-cvs-commit mailing list
[email protected]
http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
