Viewing all changes in revision 6.
- Committer: Package Import Robot
- Date: 2012-01-03 23:42:48 UTC
- mfrom: (1.2.4)
- Revision ID: package-import@ubuntu.com-20120103234248-p9r8h1579n67v55a
New upstream release
- files added:
- doc/refman/coqide-queries.eps
- files modified:
- CHANGES
expand all
collapse all
added
removed
