Free your uninstaller 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.

fortune-hitchhiker project consists of quotes from the "Hitchhikers Guide to the Galaxy".


"Zaphod grinned two manic grins, sauntered over to the bar
and bought most of it."

-- Zaphod in paradise.

To install these fortunes, copy the .dat file to your fortunes directory.
(possibly /usr/games/lib/fortunes)

To use it, simply type:

# fortune hitchhiker

saml-registry is a SAML 2.0 Metadata management tool that is useful for building shibboleth-based federations.

The saml-registry is a j2ee-application intended as a federation management tool, primarily (but not exclusively) for use with shibboleth. Future versions will support full delegation of rights through container-based role-management. The current version relies on container-based authentication.
For convenience the current version of the sql database schema and a jboss datasource descriptor sample can be found here on the right.

Installation instructions

Download the ear-file from the maven repository and drop it in the deploy-directory of your jboss application server. This build has been tested with jboss 4.0.2 but later versions should work.

You may need to disable certain features in a standard jboss, notably the jboss-ws4ee.sar (which conflicts with webservices provided by saml-registry) - just remove it from the deploy directory. Newer versions of jboss may ship with included versions of myfaces and jsf. These files must also be removed from your jboss before deploying saml-registry (or you must repackage the application excluding these libraries from the ear).

Next create a datasource-file for the mysql datastore. The < jndi-name/ > must be set to jdbc/saml-registry. Now create the database (update the datasource file with the server, username and password). Drop this file next to the ear in the deploy-directory. Use the sql schema to populate the database.

Finally configure authentication and authorization for saml-registry. This is done in the container by editing the login-config.xml (for jboss). Create a security domain called saml-registry in login-config.xml. The attached login-config.xml contains a sample entry which is based on property-files. The UsersRolesLoginModule is described on the jboss wiki.

The authorization for saml-registry is also managed by the security domain using standard j2ee role-based security. The roles govern access to individual use-cases (represented by menu entries in the user interface). Future versions will add per-organizational access control to this basic framework so that management of entities can be delegated.

The use-cases and roles is documented by this usecase diagram. Once your security-domain is configured to serve these roles (by editing property-files or whatever) you should be able to point your browser to https://your-box.example.com/saml-registry and get the main menu (or a login page depending on how your security domain was setup).

Building from source

In order to build saml-registry from source (which can be obtained from the subversion repository) you need maven2 and java5 to build the sources. The saml-registry is based on an MDA toolchain called andromda. Normally maven2 should download and install all dependencies, however the user interface needs the jsf2 cartridge from the andromda plugins project which may not be distributed from the andromda maven repository. If maven2 complains about unresolved dependencies for jsf2 then checkout the andromda plugins project and build it manually.

Freebaser project consists of collection of Free database applications.
Its goal is to create simple, elegant, and useful applications to solve organizational issues.
It includes a client database, a member database, a contacts database, a task list/todo list, and a workflow database.
Main features:
- Client database
- Member database
- Contacts database
- Task List / Todo list
- Workflow
Client Database:
The clients database is a database that we plan on being used as the single database for an organisation that has customers/clients/etc. Ie. if your running your own business this is the database from the freebaser collective that you should be using as it incorporates all the aspects of the contacts and member datbases but adds business/client/customer related fields and sections.
Contacts Database:
The contacts databse is designed to be used by you as your personal friends/contacts database.
Member Database:
The Member database is designed for Not-For-Profit organisations that are made up of members and not customers/clients/employees. The idea organisation is a Trade Union, or small club that needs to track its members.
Task List/Todo List:
The Task List database is designed to trach and manage your daily tasks and duties.
Workflow Database:
The Workflow database is still in a proto-type mode but is design to be able to let the user to track and manage the various organisation processes.
An example is a group publishing its newsletter, there maybe 40 steps from start to finish in getting a newsletter out and the Workflow database is design to be able to accomodate these kind of process tracking.
At the moment the Workflow database is pretty useless unless its customised to your particular organisational processes - as each organisation has its own processes.
Enhancements:
- Changes made to the table CSS to make the pop up calendar appear correctly

