Free papillon wine 2005 software for linux

Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich. Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. The main application is the formalization of mathematical proofs and in particular formal verification, which includes proving the correctness of computer hardware or software and proving properties of computer languages and protocols.
Compared with similar tools, Isabelles distinguishing feature is its flexibility. Most proof assistants are built around a single formal calculus, typically higher-order logic. Isabelle has the capacity to accept a variety of formal calculi. The distributed version supports higher-order logic but also axiomatic set theory and several other formalisms. See logics for more details.
Isabelle is a joint project between Lawrence C. Paulson (University of Cambridge, UK) and Tobias Nipkow (Technical University of Munich, Germany).
Main features:
- Interpretation of locale expressions in theories, locales, and proof contexts.
- Substantial library improvements (HOL, HOL-Complex, HOLCF).
- Proof tools for transitivity reasoning.
- General find_theorems command (by term patterns, as intro/elim/simp rules etc.).
- Commands for generating adhoc draft documents.
- Support for Unicode proof documents (UTF-8).
- Major internal reorganizations and performance improvements.

BeatrIX Linux 2005.1 FINAL is a less-than-200-meg Debian/Ubuntu Linux that is a live-CD/installable to hard drive distribution featuring kernel 2.6.7, Gnome 2.8.1, Firefox 1.03 w/AdBlock, Evolution 2.01, GAIM 1.03, Open Office 1.1.2, Apt, PDF viewer, image viewer, plus much, much more. It is expandable through both the Debian and Ubuntu repositories and is one of the fastest-growing Linuxes in the world.
It is a "get-the-job-done distribution of Linux and because of its design, will run on just about any personal computer made in the past 10 years with a minimum of 64 megabytes of RAM.
The programs chosen for BeatrIX are all "best-of-breed" meaning weve selected the best of the best of each type of program.
If you install it to hard drive, you can upgrade and add to the system using the Ubuntu and/or Debian file repositories, turning it into just about any type of operating system you want. You can install everything from Web servers to Wed editors. And ll of this from a mini-CD!
It is one of the fastest-growing Linuxes in the world, having been downloaded in more than 110 countries and more than 50,000 times since its release four months ago.

LormaLINUX is Lorma Colleges very own Linux Distribution that has been optimized and customized to meet the needs of educational institutions and its students.

It is a full-featured Operating System specifically created for ease of installation, ease of use and functionality.

DirectX support for Wine project enables DirectX 9 support for Wine, which is useful for games and 3D graphics.
DirectX support for Wine is a set of patches against Wine to implement DirectX 9. It allows modern games and 3D applications to run under Wine.
The patches include many experimental and beta features that have not yet made it into the stable Wine source tree.
The aim of the project is to provide full support for DirectX 8 and 9 so that all games and 3D applications will run on Linux or any other platform that Wine supports.
Main features:
- Shared wined3d codebase for Direct3D 8 and 9
- Hardware non-power2 texstures
- Improved compressed texture support
- Many more texture formats supported
- Offscreen texture improvements
- Colour corrections for textures
- A tonne of bug fixes and other improvements from earlier releases
Enhancements:
- Reworked support for non-power2 textures
- Support for Vertex buffer objects
- Support for caching
- Hardware vertex shaders
- Partial tidyup of vertex declarations
- Better support for compressed textures
- Fix for texturing problems in Axis and Allies and Evil Genius
- Fix for model corruption in Pirates
- Movies in Pirates
- A Fix for the lines on the landscape in Axis and Allies
- Crash fixes in fixupvertices with indexes data
- Numerous other performance improvements

LHMail is an email library written in Qt able to send messages over SMTP protocol and receive via POP3, suitable for implementing email clients.
Main features:
- SMTP support
- POP3 support
- Widget for displaying message contents (screenshot)
- Attachements
- HTML messages (screenshot)
- Email forwarding
- Launching user-defined external applications
- Email adresses validation
- S/MIME signatures
Enhancements:
- New features include the ability to sign messages with S/MIME signature, verification of S/MIME signatures, and PEM format key and certificate support.

Anaquiz project is an anagram game for entertainment and study.

It shows 20 anagrams and you must find as many solutions as you can in five minutes.

It makes it possible to systematically master the whole dictionary if you are ambitious enough.

mpodder is a simple command line based podcast receiving (podcatching) tool. mpodder is written in perl and should run quite happily on Linux, the BSDs etc.

The intent is for mpodder to be called from cron. It will notify the user of new content by email or a kdialog/xmessage popup. mpoddercan download only feed items from the last n days, and feeds can be brought up to date withouot having to download all old items (using the "catchup" command).

Examples

Listing current feeds

To see what feeds mpodder is currently looking at, use the listoperation:

% mpodder list
http://www.lugradio.org/episodes.rss
http://www.thepodcastnetwork.com/linuxuser/feed/
http://downloads.bbc.co.uk/rmhttp/downloadtrial/worldservice/godigital/rss.xml
http://radio.linuxquestions.org/syndicate/lqpodcast.php
http://feeds.feedburner.com/techpodcasts
http://linux.quicksurf.com/wp-rss2.php?cat=78
http://slashdotreview.com/wp-rss2.php
http://feeds.feedburner.com/twit
http://www.joshmcadams.com/perlcast/index.xml

If you provide a second parameter, the list will be filtered. All filteres in mpodder are using perl style regular expressions:

% mpodder list linux
http://www.thepodcastnetwork.com/linuxuser/feed/
http://radio.linuxquestions.org/syndicate/lqpodcast.php
http://linux.quicksurf.com/wp-rss2.php?cat=78

Adding feeds

Adding a feed to mpodder is simple, just use the add operation, followed by the URL of the feed:

% mpodder add http://lugradio.org/episodes.rss

Removing feeds

To remove a feed, use the remove parameter and a filter. All feeds matching the filter will be removed

% mpodder remove lugradio

Removed feed: http://www.lugradio.org/episodes.rss

Removed 1 feeds from list

Fetching feeds

Fetching everything (all new items in all feeds) is the default operation of mpodder. To do this simply omit any parameters on the command line:

% mpodder

You can specify a filter to only download feeds whose URL matches the filter:

% mpodder fetch lugradio

Catching up feeds

If youve just added a new feed, but dont want to download all the items in the feed, use the catchup operation. The parameter is a filter pm the URL of the feed:

% mpodder catchup lugradio

Caught up with 3 feeds

Checking what would be done

Most operations in mpodder can be simulated using the --pretend option. This is like -n in GNU make. Instead of actually doing the operation that is requested, a message is printed saying what would be done if the --pretend option were removed:

% mpodder --pretend fetch lugradio

would fetch: http://lugmirror.pcproff.com/lugradio-s2e17-060605-high.mp3

Getting more information on what mpodder is doing

The --verbose and --debug=n options can be used to make mpodder print out more information that usual about what it is doing. Nice for the curious. The parameter to --debug is an integer from 1 to 10.