dcolish

:info:configure WARNING: "gcc" looks like gcc 4.x
:info:configure Looking for gcc 3.x
:info:configure gcc 3.x not found!
:info:configure QEMU is known to have problems when compiled with gcc 4.x
:info:configure It is recommended that you use gcc 3.x to build QEMU

dcolish

fmod PEANO-NAT-EXTRA is 
    sort Nat .
    op 0 : -> Nat [ctor] . 
    op s : Nat -> Nat [ctor iter] . 
    op _+_ : Nat Nat -> Nat . 
    vars M N : Nat . 
    eq 0 + N = N . 
    eq s(M) + N = s(M + N) .

endfm

dcolish

from argparse import ArgumentParser, FileType
import base64
from ConfigParser import Error as ConfigurationError, SafeConfigParser
from contextlib import closing
import getpass
from httplib import HTTPSConnection
import json
import os
import pprint
import sys

dcolish

from argparse import ArgumentParser, FileType
import base64
from ConfigParser import Error as ConfigurationError, SafeConfigParser
from contextlib import closing
import getpass
from httplib import HTTPSConnection
import json
import os
import pprint
import sys

dcolish

diff --git a/xapian-core/api/omdatabase.cc b/xapian-core/api/omdatabase.cc
index 8953cb6..211ed04 100644
--- a/xapian-core/api/omdatabase.cc
+++ b/xapian-core/api/omdatabase.cc
@@ -740,6 +740,17 @@ Database::get_uuid() const
     RETURN(uuid);
 }
 
+void
+Database::set_error_handler(ErrorHandler* error_handler_)

dcolish

data Tree' a = E' | Tree' (Tree' a) a (Tree' a)

foo' = Tree' E' 0 E'
foo = Tree' (Tree' E' 1 E' ) 0 (Tree' E' 1 (Tree' E' 0 E'))
foo'' = Tree' E' 0 (Tree' E' 1 E')

height t = case t of 
  E' -> 0
  Tree' s1 x s2 -> if h1 > h2 then h1 + 1 else h2 + 1
    where

dcolish

from argparse import ArgumentParser, FileType
import base64
from contextlib import closing
import getpass
from httplib import HTTPSConnection
import json
import os
import sys
from urllib import urlencode

dcolish

"""
Gist
----

Gist is a command line tool for interacting with `gist.github.com`_. Usage
information is available through the command line interface help.

.. _gist.github.com: <https://gist.github.com>

.. important::

dcolish

Index: gdb/environ.h
===================================================================
RCS file: /cvs/src/src/gdb/environ.h,v
retrieving revision 1.12
diff -u -r1.12 environ.h
--- gdb/environ.h	4 Jan 2012 08:17:01 -0000	1.12
+++ gdb/environ.h	23 Jul 2012 02:16:58 -0000
@@ -47,4 +47,8 @@
 
 extern char **environ_vector (struct gdb_environ *);

dcolish

diff --git a/xapian-core/api/omdatabase.cc b/xapian-core/api/omdatabase.cc
index 8953cb6..211ed04 100644
--- a/xapian-core/api/omdatabase.cc
+++ b/xapian-core/api/omdatabase.cc
@@ -740,6 +740,17 @@ Database::get_uuid() const
     RETURN(uuid);
 }
 
+void
+Database::set_error_handler(ErrorHandler* error_handler_)