View Git repositories
branches with status:
Name Status Last Modified Last Commit
lp:~vcs-imports/freebsd/head Development 2017-11-18 13:21:22 UTC 22 minutes ago
217626. Increase rtld initial memory pool siz...

Author: trasz
Revision Date: 2017-11-18 13:21:22 UTC

Increase rtld initial memory pool size from 32kB to 128kB.

The old value was probably fine back in 1998, when that code was imported
(although the comments still mention VAX, which was quite obsolete by then);
now, however, it's too small to handle our libc, which results in some
additional calls to munmap/mmap later on. Asking for more virtual address
space is virtually free, and syscalls are not, thus the change.

It was suggested by kib@ that this might be a symptom of a deeper problem.
It doesn't only affect libc, though - the change also improves rtld memory
management for eg KDE libraries. I guess it's just a natural bloat.

MFC after: 2 weeks
Sponsored by: DARPA, AFRL
Differential Revision: https://reviews.freebsd.org/D12834

lp:spamassassin bug Development 2017-11-18 08:30:25 UTC 5 hours ago
20995. promotions validated

Author: spamassassin_role
Revision Date: 2017-11-18 08:30:25 UTC

promotions validated

lp:gcc Development 2017-11-18 07:35:18 UTC 6 hours ago
157754. * hash-set.h (hash_set::empty): New....

Author: aldyh
Revision Date: 2017-11-18 07:35:18 UTC

 * hash-set.h (hash_set::empty): New.
 * tree-ssa-threadbackward.h: Delete.
 * tree-ssa-threadbackward.c (class thread_jumps): New.
 Move max_threaded_paths into class.
 (fsm_find_thread_path): Remove arguments that are now in class.
 (profitable_jump_thread_path): Rename to...
 (thread_jumps::profitable_jump_thread_path): ...this.
 (convert_and_register_jump_thread_path): Rename to...
 (thread_jumps::convert_and_register_current_path): ...this.
 (check_subpath_and_update_thread_path): Rename to...
 (thread_jumps::check_subpath_and_update_thread_path): ...this.
 (register_jump_thread_path_if_profitable): Rename to...
 (thread_jumps::register_jump_thread_path_if_profitable): ...this.
 (handle_phi): Rename to...
 (thread_jumps::handle_phi): ...this.
 (handle_assignment): Rename to...
 (thread_jumps::handle_assignment): ...this.
 (fsm_find_control_statement_thread_paths): Rename to...
 (thread_jumps::fsm_find_control_statement_thread_paths): ...this.
 (find_jump_threads_backwards): Rename to...
 (thread_jumps::find_jump_threads_backwards): ...this.
 Initialize path local data.
 (pass_thread_jumps::execute): Call find_jump_threads_backwards
 from within thread_jumps class.
 (pass_early_thread_jumps::execute): Same.

lp:ruby Development 2017-11-18 06:24:52 UTC 7 hours ago
48483. .gdbinit: fix print_pathobj $str is ...

Author: ktsj
Revision Date: 2017-11-18 06:24:52 UTC

.gdbinit: fix print_pathobj

$str is not C string but RString.

lp:~vcs-imports/llvm/llvm-trunk Development 2017-11-18 06:23:48 UTC 7 hours ago
157052. [X86] Output cfi directives for saved...

Author: mstorsjo
Revision Date: 2017-11-18 06:23:48 UTC

[X86] Output cfi directives for saved XMM registers even if no GPRs are saved

This makes sure that functions that only clobber xmm registers
(on win64) also get the right cfi directives, if dwarf exceptions
are enabled.

Differential Revision: https://reviews.llvm.org/D40191

lp:mesa Development 2017-11-18 05:51:16 UTC 7 hours ago
73607. i965: Stop including brw_cfg.h in brw...

Author: Jason Ekstrand
Revision Date: 2017-11-18 05:51:16 UTC

i965: Stop including brw_cfg.h in brw_disasm_info.h

The brw_disasm_info header is included by certain tools in order to get
shader assembly from binaries so it's a semi-external header. Including
brw_cfg.h also pulls in brw_shader.h so you end up getting quite a bit
of our back-end compiler internals. Instead, make the couple of forward
declarations we need and make the header more stand-alone. This fixes
the meson build.

Reviewed-by: Matt Turner <mattst88@gmail.com>
Fixes: 4f82b17287194ca7d10816f6cfe4712a3e0a03fc

lp:~vcs-imports/mesa/trunk Development 2017-11-18 05:51:16 UTC 7 hours ago
73607. i965: Stop including brw_cfg.h in brw...

Author: Jason Ekstrand
Revision Date: 2017-11-18 05:51:16 UTC

i965: Stop including brw_cfg.h in brw_disasm_info.h

The brw_disasm_info header is included by certain tools in order to get
shader assembly from binaries so it's a semi-external header. Including
brw_cfg.h also pulls in brw_shader.h so you end up getting quite a bit
of our back-end compiler internals. Instead, make the couple of forward
declarations we need and make the header more stand-alone. This fixes
the meson build.

Reviewed-by: Matt Turner <mattst88@gmail.com>
Fixes: 4f82b17287194ca7d10816f6cfe4712a3e0a03fc

lp:ardour Development 2017-11-18 04:28:39 UTC 9 hours ago
21511. Revert "editor_pt_import: Process wav...

Author: Damien Zammit
Revision Date: 2017-11-18 04:28:39 UTC

Revert "editor_pt_import: Process wav indexes once only"

This reverts commit 7422ffe6920deba396debb670c713849a64be43b.

lp:~vcs-imports/llvm/clang-trunk Development 2017-11-18 01:47:41 UTC 11 hours ago
71315. [AST] Fix some Clang-tidy modernize a...

Author: eugenezelenko
Revision Date: 2017-11-18 01:47:41 UTC

[AST] Fix some Clang-tidy modernize and Include What You Use warnings; other minor fixes (NFC).

lp:strace Development 2017-11-18 01:35:20 UTC 12 hours ago
6036. ipc_shm: decode hugetlb page size in ...

Author: Dmitry V. Levin
Revision Date: 2017-11-18 01:35:20 UTC

ipc_shm: decode hugetlb page size in shmget flags

Decode alternative hugetlb page sizes introduced by kernel commit
v3.8-rc1~175^2~36.

* ipc_shm.c [!SHM_HUGE_SHIFT] (SHM_HUGE_SHIFT): New macro.
[!SHM_HUGE_MASK] (SHM_HUGE_MASK): Likewise.
(SYS_FUNC(shmget)): Print hugetlb page size.
* tests/ipc_shm.c: Check it.

lp:wireshark Development 2017-11-18 00:42:25 UTC 13 hours ago
69257. IEEE 802.11: fix an infinite loop Pr...

Author: Pascal Quantin
Revision Date: 2017-11-18 00:42:25 UTC

IEEE 802.11: fix an infinite loop

Presumably the element length is unsigned, otherwise it can be negative
and reincrement tag length.

Bug: 14231
Change-Id: I26d339aea7588a489b4252b67c212810029bff0e
Reviewed-on: https://code.wireshark.org/review/24472
Reviewed-by: Pascal Quantin <pascal.quantin@gmail.com>
Petri-Dish: Pascal Quantin <pascal.quantin@gmail.com>
Tested-by: Petri Dish Buildbot
Reviewed-by: Michael Mann <mmann78@netscape.net>

lp:gdal Development 2017-11-17 22:42:26 UTC 15 hours ago
22770. fix trailing comma that makes the jso...

Author: warmerdam
Revision Date: 2017-11-17 22:42:26 UTC

