-
1803805·text·651 B·2010-02-20 16:35 UTC21 (* \infer{c1 c2 ~> c1' c2}{c1 ~> c1'} *)
22 | whnf g (c as Capp (c1, c2)) = if (squig c1) then whnf g (Capp (whnf g c1, c2)) else c
23 (* \infer{pi c ~> pi c'}{c ~> c'} *)
-
1803777·text·30.5 KB·2010-02-20 16:00 UTC!!################################
!!ALSA Information Script v 0.4.59
!!################################
!!Script ran on: Sat Feb 20 16:00:05 UTC 2010
!!Linux Distribution
!!------------------
Ub
-
1803759·text·3.7 KB·2010-02-20 15:35 UTC[komar@pavilion ~/src/pcre-ocaml-release-6.0.1/doc/pcre]$ reportbug
/usr/lib/python2.5/site-packages/zope/__init__.py:3: UserWarning: Module urwid was alread
-
1803722·actionscript·124 B·2010-02-20 14:52 UTCI often read your blog, i think you are good writer, keep us posting
-
1803709·text·61.1 KB·2010-02-20 14:34 UTC
-
1803602·text·388 B·2010-02-20 11:41 UTC######################################################################
# War: 12, Turn: 9 (final scores)
######################################################################
Le CEITO
JSF: 1004
EFE
-
1803588·text·40 B·2010-02-20 11:19 UTCAcer Aspire One Model D250 (Acer AOD250)
-
1803574·text·1.0 KB·2010-02-20 10:52 UTC; tiny.asm
BITS 32
GLOBAL _start
SECTION .text
_start:
mov ecx,0
line:
mov ebx,0
pixel:
mov eax,ebx
sub eax,320
imul eax,eax
mov edx,ecx
sub edx,240
imul edx,
-
1803549·text·20.9 KB·2010-02-20 10:15 UTC!!################################
!!ALSA Information Script v 0.4.59
!!################################
!!Script ran on: Sat Feb 20 12:14:46 UTC 2010
!!Linux Distribution
!!------------------
Ub
-
1803548·python·541 B·2010-02-20 10:12 UTCdef do_join(request):
error = False
errors = {}
if request.POST['username'] == '':
error = True
errors['username'] = "You must provide a username."
if reque
-
1803529·text·19.8 KB·2010-02-20 09:27 UTC!!################################
!!ALSA Information Script v 0.4.59
!!################################
!!Script ran on: Sat Feb 20 09:27:28 UTC 2010
!!Linux Distribution
!!------------------
Ub
-
1803528·text·19.8 KB·2010-02-20 09:26 UTC!!################################
!!ALSA Information Script v 0.4.59
!!################################
!!Script ran on: Sat Feb 20 09:25:27 UTC 2010
!!Linux Distribution
!!------------------
Ub
-
1803527·text·30.9 KB·2010-02-20 09:23 UTC!!################################
!!ALSA Information Script v 0.4.59
!!################################
!!Script ran on: Sat Feb 20 09:23:41 UTC 2010
!!Linux Distribution
!!------------------
Ub
-
1803510·csharp·699 B·2010-02-20 08:49 UTCfindItem PRF_MQF C_ , #backPackID if #findKind = -1 pause set %instrument #findID start: while ! #cliLogged { wait 10 } chooseSkill musi real if #skill >= 1000 { display Complete! halt } setUOTitle Ul
-
1803440·text·32 B·2010-02-20 06:02 UTCKEYBOARDTYPE="pc"
KEYTABLE="us"
-
1803438·text·4 B·2010-02-20 06:01 UTCfoo
-
1803437·text·32 B·2010-02-20 05:58 UTCKEYBOARDTYPE="pc"
KEYTABLE="us"
-
1803426·text·22.1 KB·2010-02-20 05:28 UTC!!################################
!!ALSA Information Script v 0.4.59
!!################################
!!Script ran on: Sat Feb 20 05:28:29 UTC 2010
!!Linux Distribution
!!------------------
Ub
-
1803420·text·206 B·2010-02-20 05:18 UTCDie Sperre des qrunner-Masterprozesses konnte nicht bernommen werden.
Ein anderer qrunner scheint bereits zu laufen.
# means something like - cant get the lock of master - another qrunner seems to
-
1803311·text·29.1 KB·2010-02-20 02:58 UTC!!################################
!!ALSA Information Script v 0.4.59
!!################################
!!Script ran on: Sat Feb 20 02:58:18 UTC 2010
!!Linux Distribution
!!------------------
Ub