The MM3-WebAssistant - Proxy Offline Browser archives all web pages you have visited online. Offline too each page is available with its URL. There is no difference between browsing the internet and browsing the archive.
You can even use your bookmarks and favorites list offline without any changes. When online the proxy updates your cached web pages and adds new pages automatically. This feature distinguishes the utility from most other offline browsers.
Reduces the cost of web time, the work and pressure of knowing what to save, and the necessity for repeating browsing sessions looking for something that was missed. You can access the information needed whether or not the server or dial-up is available.
The reliability is increased with that. Mobile users have the flexibility of accessing information from the web without having to worry about expensive access points. With the MM3-WebAssistantWebAssistant - Proxy Offline Browser you get a more easy and effective use of the internet.
Main features:
- All web pages visited are archived.
- There is no difference between on- and offline mode for the user.
- Links to resources of cache archives are marked for quick navigation.
- Highlighting the changes between HTML pages in internet and archive.
- Quick search in the archives and marking the search words in the hitlist and in every hit.
- Hierarchical archive structure represents a mirror of every web site.
- Interactive navigation and display of the hierarchical archive structure.
- Topic-specific archiving of web pages.
- Exchange of the archives also between different operating systems possible.
- Filtration of unwanted contents.
- Supports the protocols HTTP, HTTPS and FTP.
- Caches the domain and IP address (DNS)
- Available on many operating systems by use of Java[TM] technology.
- Operating Systems: Windows 9x/ME/NT/2000/XP, Linux, Unix, Solaris, OS/2, Mac OS X.
- Supplied with a detailed manual, a simple and completely comprehensive installation and deinstallation.
- MM3-WebAssistantWebAssistant - Proxy Offline Browser - Private is available as freeware for private use.
- MM3-WebAssistantWebAssistant - Proxy Offline Browser - Professional is an extended, faster and qualitatively better edition (differences: between editions).

Rush 2005 is a football game using SDL.

Rush 2005 is a BSD-licensed project to create an American football game for Windows and Linux in the tradition of Tecmo Bowl and NFL Blitz, built using the cross-platform SDL game programming library.

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.

Paldo is a Upkg driven GNU/Linux distribution. Its kind of a mix of a source and a binary distribution. Even though it builds packages like a source distribution it provides binary packages.
Paldo stands for "pure adaptable linux distribution" and we try to accomplish this in every package. paldo comes with very few patches against its packages. We have virtually no local changes, means every patch is one which will go upstream anyway (e.g. compile fixes) or one needed by the LFS build system to enable us to boostrap correctly.
Its very easy to make changes to the distro. You can change every package by providing a local version of the sources and specifications youve changed. You can even configure your system automatically through local differencial repositories (see My paldo). The whole distribution is very flexible because its built on top of Upkg.
Paldo wants to be a distribution according to the "just-works" principle. It tries to configure automatically as much as possible without user intervention. paldo is task-oriented, means, that we wont provide several programs to do one and the same task, we will select the program which we think does this task best, and include it into paldo. paldo aims to support cutting-edge technologies. It is pure NPTL based (no linuxthreads support) and therefore does not work with a Linux kernel older than 2.6.x.
Since paldo is task oriented we also have only one desktop environment, the GNOME desktop environment.
Paldo does not split packages, means, all development files will be installed if you install a library. All files you need around a package will be available as soon as it is installed.
Paldo only supports the x86 architecture at the moment and we do not plan to extend that much (except of the x86_64 platform). It is a _very_ popular arch making us the life very easy.
Main features:
- OpenOffice.org 2.0 Beta
- Support x86_64 systems
- gcc 4.0
- Added Bluefish Web Development Editor
- Many smaller package updates