fix trailing comma that makes the json invalid

lp:openldap Development 2017-11-17 22:30:45 UTC 15 hours ago
20988. ITS#8753, ITS#8774 - Fix compilation ...

Author: Quanah Gibson-Mount
Revision Date: 2017-11-17 22:30:45 UTC

ITS#8753, ITS#8774 - Fix compilation with older versions of OpenSSL

lp:poppler Development 2017-11-17 22:20:29 UTC 15 hours ago
4381. Document the meaning of the 'type' in...

Author: Oliver Sander
Revision Date: 2017-11-17 22:20:29 UTC

Document the meaning of the 'type' integer of a shading

lp:strongswan Development 2017-11-17 21:42:28 UTC 16 hours ago
12511. Version bump to 5.6.1

Author: Andreas Steffen
Revision Date: 2017-11-17 21:42:28 UTC

Version bump to 5.6.1

lp:wordpress Development 2017-11-17 21:35:51 UTC 16 hours ago
37716. Multisite: Do not show edit links in ...

Author: flixos90
Revision Date: 2017-11-17 21:35:51 UTC

Multisite: Do not show edit links in network users table for users that cannot be edited.

Props ocean90.
Fixes #42552.

Built from https://develop.svn.wordpress.org/trunk@42202

lp:nano Development 2017-11-17 20:52:31 UTC 16 hours ago
6811. tweaks: correct two minor things in t...

Author: Benno Schulenberg
Revision Date: 2017-11-17 20:52:31 UTC

tweaks: correct two minor things in the documentation

lp:~vcs-imports/amanda/trunk Development 2017-11-17 20:50:43 UTC 16 hours ago
5025. * server-src/amdump.pl: Fix usage mes...

Author: martinea
Revision Date: 2017-11-17 20:50:43 UTC

* server-src/amdump.pl: Fix usage message

lp:tomcat6 Development 2017-11-17 19:56:21 UTC 17 hours ago
17952. Fix https://bz.apache.org/bugzilla/sh...

Author: markt
Revision Date: 2017-11-17 19:56:21 UTC

