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

# 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

#!/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

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

<?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

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

Section ImplicationProof.

  Variables p q z : Prop.

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

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"