Disable threads as it seems to trigger funky bugs. Enable it on all
archs but sparc64 as it's broken there.
Testing on arm/mips64el by kili, sparc64/ppc by me.
while the daemon is shutting down, the access will be denied but the
process will still exists until it has shutdown completely.
This allows restart to work properly.
discussed with and ok robert@
This year we pre-generate format and maps as requested by kili.
Started adding test cases in the tests/ dir.
Upgrades from 2009 will cause a harmless warning regarding texlinks. Espie is
aware of this, it was not easily fixable.
Uninstalls of texlive 2010 which were previously upgraded from 2009 will make
lots of noise regarding non-empty directories which can not be deleted. This
is due to unregistered package directories in the old texlive 2009 pacakage and
has been fixed in the 2010 package (rblatter script was modified to register
*all* parent dirs in PLISTs).
Installs/uninstalls of texlive 2010 on a fresh system (which has never
seen texlive 2009) are squeaky clean.
This has been in use for a number of months on my work machine, so should be
pretty stable, but I am sure someone will find some obscure bugs. These can be
fixed in tree.
OK espie@
implementation of the SOCKS protocol while behaving like a regular
socket as much as possible."
From maintainer Nigel Taylor, small tweaks from me and jasper@, ok jasper@
called LADR (Library for Automated Deduction Research).
split into ladr (prover9 mace4 tools) and p9m4 (gui to ladr)
ok aja@
and thanks to landry@/robert@ too for putting up with my ranting about this..
altgraph is a fork of graphlib: a graph (network) package for
constructing graphs, BFS and DFS traversals, topological sort, shortest
paths, etc. with graphviz output.
ok aja@
PDF Mod is a simple application for modifying PDF documents. You can
reorder, rotate, and remove pages, export images from a document, edit
the title, subject, author, and keywords, and combine documents via drag
and drop.
ok jasper@ robert@ (on an older version 2 months ago...)
Hyena is a C# library used to make awesome applications. It contains a
lot of random things, including useful data structures, a Sqlite-based
db layer, cool widgets, a JSON library, a smart job/task scheduler, a
user-query/search parser, and much more. It's particularly useful for
Gtk# applications, though only the Hyena.Gui assembly requires Gtk#.
ok jasper@ robert@ (2 months ago...)
Gamine is a game designed for 2 years old children who are not able to
use mouse and keyboard. The child uses the mouse to draw coloured dots
and lines on the screen and keyboard to display letter.
ok jasper@
