debian-faq

Debian Frequently Asked Questions

In this package you will find the Debian GNU/Linux FAQ, which gives frequently asked questions (with their answers!) about the Debian distribution (Debian GNU/Linux and others) and about the Debian project. Some answers assume some knowledge of Unix-like operating systems. However, as little prior knowledge as possible is assumed: answers to general beginners questions will be kept simple.

debian-faq-nl

Debian Frequently Asked Questions, in Dutch

In this package you will find the Debian GNU/Linux FAQ, which gives frequently asked questions (with their answers!) about the Debian distribution (Debian GNU/Linux and others) and about the Debian project. Some answers assume some knowledge of Unix-like operating systems. However, as little prior knowledge as possible is assumed: answers to general beginners questions will be kept simple.

coq

proof assistant for higher-order logic (toplevel and compiler)

Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.

libgedit-tepl-6-3

Text editor library for GTK

libgedit-tepl is a library that eases the development of GtkSourceView-based text editors and IDEs. Tepl is the acronym for “Text editor product line”. It serves as an incubator for GtkSourceView.

python-kivy-examples

Kivy - Multimedia / Multitouch framework in Python (examples)

Kivy is an open source library for developing multi-touch applications. It is completely cross platform (Linux/OSX/Win/Android) and released under the terms of the MIT license.

libeclipse-ltk-ui-refactoring-java

Eclipse Refactoring UI

Eclipse JDT UI implements the user interface for the Java IDE. It provides several workbench contributions for viewing and manipulating Java code: * Package Explorer View - shows the Java element tree as defined by a project's build class path * Type Hierarchy View - shows the sub- and supertype hierarchies * Java Outline View - shows the structure of a Java compilation unit or class file * Java Browsing Perspecitve - allows navigating the Java model using separate views for projects, packages, types and members. * Wizards for creating Java elements - Java project, package, class, interface * Java Editor - syntax coloring, content specific code assist, code resolve, method level edit, import assistance, quick fix and quick assist