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