Fix https://bz.apache.org/bugzilla/show_bug.cgi?id=61658
Update MIME mappings for fonts to use font/* as per RFC8081

lp:postgresql Development 2017-11-17 19:52:00 UTC 17 hours ago
43842. Update postgresql.conf.sample comment...

Author: Robert Haas
Revision Date: 2017-11-17 19:52:00 UTC

Update postgresql.conf.sample comment for bgwriter_lru_maxpages

Commit 14ca9abfbe4643408ad6ed3279f2f6366cafb3f1 should have done
this, but did not.

Jeff Janes

Discussion: http://postgr.es/m/CAMkU=1yWOvL+YFYzGM9yXSoWjxr_5_Ny78pPzLKQCkfgB7H-JQ@mail.gmail.com

lp:wine Development 2017-11-17 18:53:48 UTC 18 hours ago
121261. mshtml: Merge olewnd.c into oleobj.c....

Author: Jacek Caban
Revision Date: 2017-11-17 18:53:48 UTC

mshtml: Merge olewnd.c into oleobj.c.

Signed-off-by: Jacek Caban <jacek@codeweavers.com>
Signed-off-by: Alexandre Julliard <julliard@winehq.org>

lp:debian-installer (Linked to a blueprint) Development 2017-11-17 18:32:03 UTC 19 hours ago
7997. Updated Greek translator for the inst...

Author: Holger Wansing
Revision Date: 2017-11-17 18:32:03 UTC

Updated Greek translator for the installer

lp:vendor Development 2017-11-17 17:44:43 UTC 19 hours ago
345. update deploy key

Author: Daniel Theophanes
Revision Date: 2017-11-17 17:44:43 UTC

update deploy key

lp:xfdesktop Development 2017-11-17 17:36:00 UTC 20 hours ago
3819. I18n: Update translation da (100%). ...

Author: Anonymous
Revision Date: 2017-11-17 17:36:00 UTC

I18n: Update translation da (100%).

227 translated messages.

Transifex (https://www.transifex.com/xfce/public/).

lp:xfce4-terminal Development 2017-11-17 17:34:42 UTC 20 hours ago
2867. I18n: Update translation da (100%). ...

Author: Anonymous
Revision Date: 2017-11-17 17:34:42 UTC

I18n: Update translation da (100%).

370 translated messages.

Transifex (https://www.transifex.com/xfce/public/).

lp:orage Development 2017-11-17 17:33:46 UTC 20 hours ago
2094. I18n: Update translation da (100%). ...

Author: Anonymous
Revision Date: 2017-11-17 17:33:46 UTC

I18n: Update translation da (100%).

1030 translated messages.

Transifex (https://www.transifex.com/xfce/public/).

lp:mousepad Development 2017-11-17 17:33:38 UTC 20 hours ago
967. I18n: Update translation da (100%). ...

Author: Anonymous
Revision Date: 2017-11-17 17:33:38 UTC

I18n: Update translation da (100%).

306 translated messages.

Transifex (https://www.transifex.com/xfce/public/).

lp:xfce4-settings Development 2017-11-17 17:33:10 UTC 20 hours ago
2312. I18n: Update translation da (100%). ...

Author: Anonymous
Revision Date: 2017-11-17 17:33:10 UTC

I18n: Update translation da (100%).

374 translated messages.

Transifex (https://www.transifex.com/xfce/public/).

lp:xfce4-session Development 2017-11-17 17:32:53 UTC 20 hours ago
2059. I18n: Update translation da (100%). ...

Author: Anonymous
Revision Date: 2017-11-17 17:32:53 UTC

I18n: Update translation da (100%).

178 translated messages.

Transifex (https://www.transifex.com/xfce/public/).

lp:xfce4-power-manager Development 2017-11-17 17:32:43 UTC 20 hours ago
2235. I18n: Update translation da (100%). ...

Author: Anonymous
Revision Date: 2017-11-17 17:32:43 UTC

I18n: Update translation da (100%).

207 translated messages.

Transifex (https://www.transifex.com/xfce/public/).

lp:xfce4-appfinder Development 2017-11-17 17:31:49 UTC 20 hours ago
1239. I18n: Update translation da (100%). ...

Author: Anonymous
Revision Date: 2017-11-17 17:31:49 UTC

I18n: Update translation da (100%).

77 translated messages.

Transifex (https://www.transifex.com/xfce/public/).

lp:thunar Development 2017-11-17 17:30:50 UTC 20 hours ago
3925. I18n: Update translation da (100%). ...

Author: Anonymous
Revision Date: 2017-11-17 17:30:50 UTC

I18n: Update translation da (100%).

737 translated messages.

Transifex (https://www.transifex.com/xfce/public/).

lp:libxfce4ui Development 2017-11-17 17:30:36 UTC 20 hours ago
745. I18n: Update translation da (100%). ...

Author: Anonymous
Revision Date: 2017-11-17 17:30:36 UTC

I18n: Update translation da (100%).

175 translated messages.

Transifex (https://www.transifex.com/xfce/public/).

lp:exo Development 2017-11-17 17:30:03 UTC 20 hours ago
2051. I18n: Update translation da (100%). ...

Author: Anonymous
Revision Date: 2017-11-17 17:30:03 UTC

I18n: Update translation da (100%).

298 translated messages.

Transifex (https://www.transifex.com/xfce/public/).

lp:wxmaxima Development 2017-11-17 16:23:38 UTC 21 hours ago
4643. Seems like automatic conversion of st...

Author: PeterPall
Revision Date: 2017-11-17 16:23:38 UTC

Seems like automatic conversion of strings to UTF8 might hang on some operating systems.

lp:unbound Mature 2017-11-17 14:44:57 UTC 22 hours ago
4179. re-run aclocal (of Fedora 27).

Author: wouter
Revision Date: 2017-11-17 14:44:57 UTC

re-run aclocal (of Fedora 27).

lp:bluez Development 2017-11-17 14:08:35 UTC 23 hours ago
19277. device: Fix possible runtime warning ...

Author: Bastien Nocera
Revision Date: 2017-11-17 14:08:35 UTC

device: Fix possible runtime warning

This g_source_remove() doesn't have its argument check for validity
which can lead to a runtime warning.

bluetoothd[14785]: GLib: g_source_remove: assertion 'tag > 0' failed
bluetoothd[14785]: ++++++++ backtrace ++++++++
bluetoothd[14785]: #1 g_logv+0x25d (/usr/lib64/libglib-2.0.so.0.5400.1) [0x50d5a7d]
bluetoothd[14785]: #2 g_log+0x8f (/usr/lib64/libglib-2.0.so.0.5400.1) [0x50d5bef]
bluetoothd[14785]: #3 g_source_remove+0x24 (/usr/lib64/libglib-2.0.so.0.5400.1) [0x50cd884]
bluetoothd[14785]: #4 device_remove+0xfb (src/device.c:4054) [0x4756cb]
bluetoothd[14785]: #5 adapter_remove+0x4a (src/adapter.c:5485) [0x45e0ea]
bluetoothd[14785]: #6 adapter_cleanup+0x2b (src/adapter.c:8681) [0x466abb]
bluetoothd[14785]: #7 main+0x867 (src/main.c:784) [0x40bdc7]
bluetoothd[14785]: #8 __libc_start_main+0xe7 (../csu/libc-start.c:340) [0x5d12187]
bluetoothd[14785]: #9 _start+0x2a (/home/hadess/Projects/jhbuild/bluez/src/bluetoothd) [0x40c5ca]
bluetoothd[14785]: +++++++++++++++++++++++++++

lp:nut Development 2017-11-17 13:19:01 UTC 2017-11-17
2752. man pages: clarification on polling p...

Author: Arnaud Quette
Revision Date: 2017-11-17 13:19:01 UTC

man pages: clarification on polling parameters

Explain difference between pollfreq and pollinterval in usbhid-ups, and
highlight the pollinterval parameter use from ups.conf in nutupsdrv

Closes: https://github.com/networkupstools/nut/issues/476

Signed-off-by: Arnaud Quette <ArnaudQuette@Eaton.com>

lp:~vcs-imports/mintinstall/trunk bug Development 2017-11-17 12:01:41 UTC 2017-11-17
309. 7.8.4

Author: Clement Lefebvre
Revision Date: 2017-11-17 12:01:41 UTC

7.8.4

lp:gawk Development 2017-11-17 09:11:10 UTC 2017-11-17
960. Merge branch 'gawk-4.2-stable'

Author: Arnold Robbins
Revision Date: 2017-11-17 09:11:10 UTC

Merge branch 'gawk-4.2-stable'

lp:~vcs-imports/gnome-applets/master Development 2017-11-17 09:00:07 UTC 2017-11-17
11373. Update Spanish translation (cherry p...

Author: Daniel Mustieles
Revision Date: 2017-11-17 09:00:07 UTC

Update Spanish translation

(cherry picked from commit 290ef0ce5fa0a77250f902ba97173ad680df55ad)

lp:balsa Development 2017-11-16 23:17:14 UTC 2017-11-16
8138. Map the pixmap id * src/toolbar-pre...

Author: Peter Bloomfield
Revision Date: 2017-11-16 23:17:14 UTC

Map the pixmap id

 * src/toolbar-prefs.c (tp_store_set): map the pixmap id.

lp:mplayer Development 2017-11-16 22:48:59 UTC 2017-11-16
37855. demux lavf: mp_read: Propagate EOF R...

Author: al
Revision Date: 2017-11-16 22:48:59 UTC

demux lavf: mp_read: Propagate EOF

Return AVERROR_EOF from mp_read callback, if stream->eof is non-zero.

Fixes ticket #2335

lp:libdmapsharing Development 2017-11-16 22:25:06 UTC 2017-11-16
429. Clean up code related to dynamically-...

Author: W. Michael Petullo
Revision Date: 2017-11-16 22:25:06 UTC

Clean up code related to dynamically-allocated properties

Signed-off-by: W. Michael Petullo <mike@flyn.org>

lp:stlink Development 2017-11-16 21:46:12 UTC 2017-11-16
533. STM32F72xx73xx support, from bob.fere...

Author: texane
Revision Date: 2017-11-16 21:46:12 UTC

STM32F72xx73xx support, from bob.feretich@rafresearch.com

lp:gnumeric Development 2017-11-16 20:57:05 UTC 2017-11-16
23165. Replace old FSF addresses with link ...

Author: Anders Jonsson
Revision Date: 2017-11-16 20:57:05 UTC

Replace old FSF addresses with link

https://bugzilla.gnome.org/show_bug.cgi?id=790442

lp:librsvg Development 2017-11-16 20:01:09 UTC 2017-11-16
2042. Support cross-compiling with Rust Th...

Author: dm0
Revision Date: 2017-11-16 20:01:09 UTC

Support cross-compiling with Rust

The primary change here is to add the --target=$(host) option to
the cargo build command, so the Rust components are compiled for
the target host system specified by the configure command. The
cargo target subdirectory also needed to be prefixed with the host
triplet for cross-compiling.

Some of the crates' build scripts require cross-pkg-config settings
in the environment, so they are set for the cargo build command.

It's worth noting that Rust targets are limited to built-in values
by default, so the --host value given to configure may not be
supported. Built in targets can be found by listing the directory
src/librustc_back/target in the rustc source. When building with
an unsupported target, the user will have to write a target JSON
definition file and set the environment variable RUST_TARGET_PATH
to its directory (as with building any Rust project).

This also sneaks in prefixing the Rust library recipe line with a
"+" character to pass the GNU Make jobserver environment and file
descriptors, which cargo supports to act as a jobserver client.

lp:buddypress Development 2017-11-16 20:00:41 UTC 2017-11-16
8884. Members: Run BP's illegal user names ...

Author: boonebgorges
Revision Date: 2017-11-16 20:00:41 UTC

Members: Run BP's illegal user names through WP filter.

This ensures that user names added to the blacklist via the
'illegal_user_logins' filter are also blacklisted during BP registration.

Props espellcaste.
Fixes #7461.

lp:pygobject Development 2017-11-16 17:39:23 UTC 2017-11-16
2966. Drop set_value usage in Gtk.List/Tree...

Author: infirit
Revision Date: 2017-11-16 17:39:23 UTC

Drop set_value usage in Gtk.List/TreeStore.set override

this causes multiple updates to the store each emitting a signal.

https://bugzilla.gnome.org/show_bug.cgi?id=790346

lp:awaitility Development 2017-11-16 17:22:27 UTC 2017-11-16
433. Updated changelog to reflect the late...

Author: Johan Haleby
Revision Date: 2017-11-16 17:22:27 UTC

Updated changelog to reflect the latest changes

lp:~vcs-imports/gcc/git-mirror Development 2017-11-16 16:24:53 UTC 2017-11-16
157693. Remove wrong ChangeLog entry git-svn...

Author: jason
Revision Date: 2017-11-16 16:24:53 UTC

Remove wrong ChangeLog entry

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@254831 138bc75d-0d04-0410-961f-82ee72b054a4

lp:python-ldap Development 2017-11-16 16:10:35 UTC 2017-11-16
1786. Tests/ scripts do not directly call S...

Author: stroeder
Revision Date: 2017-11-16 16:10:35 UTC

Tests/ scripts do not directly call SlapdTestCase.setUpClass() anymore

lp:jgit Development 2017-11-16 15:45:57 UTC 2017-11-16
3430. Merge changes from topic 'includeDele...

Author: Shawn Pearce
Revision Date: 2017-11-16 15:45:57 UTC

Merge changes from topic 'includeDeletes'

* changes:
  Add flag for keeping ref tombstones in GC reftable
  Preserve ref tombstone when compact top retable stack

lp:~vcs-imports/mintupdate/trunk Development 2017-11-16 15:11:20 UTC 2017-11-16
485. rules: update engrampa version for Be...

Author: Vlad Orlov
Revision Date: 2017-11-16 15:11:20 UTC

rules: update engrampa version for Betsy (#285)

lp:axiom Development 2017-11-16 11:30:06 UTC 2017-11-16
2834. books/bookvolbib add references Goal...

Author: daly
Revision Date: 2017-11-16 11:30:06 UTC

books/bookvolbib add references

Goal: Proving Axiom Correct

\index{Brown, W.S.}
\begin{chunk}{axiom.bib}
@article{Brow69,
  author = "Brown, W.S.",
  title = {{Rational Exponential Expressions and a Conjecture Concerning
           $\pi$ and $e$}},
  journal = "The American Mathematical Monthly",
  volume = "76",
  number = "1",
  year = "1969",
  pages = "28-34",
  abstract =
    "One of the most controversial and least well defined of mathematical
    problems is the problem of simplification. The recent upsurge
    of interest in mechanized mathematics has lent new urgency to this
    problem, but so far very little has been accomplished. This paper
    attempts to shed light on the situation by introducing the class of
    rational exponential expressions, defining simplification within
    this class, and showing constructively how to achieve it. It is shown
    that the only simplified rational exponential expression equivalent to
    0 is 0 itself, provided that an easily stated conjecture is true.
    However the conjecture, if true, will surely be difficult to prove,
    since it asserts as a special case that $\pi$ and $e$ are algebraically
    independent, and no one has yet been able to prove even the much
    weaker conjecture that $\pi+e$ is irrational.",
  paper = "Brow69.pdf"
}

\end{chunk}

\index{Bogen, Richard}
\begin{chunk}{axiom.bib}
@book{Boge77,
  author = "Bogen, Richard",
  title = {{MACSYMA Reference Manual, Version 9}},
  publisher = "MIT",
  year = "1977",
  link = "\url{http://bitsavers.informatik.uni-stuttgart.de/pdf/mit/macsyma/MACSYMA_RefMan_V9_Dec77.pdf}",
  paper = "Boge77.pdf"
}

\end{chunk}

\index{Schelter, William F.}
\begin{chunk}{axiom.bib}
@book{Sche01,
  author = "Schelter, William F.",
  title = {{Maxima Manual Version 5.41.0}},
  year = "2001",
  publisher = "Sourceforge",
  paper = "Sche01.pdf"
}

\end{chunk}

\index{Farmer, William M.}
\index{Guttman, J.D.}
\index{Thayer, F.J.}
\begin{chunk}{axiom.bib}
@article{Farm95,
  author = "Farmer, William M. and Guttman, J.D. and Thayer, F.J.",
  title = {{Contexts in Mathematical Reasoning and Computation}},
  journal = "J. of Symbolic Computation",
  volume = "19",
  pages = "201-216",
  year = "1995",
  abstract =
    "Contexts are sets of formulas used to manage the assumptions that
    arise in the course of a mathematical deduction or
    calculation. Although context-dependent reasoning is commonplace in
    informal mathematics, most contemporary symbolic computation systems
    do not utilize contexts in sophisticated ways. This paper describes
    some context-based techniques for symbolic computation, including
    techniques for reasoning about definedness, simplifying abstract
    algebraic expressions, and computing with theorems. All of these
    techniques are implemented in the IMPS Interactive Mathematical Proof
    System. The paper also proposes a general mathematics laboratory that
    combines the functionality of current symbolic computation systems
    with the facilities of a theorem proving system like IMPS.",
  paper = "Farm95.pdf"
}

\end{chunk}

\index{Farmer, William M.}
\begin{chunk}{axiom.bib}
@article{Farm93b,
  author = "Farmer, William M.",
  title = {{A simple type theory with partial functions and subtypes}},
  journal = "Annals of Pure and Applied Logic",
  volume = "64",
  pages = "211-240",
  year = "1993",
  abstract =
    "Simple type theory is a higher-order predicate logic for reasoning
    about truth values, individuals, and simply typed total functions. We
    present in this paper a version of simple type theory, called PF*, in
    which functions may be partial and types may have subtypes. We define
    both a Henkin-style general models semantics and an axiomatic system
    for PF*, and we prove that the axiomatic system is complete with
    respect to the general models semantics. We also define a notion of
    an interpretation of one PF* theory in another. PF* is intended as a
    foundation for mechanized mathematics. It is the basis for the logic
    of IMPS, an Interactive Mathematical Proof System developed at The
    MITRE Corporation.",
  paper = "Farm93b.pdf"
}

\end{chunk}

\index{Farmer, William H.}
\begin{chunk}{axiom.bib}
@article{Farm92,
  author = "Farmer, William H.",
  title = {{Little Theories}},
  journal = "LNCS",
  volume = "607",
  year = "1992",
  pages = "567-581",
  abstract =
    "In the ``little theories'' version of the axiomatic method, different
    portions of mathematics are developed in various different formal
    axiomatic theories. Axiomatic theories may be related by inclusion or
    by theory interpretation. We argue that the little theories approach
    is a desirable way to formalize mathematics, and we describe how IMPS,
    an Interactive Mathematical Proof System, supports it.",
  paper = "Farm92.pdf"
}

\end{chunk}

\index{Owre, S.}
\index{Rushby, J.M.}
\index{Shankar, N.}
\begin{chunk}{axiom.bib}
@article{Owre92,
  author = "Owre, S. and Rushby, J.M. and Shankar, N.",
  title = {{PVS: A Prototype Verification System}},
  journal = "Lecture Notes in Computer Science",
  volume = "687",
  pages = "748-752",
  year = "1992",
  abstract =
    "This brief paper introduces the main ideas of PVS",
  paper = "Owre92.pdf"
}

\end{chunk}

\index{Farmer, William H.}
\begin{chunk}{axiom.bib}
@article{Farm92a,
  author = "Farmer, William H.",
  title = {{IMPS: System Description}},
  journal = "Lecture Notes in Computer Science",
  volume = "607",
  pages = "701-705",
  year = "1992",
  paper = "Farm92a.pdf"
}

\end{chunk}

\index{Wos, Larry}
\begin{chunk}{axiom.bib}
@article{Wosx92,
  author = "Wos, Larry",
  title = {{The Impossibility of the Automation of Logical Reasoning}},
  journal = "Lecture Notes in Computer Science",
  volume = "607",
  year = "1992",
  pages = "1-3",
  paper = "Wosx92.pdf"
}

\end{chunk}

\index{Craigen, Dan}
\index{Kromodimoeljo, Sentot}
\index{Meisels, Irwin}
\index{Pase, Bill}
\index{Saaltink, Mark}
\begin{chunk}{axiom.bib}
@article{Crai92,
  author = "Craigen, Dan and Kromodimoeljo, Sentot and Meisels, Irwin
            and Pase, Bill",
  title = {{Eves System Description}},
  journal = "Lecture Notes in Computer Science",
  volume = "607"
  pages = "771-775",
  year = "1992",
  paper = "Crai92.pdf"
}

\end{chunk}

\index{Pfenning, Frank}
\index{Rohwedder, Ekkehard}
\begin{chunk}{axiom.bib}
@article{Pfen92b,
  author = "Pfenning, Frank and Rohwedder, Ekkehard",
  title = {{Implementing the Meta-Theory of Deductive Systems}},
  journal = "Lecture Notes in Computer Science",
  volume = "607"
  pages = "771-775",
  year = "1992",
  abstract =
    "We exhibit a methodology for formulating and verifying meta- theorems
    about deductive systems in the Elf language, an implementation of the
    LF Logical Framework with an operational semantics in the spirit of
    logic programming. It is based on the mechanical verification of
    properties of transformations between deductions, which relies on type
    reconstruction and schema-checking. The latter is justified by
    induction principles for closed LF objects, which can be constructed
    over a given signature. We illustrate our technique through several
    examples, the most extensive of which is an interpre- tation of
    classical logic in minimal logic through a continuation-passing-style
    transformation on proofs.",
  paper = "Pfen92b.pdf"
}

\end{chunk}

\index{Guttman, J.D.}
\begin{chunk}{axiom.bib}
@techreport{Gutt91,
  author = "Guttman, J.D.",
  title = {{A Propoed Interface Logic for Verification Environments}},
  type = "technical report",
  number = "M91-19",
  institution = "The MITRE Corporation",
  year = "1991"
}

\end{chunk}

\begin{chunk}{axiom.bib}
@misc{Open11,
  author = "Dos Reis, G.",
  title = {{OpenAxiom}},
  link = "\url{http://www.open-axiom.org}",
  year = "2011"
}

\end{chunk}

\index{Matthews, David C.J.}
\index{Wenzel, Makarius}
\begin{chunk}{axiom.bib}
@inproceedings{Matt10,
  author = "Matthews, David C.J. and Wenzel, Makarius",
  title = {{Efficient Parallel Programming in Poly/ML and Isabelle/ML}},
  booktitle = "Proc. 5th ACM SIGPLAN workshop on Declarative aspects of
               multicore programming",
  pages = "53-62",
  year = "2010",
  publisher = "ACM",
  isbn = "978-1-60558-859-9",
  abstract =
    "The ML family of languages and LCF-style interactive theorem proving
    have been closely related from their beginnings about 30 years
    ago. Here we report on a recent project to adapt both the Poly/ML
    compiler and the Isabelle theorem prover to current multicore
    hardware. Checking theories and proofs in typical Isabelle application
    takes minutes or hours, and users expect to make efficient use of
    ``home machines'' with 2-8 cores, or more.

    Poly/ML and Isabelle are big and complex software systems that have
    evolved over more than two decades. Faced with the requirement to
    deliver a stable and efficient parallel programming environment, many
    infrastructure layers had to be reworked: from low-level system
    threads to high-level principles of value-oriented programming. At
    each stage we carefully selected from the many existing concepts for
    parallelism, and integrated them in a way that fits smoothly into the
    idea of purely functional ML with the addition of synchronous
    exceptions and asynchronous interrupts.

    From the Isabelle/ML perspective, the main concept to manage parallel
    evaluation is that of ``future values''. Scheduling is implicit, but it
    is also possible to specify dependencies and priorities. In addition,
    block-structured groups of futures with propagation of exceptions
    allow for alternative functional evaluation (such as parallel search),
    without requiring user code to tackle concurrency. Our library also
    provides the usual parallel combinators for functions on lists, and
    analogous versions on prover tactics.

    Despite substantial reorganization in the background, only minimal
    changes are occasionally required in user ML code, and none at the
    Isabelle application level (where parallel theory and proof processing
    is fully implicit). The present implementation is able to address more
    than 8 cores effectively, while the earlier version of the official
    Isabelle2009 release works best for 2-4 cores. Scalability beyond 16
    cores still poses some extra challenges, and will require further
    improvements of the Poly/ML runtime system (heap management and
    garbage collection), and additional parallelization of Isabelle
    application logic.",
  paper = "Matt10.pdf"
}

\end{chunk}

\begin{chunk}{axiom.bib}
@misc{Poly11a,
  author = "Unknown",
  title = {{Poly/ML}},
  link = "\url{http://www.polyml.org}",
  year = "2011"
}

\end{chunk}

\begin{chunk}{axiom.bib}
@misc{Isab11,
  author = "Unknown",
  title = {{Isabell}},
  link = "\url{http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html}",
  year = "2011"
}

\end{chunk}

\index{Boulm\'e, Sylvain}
\begin{chunk}{axiom.bib}
@techreport{Boul00a,
  author = "Boulme. Sylvain",
  title = {{Specifying in Coq inheritance used in Computer Algebra
            Libraries}},
  year = "2000",
  institution = "LIP6, Paris",
  number = "2000.013",
  abstract =
    "This paper is part of FOC[3], a project for developing Computer
    Algebra libraries, certified in Coq[2]. FOC has developed a
    methodology for programming Computer Algebra libraries, using modules
    and objects in Ocaml. In order to specify modularity features used by
    FOC in Ocaml, we are coding in Coq a theory for extensible records
    with dependent fields. This theory intends to express especially the
    kind of inheritance with method redefinition and late binding, that
    FOC uses in its Ocaml programs.

    The unit of FOC are coded as records. As we want to encode sematic
    information on units, the fields of our records may be proofs. Thus,
    our fields may depend on each others. We call the
    {\sl Drecords}. Then, we introduce a new datatype, called
    {\sl mixDrec}, to represent FOC classes. Actually, mixDrecs are useful
    for describing a hierarchy of Drecords in an incremental way. In
    mixDrecs, fields can be only declared or they can be
    redefined. MixDrecs can be extended by inheritance.",
  paper = "Boul00a.pdf"
}

\end{chunk}

\index{Dennis, Louise A.}
\index{Collins, Graham}
\index{Norrish, Michael}
\index{Boulton, Richard}
\index{Slind, Konrad}
\index{Robinson, Graham}
\index{Gordon, Mike}
\index{Melham, Tom}
\begin{chunk}{axiom.bib}
@article{Denn00,
  author = "Dennis, Louise A. and Collins, Graham and Norrish, Michael
            and Boulton, Richard and Slind, Konrad and
            Robinson, Graham and Gordon, Mike and Melham, Tom",
  title = {{The PROSPER Toolkit}},
  journal = "LNCS",
  volume = "1785",
  publisher = "Springer-Verlag",
  pages = "78-92",
  year = "2000",
  link =
     "\url{https://link.springer.com/content/pdf/10.1007/3-540-46419-0_7.pdf}",
  abstract =
    "The PROSPER (Proof and Specification Assisted Design Environments)
    project advocates the use of toolkits which allow existing
    verification tools to be adapted to a more flexible format so that
    they may be treated as components. A system incorporating such tools
    becomes another component that can be embedded in an application. This
    paper describes the PROSPER Toolkit which enables this. The nature of
    communication between components is specified in a
    language-independent way. It is implemented in several common
    programming languages to allow a wide variety of tools to have access
    to the toolkit.",
  paper = "Denn00.pdf"
}

\end{chunk}

\index{Dewar, Mike}
\begin{chunk}{axiom.bib}
@misc{Dewa00,
  author = "Dewar, Mike",
  title = {{Special Issue on OPENMATH}},
  publisher = "ACM SIGPLAN Bulletin",
  volume = "34",
  number = "2",
  year = "2000"
}

\end{chunk}

\index{Gray, Simon}
\index{Kajler, Norbert}
\index{Wang, Paul S.}
\begin{chunk}{axiom.bib}
@article{Gray98,
  author = "Gray, Simon and Kajler, Norbert and Wang, Paul S.",
  title = {{Design and Implementation of MP, a Protocol for
            Efficient Exchange of Mathematical Expressions}},
  journal = "J. Symboic Computation",
  volume = "25",
  pages = "213-237",
  year = "1998",
  abstract =
    "The Multi Project is an ongoing research e ort at Kent State
    University aimed at providing an environment for distributed scientific
    computing. An integral part of this environment is the Multi-
    Protocol (MP) which is designed to support ecientific communication of
    mathematical data between scientifically-oriented software tools. MP
    exchanges data in the form of linearized annotated syntax
    trees. Syntax trees provide a simple, flexible and tool-independent
    way to represent and exchange data, and annotations provide a powerful
    and generic expressive facility for transmitting additional
    information. At a level above the data exchange protocol,
    dictionaries provide definitions for operators and constants, providing
    shared semantics across heterogeneous packages. A clear distinction
    between MP-defined and user-defined entities is enforced. Binary
    encodings are used for efficiency. Commonly used values and blocks of
    homogeneous data are further optimized. The protocol is independent of
    the underlying communication paradigm and can support parallel
    computation, distributed problem-solving environments, and the
    coupling of tools for speci c applications.",
  paper = "Gray98.pdf"
}

\end{chunk}

\index{Harrison, John}
\index{Th\'ery, Laurent}
\begin{chunk}{axiom.bib}
@incollection{Harr93,
  author = "Harrison, John and Thery, Laurent",
  title = {{Reasoning about the Reals: The Marriage of HOL and
            Maple}},
  booktitle = "Logic Programming and Automated Reasoning",
  publisher = "Springer-Verlag",
  year = "1993",
  pages = "351-353",
  link =
    "\url{https://link.springer.com/content/pdf/10.1007/3-540-56944-8_68.pdf}",
  abstract =
    "Computer algebra systems are extremely powerful and flexible, but
    often give results which require careful interpretation or are
    downright incorrect. By contrast, theorem provers are very reliable
    but lack the powerful specialized decision procedures and heuristics
    of computer algebra systems. In this paper we try to get the best of
    both worlds by careful exploitation of a link between a theorem prover
    and a computer algebra system.",
  paper = "Harr93.pdf"
}

\end{chunk}

\index{Richardson, Daniel}
\begin{chunk}{axiom.bib}
@article{Rich69,
  author = "Richardson, Daniel",
  title = {{Some Undecidable Problems involving Elementar Functions of
            a Real Variable}},
  journal = "J. Symbolic Logic",
  volume = "33",
  number = "4",
  year = "1969",
  pages = "514-520",
  abstract =
    "Let $E$ be a set of expressions representing real, single valued,
    partially defined functions of one real variable. $E^*$ will be the
    set of functions represented by expressions in $E$. If $A$ is an
    expression in $E$, $A(x)$ is the function denoted by $AA$. It is
    assumed that $D^*$ contains the identity function and the rational
    numbers as constant functions and that $E^*$ is closed under addition,
    subtraction, multiplication, and composition"
}

\end{chunk}

\index{Rushby, John}
\begin{chunk}{axiom.bib}
@inproceedings{Rush00,
  author = "Rushby, John",
  title = {{Disappearing Formal Methods}},
  booktitle = "High Assurance Systems Engineering, 5th Int. Symp.",
  pages = "95-96",
  year = "2000",
  publisher = "ACM",
  paper = "Rush00.pdf"
}

\end{chunk}

\index{Buchberger, B.}
\index{Dupre, C.}
\index{Jebelean, T.}
\index{Kriftner, F.}
\index{Nakagawa, K.}
\index{Vasaru, D.}
\index{Windsteiger, W.}
\begin{chunk}{axiom.bib}
@misc{Buch00,
  author = "Buchberger, B. and Dupre, C. and Jebelean, T. and Kriftner, F.
            and Nakagawa, K. and Vasaru, D. and Windsteiger, W.",
  title = {{The Theorema Project: A Progress Report}},
  year = "2000",
  abstract =
    "The THEOREMA project aims at supporting, within one consistent logic
    and one coherent software system, the entire mathematical exploration
    cycle including the phase of proving. In this paper we report on some
    of the new features of THEOREMA that have been designed and
    implemented since the first expository version of THEOREMA in
    1997. These features are: - the THEOREMA formal text language - the
    THEOREMA computational sessions - the Prove-Compute-Solve (PCS) prover
    of THEOREMA - the THEOREMA set theory prover - special provers within
    THEOREMA - the cascade-meta-strategy for THEOREMA provers - proof
    simplification in THEOREMA. In the conclusion, we formulate design
    goals for the next version of THEOREMA",
  paper = "Buch00.pdf"
}

\end{chunk}

\index{Boyer, Robert S.}
\index{Moore, J Strother}
\begin{chunk}{axiom.bib}
@techreport{Boye85,
  author = "Boyer, Robert S. and Moore, J Strother",
  title = {{Integrating Decision Procedures into Heuristic Theorem Provers}},
  type = "technical report",
  institution = "Inst. for Comp. Sci. University of Texas at Austin",
  number = "ICSCA-CMP-44",
  year = "1985",
  abstract =
    "We discuss the problem of incorporating into a heuristic theorem
    prover a decision procedure for a fragment of the logic. An obvious
    goal when incorporating such a procedure is to reduce the search space
    explored by the heuristic component of the system, as would be
    achieved by eliminating from the system’s data base some explicitly
    stated axioms. For example, if a decision procedure for linear
    inequalities is added, one would hope to eliminate the explicit
    consideration of the transitivity axioms. However, the decision
    procedure must then be used in all the ways the eliminated axioms
    might have been. The difficulty of achieving this degree of
    integration is more dependent upon the complexity of the heuristic
    component than upon that of the decision procedure. The view of the
    decision procedure as a ``black box'' is frequently destroyed by the
    need pass large amounts of search strategic information back and forth
    between the two components. Finally, the efficiency of the decision
    procedure may be virtually irrelevant; the efficiency of the final
    system may depend most heavily on how easy it is to communicate
    between the two components. This paper is a case study of how we
    integrated a linear arithmetic procedure into a heuristic theorem
    prover. By linear arithmetic here we mean the decidable subset of
    number theory dealing with universally quantified formulas composed of
    the logical connectives, the identity relation, the Peano ``less than''
    relation, the Peano addition and subtraction functions, Peano
    constants, and variables taking on natural values. We describe our
    system as it originally stood, and then describe chronologically the
    evolution of our linear arithmetic procedure and its interface to the
    heuristic theorem prover. We also provide a detailed description of
    our final linear arithmetic procedure and the use we make of it. This
    description graphically illustrates the difference between a
    stand-alone decision procedure and one that is of use to a more
    powerful theorem prover.",
  paper = "Boye85.pdf"
}

\end{chunk}

\index{Farmer, William M.}
\index{Guttman, Joshua D.}
\index{Fabrega, F. Javier Thayer}
\begin{chunk}{axiom.bib}
@article{Farm96,
  author = "Farmer, William M. and Guttman, Joshua D. and
            Fabrega, F. Javier Thayer",
  title = {{IMPS: An Updated System Description}},
  journal = "LNCS",
  volume = "1104",
  pages = "298-302",
  year = "1996",
  paper = "Farm96.pdf"
}

\end{chunk}

\index{Gordon, M.}
\index{Milner, R.}
\index{Wadsworth, C.P.}
\begin{chunk}{axiom.bib}
@book{Gord79,
  author = "Gordon, M. and Milner, R. and Wadsworth, C.P.",
  title = {{Edinburgh LCF: A Mechanised Logic of Computation}},
  comment = "Lecture Notes in Computer Science Volume 78",
  publisher = "Springer-Verlag",
  year = "1979"
}

\end{chunk}

\index{Pfenning, Frank}
\begin{chunk}{axiom.bib}
@misc{Pfen17,
  author = "Pfenning, Frank",
  title = {{Logical Frameworks}},
  link = "\url{http://www.cs.cmu.edu/afs/cs.cmu.edu/user/fp/www/lfs.html}",
  year = "2017"
}

\end{chunk}

\begin{chunk}{axiom.bib}
@misc{Theo17,
  author = "Unknown",
  title = {{Theorema Project}},
  link = "\url{http://www.theorema.org}",
  year = "2017"
}

\end{chunk}

lp:libssh Development 2017-11-16 11:10:41 UTC 2017-11-16
3492. client: Add missing language tag in d...

Author: Andreas Schneider
Revision Date: 2017-11-16 11:10:41 UTC

client: Add missing language tag in disconnect message

Fixes T74

Signed-off-by: Andreas Schneider <asn@cryptomilk.org>

lp:libcairo Development 2017-11-16 09:46:14 UTC 2017-11-16
10433. pdf: fix document structure for non t...

Author: Adrian Johnson
Revision Date: 2017-11-16 09:46:14 UTC

pdf: fix document structure for non tagged structures

lp:telegnome Development 2017-11-16 07:09:45 UTC 2017-11-16
244. Update FSF address

Author: Anders Jonsson
Revision Date: 2017-11-16 07:09:45 UTC

Update FSF address

lp:pango Development 2017-11-16 03:20:32 UTC 2017-11-16
3850. 1.40.14

Author: Matthias Clasen
Revision Date: 2017-11-16 03:20:32 UTC

1.40.14

lp:fontconfig bug Development 2017-11-16 02:37:36 UTC 2017-11-16
1580. Correct debugging messages to load/sc...

Author: Akira TAGOH
Revision Date: 2017-11-16 02:37:36 UTC

Correct debugging messages to load/scan config

lp:glibc Development 2017-11-15 17:45:39 UTC 2017-11-15
28002. Optimize sigrelse implementation Thi...

Author: Adhemerval Zanella
Revision Date: 2017-11-15 17:45:39 UTC

Optimize sigrelse implementation

This patch simplifies sighold a bit by removing an extra sigprocmask
and using SIG_BLOCK (which union of the current set and the set argument).

Checked on x86_64-linux-gnu.

 * signal/sighold.c (sighold): Optimize implementation.

Signed-off-by: Adhemerval Zanella <adhemerval.zanella@linaro.org>

lp:network-manager-applet Development 2017-11-15 17:35:05 UTC 2017-11-15
3756. Update Croatian translation

Author: gogo
Revision Date: 2017-11-15 17:35:05 UTC

Update Croatian translation

lp:gedit-plugins Development 2017-11-15 16:05:18 UTC 2017-11-15
1459. Replace non-existing icons

Author: Piotr Drąg
Revision Date: 2017-11-15 16:05:18 UTC

Replace non-existing icons

lp:xdg-user-dirs Development 2017-11-15 10:42:20 UTC 2017-11-15
140. Fix minor spelling mistakes

Author: René Genz
Revision Date: 2017-11-15 10:42:20 UTC

Fix minor spelling mistakes

lp:trac Development 2017-11-15 02:59:57 UTC 2017-11-15
9219. 1.3.3dev: Merge r16388 from 1.2-stabl...

Author: rjollos
Revision Date: 2017-11-15 02:59:57 UTC

1.3.3dev: Merge r16388 from 1.2-stable

Refs #12938.

lp:gbrainy Development 2017-11-14 22:39:36 UTC 2017-11-14
2224. Update Swedish translation

Author: Anders Jonsson
Revision Date: 2017-11-14 22:39:36 UTC

Update Swedish translation

lp:xfwm4 Development 2017-11-14 17:40:38 UTC 2017-11-14
4860. I18n: Update translation ko (100%). ...

Author: Jung-Kyu Park
Revision Date: 2017-11-14 17:40:38 UTC

I18n: Update translation ko (100%).

172 translated messages.

Transifex (https://www.transifex.com/xfce/public/).

lp:xfconf Development 2017-11-14 17:40:03 UTC 2017-11-14
960. I18n: Update translation ko (100%). ...

Author: Jung-Kyu Park
Revision Date: 2017-11-14 17:40:03 UTC

I18n: Update translation ko (100%).

68 translated messages.

Transifex (https://www.transifex.com/xfce/public/).

lp:xfce4-mixer Development 2017-11-14 17:35:11 UTC 2017-11-14
1368. I18n: Update translation ko (100%). ...

Author: Jung-Kyu Park
Revision Date: 2017-11-14 17:35:11 UTC

I18n: Update translation ko (100%).

32 translated messages.

Transifex (https://www.transifex.com/xfce/public/).

lp:libxfce4util Development 2017-11-14 17:30:55 UTC 2017-11-14
749. I18n: Update translation ko (100%). ...

Author: Jung-Kyu Park
Revision Date: 2017-11-14 17:30:55 UTC

I18n: Update translation ko (100%).

7 translated messages.

Transifex (https://www.transifex.com/xfce/public/).

lp:alsa-plugins Development 2017-11-14 13:40:56 UTC 2017-11-14
285. Change FSF address (Franklin Street) ...

Author: Jaroslav Kysela
Revision Date: 2017-11-14 13:40:56 UTC

Change FSF address (Franklin Street)

Signed-off-by: Jaroslav Kysela <perex@perex.cz>

lp:alsa-utils Development 2017-11-14 13:28:53 UTC 2017-11-14
1346. Change FSF address (Franklin Street) ...

Author: Jaroslav Kysela
Revision Date: 2017-11-14 13:28:53 UTC

Change FSF address (Franklin Street)

Signed-off-by: Jaroslav Kysela <perex@perex.cz>

lp:vala Development 2017-11-14 13:02:42 UTC 2017-11-14
7834. tests: split VALAFLAGS over multiple ...

Author: Alistair Thomas
Revision Date: 2017-11-14 13:02:42 UTC

tests: split VALAFLAGS over multiple lines in testrunner.sh

This improves readability of script and makes it easier for out of tree
patches to the script.

https://bugzilla.gnome.org/show_bug.cgi?id=790321

lp:xf86-input-wacom Mature 2017-11-14 02:54:56 UTC 2017-11-14
1614. Add Travis-CI integration Adds a .tr...

Author: Jason Gerecke
Revision Date: 2017-11-14 02:54:56 UTC

Add Travis-CI integration

Adds a .travis.yml file which allows the Travis-CI service to build and
test the project. This should ensure we're immediately warned of potential
issues even if someone forgets to run the test suite before pushing. The
build is performed with "-Wall -Wextra -Werror" (with only a handful of
currently-necessary exceptions) on both GCC and Clang.

Signed-off-by: Jason Gerecke <jason.gerecke@wacom.com>
Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>

lp:zsh Development 2017-11-13 20:47:29 UTC 2017-11-13
10199. 42019: update options in git completi...

Author: Oliver Kiddle
Revision Date: 2017-11-13 20:47:29 UTC

42019: update options in git completion to 2.15

also improve format completion for git tag and for-each-ref

lp:tilda Development 2017-11-13 19:09:28 UTC 2017-11-13
402. Fix build after removal of callback_f...

Author: Sebastian Geiger
Revision Date: 2017-11-13 19:09:28 UTC

Fix build after removal of callback_func.c

This removes callback_func.c from POTFILES.in

Fixes #320

lp:gnome-user-docs Development 2017-11-13 12:42:42 UTC 2017-11-13
4173. Update Swedish translation

Author: Anders Jonsson
Revision Date: 2017-11-13 12:42:42 UTC

Update Swedish translation

lp:evolution-mapi Development 2017-11-13 07:52:30 UTC 2017-11-13
1685. Post-release version bump

Author: Milan Crha
Revision Date: 2017-11-13 07:52:30 UTC

Post-release version bump

lp:busybox Development 2017-11-13 00:56:51 UTC 2017-11-13
15116. tar: code shrink function ...

Author: Vda-linux
Revision Date: 2017-11-13 00:56:51 UTC

tar: code shrink

function old new delta
packed_usage 31863 31853 -10
tar_main 1013 1002 -11
------------------------------------------------------------------------------
(add/remove: 0/0 grow/shrink: 0/2 up/down: 0/-21) Total: -21 bytes

Signed-off-by: Denys Vlasenko <vda.linux@googlemail.com>

lp:gnote Development 2017-11-12 18:41:59 UTC 2017-11-12
2574. Do not show empty actions menu Fixes...

Author: aurisc4
Revision Date: 2017-11-12 18:41:59 UTC

Do not show empty actions menu

Fixes Bug 789750

lp:make Development 2017-11-11 18:12:28 UTC 2017-11-11
2480. * Makefile.am: Add jhelp.pl to remote...

Author: Paul Smith
Revision Date: 2017-11-11 18:12:28 UTC

* Makefile.am: Add jhelp.pl to remote test setup.

lp:tomboy Development 2017-11-11 17:44:57 UTC 2017-11-11
3651. Updated Danish translation

Author: Ask Hjorth Larsen
Revision Date: 2017-11-11 17:44:57 UTC

Updated Danish translation

lp:network-manager-pptp Development 2017-11-11 17:44:55 UTC 2017-11-11
421. Updated Danish translation

Author: Ask Hjorth Larsen
Revision Date: 2017-11-11 17:44:55 UTC

Updated Danish translation

lp:libgnomekbd Development 2017-11-11 17:44:54 UTC 2017-11-11
865. Updated Danish translation

Author: Ask Hjorth Larsen
Revision Date: 2017-11-11 17:44:54 UTC

Updated Danish translation

lp:~vcs-imports/metacity/master Development 2017-11-11 17:44:54 UTC 2017-11-11
5047. Updated Danish translation

Author: Ask Hjorth Larsen
Revision Date: 2017-11-11 17:44:54 UTC

Updated Danish translation

lp:goffice Development 2017-11-11 17:44:53 UTC 2017-11-11
4214. Updated Danish translation

Author: Ask Hjorth Larsen
Revision Date: 2017-11-11 17:44:53 UTC

Updated Danish translation

lp:gparted Development 2017-11-11 17:44:53 UTC 2017-11-11
3214. Updated Danish translation

Author: Ask Hjorth Larsen
Revision Date: 2017-11-11 17:44:53 UTC

Updated Danish translation

lp:gthumb Development 2017-11-11 17:44:53 UTC 2017-11-11
5548. Updated Danish translation

Author: Ask Hjorth Larsen
Revision Date: 2017-11-11 17:44:53 UTC

Updated Danish translation

lp:gnome-commander Development 2017-11-11 17:44:52 UTC 2017-11-11
4343. Updated Danish translation

Author: Ask Hjorth Larsen
Revision Date: 2017-11-11 17:44:52 UTC

Updated Danish translation

lp:~vcs-imports/gnome-panel/master Development 2017-11-11 17:44:52 UTC 2017-11-11
12171. Updated Danish translation

Author: Ask Hjorth Larsen
Revision Date: 2017-11-11 17:44:52 UTC

Updated Danish translation

lp:ghex Development 2017-11-11 17:44:51 UTC 2017-11-11
1470. Updated Danish translation

Author: Ask Hjorth Larsen
Revision Date: 2017-11-11 17:44:51 UTC

Updated Danish translation

lp:dasher Development 2017-11-11 17:44:50 UTC 2017-11-11
3766. Updated Danish translation

Author: Ask Hjorth Larsen
Revision Date: 2017-11-11 17:44:50 UTC

Updated Danish translation

lp:ekiga Development 2017-11-11 17:44:50 UTC 2017-11-11
9328. Updated Danish translation

Author: Ask Hjorth Larsen
Revision Date: 2017-11-11 17:44:50 UTC

Updated Danish translation

lp:evolution-rss Development 2017-11-11 17:44:50 UTC 2017-11-11
1356. Updated Danish translation

Author: Ask Hjorth Larsen
Revision Date: 2017-11-11 17:44:50 UTC

Updated Danish translation

lp:denemo Development 2017-11-10 17:14:09 UTC 2017-11-10
7698. Do not allow zero pages

Author: Richard Shann
Revision Date: 2017-11-10 17:14:09 UTC

Do not allow zero pages

lp:virtualbox Development 2017-11-09 18:13:13 UTC 2017-11-09
69375. doc: Change DTD declaration everywher...

Author: vboxsync
Revision Date: 2017-11-09 18:13:13 UTC

doc: Change DTD declaration everywhere to docbook xml 4.3, and remove the 4.4 stuff from the catalog, too. Unclear why years ago parts were declared as 4.4 all of a sudden, and later the catalog tweaks were introduced. We never intentionally used anything newer than 4.3, and everything validates correctly.

lp:reviewboard Development 2017-11-09 07:16:07 UTC 2017-11-09
4665. Merge branch 'release-3.0.x'

Author: David Trowbridge
Revision Date: 2017-11-09 07:16:07 UTC

Merge branch 'release-3.0.x'

lp:xserver-xorg-video-intel Development 2017-11-09 00:24:01 UTC 2017-11-09
8488. sna: Update vtSema for Leave/EnterVT ...

Author: Chris Wilson
Revision Date: 2017-11-09 00:24:01 UTC

sna: Update vtSema for Leave/EnterVT

Xorg changed behaviour in 78f0667d6df9 (xf86Events: split xf86VTSwitch
into xf86VTLeave and xf86VTEnter functions) and stopped altering the
state of scrn->vtSema around calls to Leave/EnterVT. So we must do so
ourselves (albeit a bit belated in noticing the change!)

Signed-off-by: Chris Wilson <chris@chris-wilson.co.uk>

lp:dpkg Development 2017-11-08 00:06:25 UTC 2017-11-08
8618. Update Spanish translation

Author: Javier Fernández-Sanguino
Revision Date: 2017-11-08 00:06:25 UTC

Update Spanish translation

lp:speech-dispatcher Development 2017-11-07 22:46:41 UTC 2017-11-07
2981. Update NEWS and ANNOUNCE for 0.8.8

Author: Luke Yelavich
Revision Date: 2017-11-07 22:46:41 UTC

Update NEWS and ANNOUNCE for 0.8.8

1100 of 2924 results