All pastes›Public feed

Public feed

Pastes people chose to make public. Author names hidden.

  • bblum

    1569092·text·425 B·2009-09-17 00:39 UTC
    proof implOr : (A | C) & (B => C) => (A => B) => C =
begin
 [(A | C) & (B => C);
 [(A => B);
 A | C; % and-elim 1
 B => C; % and-elim 2
 [A; % or-elim
 B;
 C;
 ];

  • saul

    1569078·text·27.6 KB·2009-09-17 00:28 UTC
    !!################################
!!ALSA Information Script v 0.4.58
!!################################

!!Script ran on: Thu Sep 17 00:27:57 UTC 2009

!!Linux Distribution
!!------------------

Ub

  • will

    1569016·text·15.9 KB·2009-09-16 23:09 UTC
    !!################################
!!ALSA Information Script v 0.4.58
!!################################

!!Script ran on: Wed Sep 16 23:09:06 UTC 2009

!!Linux Distribution
!!------------------

Ub

  • will

    1569007·text·15.9 KB·2009-09-16 22:53 UTC
    !!################################
!!ALSA Information Script v 0.4.58
!!################################

!!Script ran on: Wed Sep 16 22:52:55 UTC 2009

!!Linux Distribution
!!------------------

Ub

  • will

    1569004·text·15.9 KB·2009-09-16 22:52 UTC
    !!################################
!!ALSA Information Script v 0.4.58
!!################################

!!Script ran on: Wed Sep 16 22:51:47 UTC 2009

!!Linux Distribution
!!------------------

Ub

  • High.Def.x264.German.Movie.Stand

    1568980·text·13.5 KB·2009-09-16 22:39 UTC
    ²ÛÜ ÜÜßßßÜÜ
 ÛÛÛ ²ÛÝÜ²Ü ß²ÜÜ Ü Ü² ÜÜÜ
ßÛ²²ÛÛ°±²ÛÜÛÜÜÜÛ²²ÛÛÛÛÛÜÜÜÛÛÛÛ²²Û²ÛÛÛÛÛÛÛÛÛÛÛÛÛÛÛÛÛÛÛÛÛÛÛÛÛÛÛÛÛÛÛÛÛÛÛÛÛÛ²²±²Û²Û
 ²²Û

  • Jorge

    1568962·c·135 B·2009-09-16 22:17 UTC
    #include <stdio.h>

main()
{

 char *msg="Te quiero Jessica ";

 while(1)
 {

 printf("%s", msg);

 }
 
}

  • Untitled

    1568930·text·5.1 KB·2009-09-16 21:50 UTC
    # Copyright (c) 2003-2009 FlashCode <flashcode@flashtux.org>
#
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as publi

  • Unnamed

    1568929·text·574 B·2009-09-16 21:49 UTC
    Compiling ==> 'arithb.c'
scons: `/home/michel/sources/250/build/linux2/lib/libbf_blenkernel.a' is up to date.
source/blender/blenlib/intern/arithb.c:644: Fehler: In Konflikt stehende Typen für »Mat4Sw

  • zzrough

    1568887·text·6.8 KB·2009-09-16 21:13 UTC
    !!################################
!!ALSA Information Script v 0.4.58
!!################################

!!Script ran on: Wed Sep 16 21:12:21 UTC 2009

!!Linux Distribution
!!------------------

Fe

  • Something

    1568807·text·1.1 KB·2009-09-16 20:07 UTC
    @echo off
echo avisource(%1) > %1.avs
echo (float(width())/height() == (16./9) ^&^& ((width() ^> 1280) ^&^& (height() ^> 720))) ? spline36resize(1280,720) : last >> %1.avs
echo spline36resize(int((

  • Untitled

    1568779·text·2.2 KB·2009-09-16 19:48 UTC
    diff --git a/gst/audio.override b/gst/audio.override
index 59672e7..b6802fd 100644
--- a/gst/audio.override
+++ b/gst/audio.override
@@ -49,7 +49,6 @@ GST_DEBUG_CATEGORY_EXTERN (pygst_debug);
 %%

  • geever

    1568771·diff·15.2 KB·2009-09-16 19:40 UTC
    Index: src/client/campaign/cp_messageoptions.c
===================================================================
--- src/client/campaign/cp_messageoptions.c (revision 24881)
+++ src/client/campai

  • lucky

    1568770·text·19.9 KB·2009-09-16 19:40 UTC
    !!################################
!!ALSA Information Script v 0.4.58
!!################################

!!Script ran on: Wed Sep 16 19:36:13 UTC 2009

!!Linux Distribution
!!------------------

Ub

  • lucky

    1568759·text·19.9 KB·2009-09-16 19:32 UTC
    !!################################
!!ALSA Information Script v 0.4.58
!!################################

!!Script ran on: Wed Sep 16 19:32:27 UTC 2009

!!Linux Distribution
!!------------------

Ub

  • ian

    1568727·text·33.8 KB·2009-09-16 19:11 UTC
    
    
    • 
    
  • 
      
    ian
    
      
    1568726·text·33.8 KB·2009-09-16 19:11 UTC
    
      
    
    
    • 
    
  • 
      
    weston
    
      
    1568710·text·1.6 KB·2009-09-16 18:57 UTC
    
      
    !!################################
!!ALSA Information Script v 0.4.41
!!################################

!!Script ran on: Wed Sep 16 11:57:03 PDT 2009

!!Linux Distribution
!!------------------

Fe
    
    
    • 
    
  • 
      
    Mine
    
      
    1568691·text·1.3 KB·2009-09-16 18:45 UTC
    
      
    erinmargault: [main/release](cooker) 8.97-9mdv2010.0
 [main/updates](current)[main/updates](2009.1) 8.88-23.2mdv2009.1
 [main/release](current)[main/release](2009.1) 8.88-21mdv2009.1
 [main/u
    
    
    • 
    
  • 
      
    Mine
    
      
    1568678·text·40 B·2009-09-16 18:36 UTC
    
      
    715117fcaca8200a86ebf31e82512dac52f8266b
    
    

      

      
older pastes →