Current snapshot: http://coapppackages.blob.core.windows.net/files/CoApp-Tools-Binary-Snaphot-Aug26-2011.zip
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#include <iostream> | |
int main(int argc, char* argv[]) | |
{ | |
std::locale::global(std::locale("German_germany")); | |
std::cout << "Hallo, schöne Welt!" << std::endl; | |
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
document.evaluate('//*[@id="sideBarPanel"]', document, null, XPathResult.UNORDERED_NODE_ITERATOR_TYPE, null ).iterateNext().style.display = "none"; | |
// hack für seesmic. entfernt die linke Leiste, sodass genug Platz für die wichtigen Teile der Seite bleibt |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
$git = $env:programfiles+"\Git\cmd\git.cmd"; | |
if (!$git) { | |
Write-Host "Something went wrong. | |
Please enter the path to git.cmd or git.exe:"; | |
$git = Read-Host; | |
Set-Variable -Name git -Value $git; | |
} | |
ls -name -Exclude *.* | foreach {cd .\$_ ; .$git pull origin master ; cd ..} | |
Write-Host "Done."; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
D:\Entwicklung\gitrepos\coapp-project\output\any\debug\bin>coapp install-package libd-2.0.0.0-x86.msi | |
CoApp Project CoApp Version 1.1.1.984 for x86 | |
Copyright (c) Garrett Serack, CoApp Contributors 2010-2011. All rights reserved | |
CoApp command line utility | |
------------------------------------------------------------------------------- | |
Packages to install: | |
Name|Version|Arch|Type |Location | |
------------------------------------------------------------------------------------------------------------- | |
libd|2.0.0.0|x86 |Requested|D:\Entwicklung\gitrepos\coapp-project\output\any\debug\bin\libd-2.0.0.0-x86.msi |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# HTTP Status Cats | |
# Apache (htaccess) config created by @dave1010 | |
# Licensed CC BY 2.0 | |
# Images CC BY 2.0, from GirlieMac's photostream: | |
# http://www.flickr.com/photos/girliemac/sets/72157628409467125/with/6508023065/ | |
# Usage: copy save this file as .htaccess or add it to your httpd.conf | |
ErrorDocument 404 '<a href="http://www.flickr.com/photos/girliemac/6508022985/" title="404 - Not Found by GirlieMac, on Flickr"><img src="http://farm8.staticflickr.com/7172/6508022985_b22200ced0.jpg" width="500" height="400" alt="404 - Not Found"></a>' |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(set-logic AUFLIA) | |
(set-option :macro-finder true) | |
(set-option :produce-unsat-cores true) | |
;; sorts | |
(declare-sort Atom) | |
(declare-sort Rel1) | |
(declare-sort Rel2) | |
(declare-sort Rel3) | |
;; --end sorts |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<a href="http://www.youtube.com/watch?v=933hKyKNPFQ" target="_blank">http://www.youtube.com/watch?v=933hKyKNPFQ</a> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
sig A {} | |
sig B { | |
fn : A -> lone B | |
} | |
fact { | |
no (A ->fn->A) | |
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(set-logic AUFLIA) | |
(set-option :macro-finder true) | |
;; sorts | |
(declare-sort Atom) | |
(declare-sort Rel1) | |
(declare-sort Rel2) | |
(declare-sort Rel3) | |
(declare-sort Rel4) | |
(declare-sort Rel5) | |
;; --end sorts |
OlderNewer