Personal tools
You are here: Home
Document Actions

Welcome to the QPQ Deductive Software Repository

by admin last modified 2006-12-13 22:38

QPQ is a forum for developing and exchanging formal content including theorem proving and verification systems, libraries, benchmarks, challenges, standards, and technical reports.

The QPQ Manifesto enumerates the goals of the web site.

Guidelines should be consulted for adding and editing content.

QPQ is based on the Plone Content Management System (http://plone.org).

Please familiarize yourself with the screen layout.   The buttons on top (home, members, news,
events, etc.) are for navigation within the repository as is the navigation portlet on the
left. 

The grey hyperlinks on the top right-hand corner are for logging in/out, setting
preferences, and getting to your folder.   The search button is above this. 

The green in the top right-hand corner of the center frame indicate the actions for the
content being viewed.   The buttons on the top left-hand corner can be used to edit and
share the content with others.    The content that can be added include events, files, folders,
images, links, message boards,  news items,  html pages, and wikis.   The icons below
these buttons are used to create mail messages, print the page, toggle full screen mode,
launch an external editor (like Emacs), or to subscribe to be notified of any changes.

« December 2008 »
Su Mo Tu We Th Fr Sa
1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 31
What's up ?
Be notified when a document is published in this folder or below.
 

Powered by Plone, the Open Source Content Management System

This site conforms to the following standards: