This repository has been archived by the owner on Sep 25, 2018. It is now read-only.
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Site updated at 2013-02-23 03:12:40 UTC
- Loading branch information
Showing
1,373 changed files
with
185,489 additions
and
0 deletions.
There are no files selected for viewing
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
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
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,115 @@ | ||
<?xml version="1.0"?> | ||
<skin version="1.1" name="Glow" author="LongTail Video"> | ||
|
||
<settings> | ||
<setting name="backcolor" value="0x000000" /> | ||
<setting name="frontcolor" value="0xeeeeee" /> | ||
<setting name="lightcolor" value="0xeeeeee" /> | ||
<setting name="screencolor" value="0x000000" /> | ||
</settings> | ||
|
||
<components> | ||
<component name="controlbar"> | ||
<settings> | ||
<setting name="margin" value="0" /> | ||
<setting name="fontsize" value="11" /> | ||
<setting name="fontcolor" value="0xEEEEEE" /> | ||
<setting name="buttoncolor" value="0xEEEEEE" /> | ||
</settings> | ||
|
||
<layout> | ||
<group position="left"> | ||
<button name="play" /> | ||
<text name="elapsed" /> | ||
</group> | ||
<group position="center"> | ||
<slider name="time" /> | ||
</group> | ||
<group position="right"> | ||
<text name="duration" /> | ||
<button name="blank" /> | ||
<button name="mute" /> | ||
<button name="fullscreen" /> | ||
</group> | ||
</layout> | ||
|
||
<elements> | ||
<element name="background" src="background.png" /> | ||
<element name="capLeft" src="divider.png" /> | ||
<element name="capRight" src="divider.png" /> | ||
<element name="divider" src="divider.png" /> | ||
<element name="blankButton" src="blankButton.png" /> | ||
<element name="fullscreenButton" src="fullscreenButton.png" /> | ||
<element name="fullscreenButtonOver" src="fullscreenButtonOver.png" /> | ||
<element name="muteButton" src="muteButton.png" /> | ||
<element name="muteButtonOver" src="muteButtonOver.png" /> | ||
<element name="pauseButton" src="pauseButton.png" /> | ||
<element name="pauseButtonOver" src="pauseButtonOver.png" /> | ||
<element name="playButton" src="playButton.png" /> | ||
<element name="playButtonOver" src="playButtonOver.png" /> | ||
<element name="timeSliderBuffer" src="timeSliderBuffer.png" /> | ||
<element name="timeSliderCapLeft" src="timeSliderCapLeft.png" /> | ||
<element name="timeSliderCapRight" src="timeSliderCapRight.png" /> | ||
<element name="timeSliderProgress" src="timeSliderProgress.png" /> | ||
<element name="timeSliderRail" src="timeSliderRail.png" /> | ||
<element name="normalscreenButton" src="normalscreenButton.png" /> | ||
<element name="normalscreenButtonOver" src="normalscreenButtonOver.png" /> | ||
<element name="unmuteButton" src="unmuteButton.png" /> | ||
<element name="unmuteButtonOver" src="unmuteButtonOver.png" /> | ||
<element name="volumeSliderRail" src="divider.png" /> | ||
<element name="volumeSliderProgress" src="divider.png" /> | ||
</elements> | ||
</component> | ||
|
||
<component name="display"> | ||
<settings> | ||
<setting name="bufferinterval" value="250" /> | ||
<setting name="bufferrotation" value="90" /> | ||
</settings> | ||
<elements> | ||
<element name="background" src="background.png" /> | ||
<element name="playIcon" src="playIcon.png" /> | ||
<element name="muteIcon" src="muteIcon.png" /> | ||
<element name="errorIcon" src="bufferIcon.png" /> | ||
<element name="bufferIcon" src="bufferIcon.png" /> | ||
</elements> | ||
</component> | ||
|
||
<component name="dock"> | ||
<settings> | ||
<setting name="fontcolor" value="0xFFFFFF" /> | ||
</settings> | ||
<elements> | ||
<element name="button" src="button.png" /> | ||
</elements> | ||
</component> | ||
|
||
<component name="playlist"> | ||
<settings> | ||
<setting name="fontcolor" value="0xEEEEEE" /> | ||
<setting name="overcolor" value="0xFFFFFF" /> | ||
<setting name="activecolor" value="0xFFFFFF" /> | ||
<setting name="backgroundcolor" value="0x333333" /> | ||
</settings> | ||
<elements> | ||
<element name="item" src="item.png" /> | ||
<element name="itemOver" src="itemOver.png" /> | ||
<element name="sliderCapBottom" src="sliderCapBottom.png" /> | ||
<element name="sliderCapTop" src="sliderCapTop.png" /> | ||
<element name="sliderRail" src="sliderRail.png" /> | ||
<element name="sliderThumb" src="sliderThumb.png" /> | ||
</elements> | ||
</component> | ||
|
||
<component name="sharing"> | ||
<elements> | ||
<element name="embedIcon" src="embedIcon.png" /> | ||
<element name="embedScreen" src="embedScreen.png" /> | ||
<element name="shareIcon" src="shareIcon.png" /> | ||
<element name="shareScreen" src="shareScreen.png" /> | ||
</elements> | ||
</component> | ||
|
||
</components> | ||
|
||
</skin> |
Oops, something went wrong.
Oops, something went wrong.
Oops, something went wrong.
Oops, something went wrong.
Oops, something went wrong.
Oops, something went wrong.
Oops, something went wrong.
Oops, something went wrong.
Oops, something went wrong.
Oops, something went wrong.
427 changes: 427 additions & 0 deletions
427
blog/2013/02/22/the-next-step-in-the-evolution-of-scion/index.html
Large diffs are not rendered by default.
Oops, something went wrong.
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
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,174 @@ | ||
|
||
<!DOCTYPE html> | ||
<!--[if IEMobile 7 ]><html class="no-js iem7"><![endif]--> | ||
<!--[if lt IE 9]><html class="no-js lte-ie8"><![endif]--> | ||
<!--[if (gt IE 8)|(gt IEMobile 7)|!(IEMobile)|!(IE)]><!--><html class="no-js" lang="en"><!--<![endif]--> | ||
<head> | ||
<meta charset="utf-8"> | ||
<title>Blog Archive - SCION</title> | ||
<meta name="author" content="Jacob Beard"> | ||
|
||
|
||
<meta name="description" content="Blog Archive 2013 The next step in the evolution of SCION, a.k.a. scion-ng, a.k.a. SCION-core, a.k.a. SCION 1.0.0 | ||
Feb 22 2013 Recent Posts The next …"> | ||
|
||
|
||
<!-- http://t.co/dKP3o1e --> | ||
<meta name="HandheldFriendly" content="True"> | ||
<meta name="MobileOptimized" content="320"> | ||
<meta name="viewport" content="width=device-width, initial-scale=1"> | ||
|
||
|
||
<link rel="canonical" href="http://jbeard4.github.com/SCION/blog/archives/"> | ||
<link href="/SCION/favicon.png" rel="icon"> | ||
<link href="/SCION/stylesheets/screen.css" media="screen, projection" rel="stylesheet" type="text/css"> | ||
<script src="/SCION/javascripts/modernizr-2.0.js"></script> | ||
<script src="/SCION/javascripts/ender.js"></script> | ||
<script src="/SCION/javascripts/octopress.js" type="text/javascript"></script> | ||
<link href="/SCION/atom.xml" rel="alternate" title="SCION" type="application/atom+xml"> | ||
<!--Fonts from Google"s Web font directory at http://google.com/webfonts --> | ||
<link href="http://fonts.googleapis.com/css?family=PT+Serif:regular,italic,bold,bolditalic" rel="stylesheet" type="text/css"> | ||
<link href="http://fonts.googleapis.com/css?family=PT+Sans:regular,italic,bold,bolditalic" rel="stylesheet" type="text/css"> | ||
|
||
|
||
<script type="text/javascript"> | ||
var _gaq = _gaq || []; | ||
_gaq.push(['_setAccount', 'UA-38735103-1']); | ||
_gaq.push(['_trackPageview']); | ||
|
||
(function() { | ||
var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true; | ||
ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js'; | ||
var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s); | ||
})(); | ||
</script> | ||
|
||
|
||
</head> | ||
|
||
<body > | ||
<header role="banner"><hgroup> | ||
<h1><a href="/SCION/">SCION</a></h1> | ||
|
||
<h2>News about the StateCharts Interpretation and Optimization eNgine</h2> | ||
|
||
</hgroup> | ||
|
||
</header> | ||
<nav role="navigation"><ul class="subscription" data-subscription="rss"> | ||
<li><a href="/SCION/atom.xml" rel="subscribe-rss" title="subscribe via RSS">RSS</a></li> | ||
|
||
</ul> | ||
|
||
<form action="http://google.com/search" method="get"> | ||
<fieldset role="search"> | ||
<input type="hidden" name="q" value="site:jbeard4.github.com/SCION" /> | ||
<input class="search" type="text" name="q" results="0" placeholder="Search"/> | ||
</fieldset> | ||
</form> | ||
|
||
<ul class="main-navigation"> | ||
<li><a href="/SCION/">Blog</a></li> | ||
<li><a href="/SCION/blog/archives">Archives</a></li> | ||
</ul> | ||
|
||
</nav> | ||
<div id="main"> | ||
<div id="content"> | ||
<div> | ||
<article role="article"> | ||
|
||
<header> | ||
<h1 class="entry-title">Blog Archive</h1> | ||
|
||
</header> | ||
|
||
<div id="blog-archives"> | ||
|
||
|
||
|
||
|
||
<h2>2013</h2> | ||
|
||
<article> | ||
|
||
<h1><a href="/SCION/blog/2013/02/22/the-next-step-in-the-evolution-of-scion/">The next step in the evolution of SCION, a.k.a. scion-ng, a.k.a. SCION-core, a.k.a. SCION 1.0.0</a></h1> | ||
<time datetime="2013-02-22T10:19:00-05:00" pubdate><span class='month'>Feb</span> <span class='day'>22</span> <span class='year'>2013</span></time> | ||
|
||
|
||
</article> | ||
|
||
</div> | ||
|
||
|
||
</article> | ||
|
||
</div> | ||
|
||
<aside class="sidebar"> | ||
|
||
<section> | ||
<h1>Recent Posts</h1> | ||
<ul id="recent_posts"> | ||
|
||
<li class="post"> | ||
<a href="/SCION/blog/2013/02/22/the-next-step-in-the-evolution-of-scion/">The next step in the evolution of SCION, a.k.a. scion-ng, a.k.a. SCION-core, a.k.a. SCION 1.0.0</a> | ||
</li> | ||
|
||
</ul> | ||
</section> | ||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
</aside> | ||
|
||
|
||
</div> | ||
</div> | ||
<footer role="contentinfo"><p> | ||
Copyright © 2013 - Jacob Beard - | ||
<span class="credit">Powered by <a href="http://octopress.org">Octopress</a></span> | ||
</p> | ||
|
||
</footer> | ||
|
||
|
||
<script type="text/javascript"> | ||
var disqus_shortname = 'jbeard4'; | ||
|
||
|
||
var disqus_script = 'count.js'; | ||
|
||
(function () { | ||
var dsq = document.createElement('script'); dsq.type = 'text/javascript'; dsq.async = true; | ||
dsq.src = 'http://' + disqus_shortname + '.disqus.com/' + disqus_script; | ||
(document.getElementsByTagName('head')[0] || document.getElementsByTagName('body')[0]).appendChild(dsq); | ||
}()); | ||
</script> | ||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
<script type="text/javascript"> | ||
(function(){ | ||
var twitterWidgets = document.createElement('script'); | ||
twitterWidgets.type = 'text/javascript'; | ||
twitterWidgets.async = true; | ||
twitterWidgets.src = 'http://platform.twitter.com/widgets.js'; | ||
document.getElementsByTagName('head')[0].appendChild(twitterWidgets); | ||
})(); | ||
</script> | ||
|
||
|
||
|
||
|
||
|
||
</body> | ||
</html> |
Large diffs are not rendered by default.
Oops, something went wrong.
Oops, something went wrong.