Changes:
* src/main.c (xvsprintf): limit memory allocation
to 200K when vsnprintf return -1. (i.e. on pre-1999
systems not distinguising fatal errors and too small
buffer).
* src/manage.c (get_res_name, get_res_class): remove
(update_window_name): call get_class_hints directly to avoid it
being called two times.
* src/manage.c (get_wmname): always try XmbTextPropertyToTextList
first to also support UTF-8 window titles when encoded as XA_STRING
* src/main.c (clean_up): call free_user_commands, free_groups only
after free_window_stuff
* src/window.c (free_window_stuff): remove windows from group lists
* src/action.h (free_user_commands): new prototype
* src/action.c (set_var_free,user_command_free,free_user_commands):
new functions
* src/manage.c (get_wmname): free buffer to close memory hole
* src/actions.c (cmd_windows): free buffer to close memory hole
* src/main.c (init_defaults): only load the backup font when the
default font fails.
* src/main.c (init_defaults): if the default font fails, use the
backup font.
* src/conf.h (BACKUP_FONT): new define
* src/input.c (update_modifier_map): don't map both super and
hyper to the same modifier slot.
* src/split.c (set_active_frame): call switch_frame hook
(show_frame_indicator): only show frame indicator
(set_active_frame): new arg force_indicator. all callers updated.
(show_frame_indicator): new arg force. all callers updated.
* src/main.c (init_defaults): init bar_in_padding
* src/globals.c (rp_switch_screen_hook): new hook
* src/data.h (struct rp_defaults): new slot, bar_in_padding
* src/bar.c (bar_x): honour bar_in_padding setting
(bar_y): likewise
* src/actions.c (init_set_vars): add barinpadding
(set_barinpadding): new function
* src/globals.h: new global rp_switch_screen_hook
* src/frame.c (frame_read): fix bug to never set dedicated
Full changelog is at http://excess.org/urwid/wiki/ChangeLog
- Rendering is now significantly faster.
- The curses_display module can now draw in the lower-right corner of the screen.
- New Widget base class for all widgets. It includes automatic caching of rows() and render() methods. It also adds a new __super attribute for accessing methods in superclasses.
- Widgets must now call self._invalidate() to notify the cache when their content has changed.
- To disable caching in a widget set the class variable no_cache to a list that includes the string "render".
- Canvas classes have been reorganized: Canvas has been renamed to TextCanvas and Canvas is now the base class for all canvases. New canvas classes include BlankCanvas, SolidCanvas and CompositeCanvas.
- All display modules now have start() and stop() methods that may be used instead of calling run_wrapper().
- Many internal string processing functions have been rewritten in C to improve their performance.
- Compatible with Python >= 2.2. Python 2.1 is no longer supported.
- Improved performance in UTF-8 mode when ASCII text is used.
- Added a clear() function to the the display modules to force the screen to be repainted on the next draw_screen() call.
on in the clock applet, convert the day's start time to UTC first.
evolution does only accept UTC times, and since midnight at Greenwich
is still the previous day in the US, evolution did show the previous day
for US users.
See https://bugs.launchpad.net/evolution/+bug/42115 for a discussion.
Ubuntu does simply add 12h which works in most cases, but not always
in pacific areas. We do it correctly.
The Ubuntu fix was proposed by walt per mail to tech-pkg; thanks walt
for testing my patch too.
Add commented out LICENSE line (gnu-gpl-v3).
From ChangeLog:
Version 1.0.12:
- Gnulib update to 2007-11-27.
- Don't count already retrieved messages twice. This fixes a segfault when
only_new is off and header or size filtering is on. The bug was introduced in
the previous change; no released version is affected.
- If a filter decides to delete a mail, then additionally mark it as
retrieved. This prevents to filter the mail again in a later session when
the 'keep' option is set.
- Fix default UIDLS file on the W32 platform: Use '\' as directory separator,
not '/'. Reported by Ricky Thomas.
Version 1.0.11:
- Update the license of the source code to GPLv3 or later, and change the
license of the documentation to the GFDLv1.2 or later.
- Gnulib update to 2007-07-15.
- Add new option -Q / --half-quiet to print only status information but no
progress information. Suggested by Dimitrios Apostolou.
- Set the default timeout to 180 seconds = 3 minutes. This prevents sessions
from hanging forever. Suggested by Dimitrios Apostolou.
- Make the POP3 commands UIDL, LIST, and DELE abortable. This is useful for
mailboxes with many thousand mails.
- Update the UIDL state after mail retrieval, and save this state in case of
errors in DELE or QUIT. Only update the UIDL state again after successful
DELE and QUIT, and then save this state. This prevents an incorrect UIDL
state if the DELE commands are aborted, for example. Bug reported by
Dimitrios Apostolou.
Version 1.0.10:
- Fix UIDL handling: the first character of UIDs was ignored.
- Improve APOP timestamp checks. Thanks to Carlos Martín Nieto for a
discussion of this.
- Add documentation on how to find the right CA certificate for
tls_trust_file. Thanks to Bryan Kam for suggestions.
- Improve the documentation for TLS vs. SSL and STARTTLS vs. POP3-over-TLS.
Thanks to Carlos Martín Nieto for suggestions.
- Update the spanish translation (Carlos Martín Nieto).
Version 1.0.9:
- Require either tls_trust_file or tls_certcheck=off for TLS sessions, so that
mpop is not silently vulnerable to man-in-the-middle attacks.
- Gnulib update 2007-04-07.
- Protect against the man-in-the-middle attack on APOP authentication as
described in CVE-2007-1558. This is done by doing sanity checks on the
APOP timestamp in the server greeting.
However, this probably makes attacks only harder. It will not make them
impossible. Therefore, APOP authentication is never used automatically
anymore unless TLS is active.
- Do not use NTLM authentication automatically anymore unless TLS is active.
NTLM is not an open standard and must therefore be considered broken.
Version 1.0.8:
- Move build-aux files to separate directory build-aux.
- Gnulib update 2007-03-19.
- Improve and generalize workaround for pop.gmail.com RFC violations. This
enables automatic pipelining support for pop.gmail.com and some other
servers.
- Provide a hstrerror() function for systems that lack getaddrinfo() (so that
gethostbyname() must be used instead) and that do not provide hstrerror()
themselves. Needed for Solaris 2.6. Reported and tested by Chris Green.
0.1.20
- A few bugfixes.
- Added XML declaration parsing/saving. This is a stop-gap at best, but will
hopefully be useful to some.
- Removed reliance on builtin regex library. Hopefully the completely broken
version of glibc that instigated the inclusion of it is now out of
circulation.
- Fixed a whole bunch of compiler warnings on more recent GCC versions.
- --not-done now marks sub-tasks as not done. Thanks to an anonymous
user for picking this up.
0.1.19
- Updated my E-Mail address after about a year of having the wrong one :)
- Removed informational message at top of .todo files as it was rather useless
and actually annoying to some people placing their .todo files under version
control systems.
- Added a XSLT -> XHTML+CSS transform from Francesco Poli.
- Added a bash completion script from the Gentoo projects maintainer Aaron
Walker.
- Fixed seg fault visible on 64-bit systems but present on all. Thanks to the
Debian project for notifying me and providing a fix.
Use "(use-modules (ice-9 slib))" to load guile.init so it's in the
correct module.
Change PLIST to reflect actual location of slibcat in share/guile/site
rather than 1.8.
Changes:
Version 1.88, 20/11/2007
========================
o new option -revkeys to number entries in reverse order
(patch by Walter Guttmann)
o fixed bug with '\ ' (backslash space) introduced in version 1.82
(shows up with -s gerplain)
o \c{C}, \"y, \"Y (patch by John Kewley)
o \k (using unicode entities, patch by John Kewley)
Version 1.87, 16/07/2007
========================
o \hat
o \mathfrak (supported but no font change, as for \mathcal ad \mathbb)
o \~a, \~A, \~o, and \~O
o -- translated to – and --- to —
Version 1.86, 21/03/2007
========================
o more accents macros: \oe \OE \~ \v \' \r
Overview of Changes in Maude alpha88f
=====================================
* added commutative unification
* fixed free theory instantiation bug
* fixed sort calculation of S_Theory terms bug
* fixed unification with too many variables bug
* added iter theory unification
Overview of Changes in Maude alpha88e
=====================================
* string, qid and float constants allowed in unification
* fixed unify f(X, Y) =? f(Y, X) bug
Overview of Changes in Maude alpha88d
=====================================
* set trace builtin on/off command
* state caching in strategy language
* first suppport for unification
Overview of Changes in Maude alpha88c
=====================================
* extra advisories in metalevel
* min/max operators in FLOAT
* slight change to search semantics
* metalevel projection functions now support parameterized metamodules
* fixed kind printing bug in metaPrettyPrint()
* erwrite supports limit and continue
Overview of Changes in Maude alpha88b
=====================================
* minor syntactic changes to appease gcc 4.1
* minor importation changes in prelude.maude and model-checker.maude
* fixed extension tracing bugs in search/model checker, strategy
language and metalevel
* revised/extended strategy language; cont now works with srew
* fixed trace condition bug
Overview of Changes in Maude alpha88a
=====================================
* many changes to the prelude to fix unsoundness concerns
* process based reimplementation of strategy language
* better overparsing for operator declarations
* fixed bug with views mapping to terms from FLOAT/STRING/QID
* fixed bug in AU unique collapse matcher
* fixed bug that allowed parsing of parameterized theories
* fixed upModule() bug affecting renamings
* fixed metaXmatch() kind bug introduced by alpha86 fix
* subset tests for SET and SET*
* predefined term ordering module
Overview of Changes in Maude alpha88
====================================
* fixed more sufficient completeness issues
* search command now takes a depth bound
* added metaNormalize()
* added machine ints module
Overview of Changes in Maude alpha87a
=====================================
* fixed bug in ! strategy combinator
* fixed long standing bug in look up code for assoc ops
Overview of Changes in Maude alpha87
====================================
* crude first version of strategy language
Overview of Changes in Maude 2.2 (alpha86e)
===========================================
* fixed long standing metalevel prec bug
Overview of Changes in Maude alpha86d2
======================================
* reorganized metalevel list sorts to fix sufficient completeness
problem
Overview of Changes in Maude alpha86d
=====================================
* fixed stale pointer bug in view reevaluation
* minor fixes to prelude.maude
* fixed uninitialized format attribute bug
* fixed parameter theory module expression memory leak
* fixed polymorph identity memory leak
* fixed polymorph identity processing bug
* added and used QID-SET fmod
* fixed metamodule cache deletion bug
* sortLeq and lesserSort now work on types
Overview of Changes in Maude alpha86c
=====================================
* improved recovery from surface syntax errors
* added DEFAULT fth, various views and ARRAY fmod
* added LIST-AND-SET fmod
* added linear Diophantine solver
* warn about object level duplicate attributes
* fixed backquote in created module name bug
* fixed view ACU op->term mapping bug
* added -no-wrap command line option
* disallow parameter passing in nonfinal instantiations
* allow renaming of modules with bound parameters
Overview of Changes in Maude alpha86b
=====================================
* module garbage collection bug fixed
* metasummation bug fixed
* target modules with free parameters no longer allowed in views
* illegal importations no longer tolerated
* views can no longer map module defined stuff
* renamings can no longer map parameter defined stuff
* operator mappings now allowed in views
* dependency tracking supports views
* meta support for parameterization
* identity elements added for various structures in prelude
Overview of Changes in Maude alpha86a
=====================================
* fixed parameter checking bug for modules with both free and bound
parameters
* structured sorts printed correctly in various places
* theory-views now pushed into parameterized sorts
* new naming convention for otf modules
* bound parameter instantiation now handled like Full Maude
* -no-advise command line flag
* declined messages to external objects generate advisories
Overview of Changes in Maude alpha86
====================================
* fixed loop mode \/ bug
* metaPrettyPrint() now supports options
* preregularity and constructor consistancy errors now produce a
single informative warning
* set trace rewrite and set trace body options
* fixed metaXmatch() kind clash bug
* SO_REUSEADDR flag set on server sockets
* first attempt at parameterization in module system
Overview of Changes in Maude alpha85a
=====================================
* fixed more sufficient completeness issues in the prelude
* metadata attribute now allowed for operator declarations
* added crude support for sockets as external objects
Overview of Changes in Maude alpha85
====================================
* added min/max functions to number hierarchy
* fixed bug in up'ing FloatOpSymbol hook
* fixed sufficient completeness issues in the prelude
* fixed a bug in up'ing terms which gave kind variables the wrong
sort
* glbSorts() now handles kinds
* show profile now includes percentages
* show path labels command added
* metaSearchPath() added
* set clear rules on/off command added
* maximalAritySet() added
Overview of Changes in Maude alpha84d
=====================================
* fixed 0.0 ^ -1.0 bug
* module selectors now support theories
Overview of Changes in Maude alpha84c
=====================================
* added random number generation
* added counters
* trace applications in metaApply()/metaXapply()
As camlp5 is required with ocaml 3.10, bring it as a dependency anyway,
instead of requiring ocaml 3.10
Changes include:
* Installation
- Support for compilation with ocaml 3.10 and (transitional) camlp5.
- Many bugs have been fixed (cf coq-bugs web page)
- All known failures of ROmega have been fixed. It should now be a
faithful and quicker replacement for Omega (except when nat parts
are involved). ROmega and Omega now handle <->.
- Better computational behavior of some constants (eq_nat_dec and
le_lt_dec more efficient, Z_lt_le_dec and Positive_as_OT.compare
transparent) [exceptionally source of incompatibilities].
- Loading FSets/FMap used to open unwanted scopes of integer datatypes
(see bug #1347). These scopes may need to be manually opened now.
Camlp5 is a preprocessor and pretty-printer for OCaml programs. It also
provides parsing and printing tools.
As a preprocessor, it allows to:
- extend the syntax of OCaml,
- redefine the whole syntax of the language.
As a pretty printer, it allows to:
- display OCaml programs in an elegant way,
- convert from one syntax to another,
- check the results of syntax extensions.
Camlp5 also provides some parsing and pretty printing tools:
- extensible grammars
- extensible printers
- stream parsers and lexers
- pretty print module
It works as a shell command and can also be used in the OCaml toplevel.
Change in GNU Prolog version 1.3.0:
* official release (Jan 4 2007)
* change error messages emitted by the compiler to follow GNU standards
* modify doc (mainly rename manual.xxx to gprolog.xxx)
* add DESTDIR variable support in main Makefile for staged installs
* fix a bug with Prolog floats in x86_64/linux (bad stack alignment)
* port for ix86/darwin (Mac OS X)
* add check target to main Makefile
* improve Win32 ports (cygwin, MinGW, MSVC 6.0 and 2005 Express Edition)
(MSVC port uses MinGW as.exe instead of nasm.exe - named mingw-as.exe
provided in the setup.exe)
* rename call/2 to call_det/2
* implement call/2-11 as will be defined in the next standard
* fix various problems when compiling with gcc 4 (gcc 4.1.1)
* emit .note.GNU-stack to mark the stack as no executable
in x86_any.c, x86_64_any.c and powerpc_any.c
* change the way objects are found (obj_chain.c) using gcc ctors
* use Doug Lea malloc for OpenBSD (problem with malloc using mmap)
* fix problems in various ports:
alpha/linux, powerpc/darwin (Mac OS X), sparc/solaris, ix86/OpenBSD
Change in GNU Prolog version 1.2.19:
* fix 2 bugs in global variables
Change in GNU Prolog version 1.2.18:
* fix problem when compiling with gcc 3.4.0
* fix bug in term comparison involving negative integers
* add consult, ... and fix minor bugs in the Win32 GUI console menu
* fix the stack overflow detection under cygwin
* port to ix86/MinGW - many thanks to:
Cesar Rabak <csrabak@ig.com.br>
* fix a problem in the port to x86/OpenBSD
* port to sparc/NetBSD and powerpc/NetBSD - many thanks to:
Jason Beegan <jtb@netbsd.org>
* fix a bug in =../2 involving FD variables
* fix a bug in arithmetics (in float_{integer/fractional}_part)
* fix a bug in FD solver (wrong union with a singleton)
Change in GNU Prolog version 1.2.17:
* change configure.in: by default ebp is not used
* fix a but with CTRL+C handler not reinstalled
* fix a bug with _XXX (re)displayed under the top-level
* port to x86_64/linux - many thanks to:
Gwenole Beauchesne <gbeauchesne@mandrakesoft.com>
