Free navicat 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.

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).

Admelix is a live CD distribution based on Ubuntu Linux with tools for business administration.

Its main objective is to guide managers of small and medium-size businesses towards GNU/Linux and open source software.

In addition to the live CD, the projects web also provides information about open and free tools for business administration.

Software included in this version are:

Financial: FacturaLUX lite 1.8, Gnofin 0.8.4, GnuCash 1.8.10, Gretl 1.4.1, Grisbi 0.5.7, Linuxtrade 3.65

Office: Abiword 2.4.1, Clara OCR 20031214, Evolution 2.4.1, Planner 0.13, Glabels 2.0.2, Gnumeric 1.5.90, OpenOffice 2.0 OpenOffice Base, OpenOffice Calc, OpenOffice Draw, OpenOffice Writer, OpenOffice Math, OpenOffice Impress, PlanMaker (rev 273), TextMaker (rev 406), Scribus 1.2.2.1, Gtodo 0.14.

Programming: Amaya 8.5, Anjuta 1.2.4, BlueFish 1.0.1, Glade 2.12.0, Mono 1.1.8.3, MonoDevelop 0.7, NVU 1.0, Postgresql 8.0

Graphics: DIA 0.94, GIMP 2.2, QCAD 2.0.4.0, Sodipodi 0.34

Internet: Firefox 1.0.7, GAIM 1.5, Thunderbird 1.0.7, Bittorrent 3.4.2, XChat 2.4.4, gFTP 2.0.18, Gnomemeeting 1.2.2

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.

xmppjca project is a JCA 1.5 resource Adapter for managing connections to a XMPP (aka jabber) server from a J2EE application server (for instance JBoss). The resource adapter has been written to conform to the JCA 1.5 specification but only JBoss has been tested. The RA uses the smack API to connect to XMPP servers.

The connector supports multiple connections to multiple servers and provides an abstraction of the underlying smack api that in addition to connection management provides support for extensions from su-smack which includes support for JEP-0060 aka publish subscribe.

Currently the RA only supports container managed security. Future versions will support bean managed security using JAAS. The goal is eventually support single-sign-on using SASL+GSSAPI to XMPP servers which support this mechanism.

Currently the RA does not support transactions. The precise way in which this will be supported is a matter of debate.

Installation

The project consists of two parts - xmppjca and xmppjca-spec. Build both artifacts. Deploy the rar-file in your J2EE-server. In a standard JBoss- installation this means copying the rar-file to $JBOSS_HOME/server/default/deploy. The xmppjca-spec-< version >.jar should be placed in the classpath of clients who need to use the resource adapter. In a standard JBoss-installation the easiest way is to copy the file to $JBOSS_HOME/server/default/lib. In most situations the application server will hotdeploy the rar-file but not the jar- file so a restart is needed whenever you update the spec-file.

LVE is a frame and GOP accurate editing of MPEG1/2 video files. Differnet mpeg
formats are supported:

program streams ("PS") including DVD conform vob format,
single elemtary video streams ("ES").
multiplexed, packed elementary A/V streams ("PES"), often used by DVB recording software.
transport streams ("TS") - one video pid, but multiple audio pids. its a further DVB format
(restriction: no error detection/correction, program tables wont be analyzed).
PVA streams (experimental), used by some DVB recording MS-soft.

The cutting engine is based on a self coded frame-server (demuxer) whos working on a special frame-index, which guaranties exact seeking to every frame. The "libmpeg2" of "mpeg2dec-0.3.1"-package is used to decode video data. audio data will be decoded with help of "ffmpeg-0.4.x". Furthermore lve can use external audio files encoded in "WAV"-format.

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.