mvaled

#
# Automatically generated file; DO NOT EDIT.
# Linux/x86_64 4.8.0-mva-final Kernel Configuration
#
CONFIG_64BIT=y
CONFIG_X86_64=y
CONFIG_X86=y
CONFIG_INSTRUCTION_DECODER=y
CONFIG_OUTPUT_FORMAT="elf64-x86-64"
CONFIG_ARCH_DEFCONFIG="arch/x86/configs/x86_64_defconfig"

mvaled

Section ImplicationProof.

  Variables p q z : Prop.

  Lemma T1: (p -> q -> z) ->  ((p /\ q) -> z).
    intros L P.
    elim P.
    trivial.
  Save.

mvaled

Testing addons: xopgi_mail_verp,
INFO ? openerp: OpenERP version 8.0
INFO ? openerp: addons paths: ['/home/manu/src/merchise/pgi/xhg/var/run/addons/8.0', u'/home/manu/src/merchise/pgi/xhg/usr/lib/addons/8', u'/home/manu/src/merchise/pgi/odoo/addons', '/home/manu/src/merchise/pgi/openerp/openerp/addons', u'/home/manu/src/merchise/pgi/xhg.ca.bank/xhg/ca', u'/home/manu/src/merchise/pgi/xhg.ca.hr/xhg/ca', u'/home/manu/src/merchise/pgi/xopgi.hotfixes/xopgi', u'/home/manu/src/merchise/pgi/xopgi.backports/xopgi', u'/home/manu/src/merchise/pgi/xopgi.account/xopgi', u'/home/manu/src/merchise/pgi/xopgi.base/xopgi', u'/home/manu/src/merchise/pgi/xopgi.calendar/xopgi', u'/home/manu/src/merchise/pgi/xopgi.hr/xopgi', u'/home/manu/src/merchise/pgi/xopgi.hr_contract/xopgi', u'/home/manu/src/merchise/pgi/xopgi.hr_holidays/xopgi', u'/home/manu/src/merchise/pgi/xopgi.resource/xopgi', u'/home/manu/src/merchise/pgi/xopgi.mail/xopgi', u'/home/manu/src/merchise/pgi/xopgi.mail_threads/xopgi', u'/home/manu/src/merchise/pgi/xopgi.evan

mvaled

<?xml version="1.0" encoding="UTF-8"?>
<transformation>
  <info>
    <name>fuzzy</name>
    <description/>
    <extended_description/>
    <trans_version/>
    <trans_type>Normal</trans_type>
    <directory>&#x2f;</directory>
    <parameters>

mvaled

Object[] previousRow;
RowMetaInterface outputMeta;

public boolean processRow(StepMetaInterface smi, StepDataInterface sdi) throws KettleException
{
    // First, get a row from the default input hop
    Object[] r = getRow();

    // If the row object is null, we are done processing.
    if (r == null) {

mvaled

#!/bin/sh

# Build OpenERP 7.0 and 8.0 sdists.
#
# You MUST place this in the root of your odoo repository.  It expects you
# have the local branches 7.0 and any other you may use.
#
# Usage:
#
#    ./builddist.sh [BRANCH] [VERSION]

mvaled

# many options here

mydestination = localhost.localdomain, localhost
recipient_delimiter = +
transport_maps = hash:/etc/postfix/transport


virtual_mailbox_domains = example.com
virtual_mailbox_maps = pgsql:/etc/postfix/pg-aliases.cf

mvaled

(when (and (require 'dash) (require 'realgud) (require 'grizzl))
   (defun xars-grizzl-select-cmdbuf()
      "Lets the user select a realgud command buffer, unless there's a single
command buffer, in which case returns the buffer directly."
      (interactive)
      (let ((cmdbuffers (-select #'realgud-cmdbuf? (buffer-list))))
	 (if (> (length cmdbuffers) 1)
	    (let* ((cmdbuffers-names (-map #'buffer-name cmdbuffers))
		   (cmdbuffers-index (grizzl-make-index cmdbuffers-names)))
	       (let ((selection (grizzl-completing-read

mvaled

diff -r 68d58cdd5004 fanstatic/core.py
--- a/fanstatic/core.py	Wed Mar 27 07:16:35 2013 -0400
+++ b/fanstatic/core.py	Mon Apr 15 16:12:43 2013 -0400
@@ -1063,12 +1063,17 @@
 def consolidate(resources):
     # keep track of rollups: rollup key -> set of resource keys
     potential_rollups = {}
+    used_rollups_depends = {}  # resource key -> rollup
     for resource in resources:
         for rollup in resource.rollups:

mvaled

[7 ms] UsbSnoop - FilterAddDevice(dc50b748) : DriverObject 8512c5a8, pdo 866bd2d0
[11 ms] UsbSnoop - FilterDispatchPnp(dc50b45c) : IRP_MJ_PNP (IRP_MN_QUERY_LEGACY_BUS_INFORMATION)
[11 ms] UsbSnoop - FdoHookDispatchPnp(dc50b45c) : IRP_MJ_PNP (IRP_MN_QUERY_LEGACY_BUS_INFORMATION)
[12 ms] UsbSnoop - FilterDispatchPnp(dc50b45c) : IRP_MJ_PNP (IRP_MN_QUERY_RESOURCE_REQUIREMENTS)
[12 ms] UsbSnoop - FdoHookDispatchPnp(dc50b45c) : IRP_MJ_PNP (IRP_MN_QUERY_RESOURCE_REQUIREMENTS)
[12 ms] UsbSnoop - FilterDispatchPnp(dc50b45c) : IRP_MJ_PNP (IRP_MN_FILTER_RESOURCE_REQUIREMENTS)
[12 ms] UsbSnoop - FdoHookDispatchPnp(dc50b45c) : IRP_MJ_PNP (IRP_MN_FILTER_RESOURCE_REQUIREMENTS)
[12 ms] UsbSnoop - FilterDispatchPnp(dc50b45c) : IRP_MJ_PNP (IRP_MN_START_DEVICE)
[12 ms] UsbSnoop - FdoHookDispatchPnp(dc50b45c) : IRP_MJ_PNP (IRP_MN_START_DEVICE)
[406 ms] UsbSnoop - FilterDispatchPnp(dc50b45c) : IRP_MJ_PNP (IRP_MN_QUERY_INTERFACE)