Check-in [855f5cd0f0]

Not logged in

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:Updated flyer with presentation location.
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1:855f5cd0f095b03e2bac5736b531fb0c5161cb00
User & Date: andy 2015-04-30 07:06:10
Context
2015-05-01
09:12
Added an index page to the server, so you can browse http://localhost:4001 and get nice links to the examples. check-in: 3bb6b9ecdb user: andy tags: trunk
2015-04-30
07:06
Updated flyer with presentation location. check-in: 855f5cd0f0 user: andy tags: trunk
2015-04-28
21:18
Fixed some typos. check-in: 71edd53195 user: andy tags: trunk
Changes
Hide Diffs Side-by-Side Diffs Ignore Whitespace Patch

Changes to flyer/arend-flyer.pdf.

cannot compute difference between binary files

Changes to flyer/arend-flyer.sla.

    22     22           <STYLE NAME="Default Paragraph Style" DefaultStyle="1" ALIGN="0" LINESPMode="0" LINESP="15" INDENT="0" RMARGIN="0" FIRST="0" VOR="0" NACH="0" DROP="0" DROPLIN="2" DROPDIST="0"/>
    23     23           <STYLE NAME="Bullets" PARENT="Default Paragraph Style" INDENT="26" FIRST="-26" CPARENT="Default Character Style" FCOLOR="Red">
    24     24               <Tabs Type="0" Pos="26" Fill=""/>
    25     25               <Tabs Type="0" Pos="49" Fill=""/>
    26     26           </STYLE>
    27     27           <CHARSTYLE CNAME="Default Character Style" DefaultStyle="1" FONT="Arial Regular" FONTSIZE="12" FEATURES="inherit" FCOLOR="Black" FSHADE="100" SCOLOR="Black" SSHADE="100" TXTSHX="5" TXTSHY="-5" TXTOUT="1" TXTULP="-0.1" TXTULW="-0.1" TXTSTP="-0.1" TXTSTW="-0.1" SCALEH="100" SCALEV="100" BASEO="0" KERN="0" LANGUAGE="English"/>
    28     28           <LAYERS NUMMER="0" LEVEL="0" NAME="Background" SICHTBAR="1" DRUCKEN="1" EDIT="1" FLOW="1" TRANS="1" BLEND="0" OUTL="0" LAYERC="#000000"/>
    29         -        <Printer firstUse="1" toFile="0" useAltPrintCommand="0" outputSeparations="0" useSpotColors="0" useColor="0" mirrorH="0" mirrorV="0" useICC="0" doGCR="0" doClip="0" setDevParam="0" useDocBleeds="0" cropMarks="0" bleedMarks="240" registrationMarks="63" colorMarks="0" includePDFMarks="0" PSLevel="0" PDLanguage="0" markOffset="1" BleedTop="0" BleedLeft="0" BleedRight="0" BleedBottom="0" printer="" filename="" separationName="" printerCommand=""/>
           29  +        <Printer firstUse="1" toFile="0" useAltPrintCommand="0" outputSeparations="0" useSpotColors="0" useColor="0" mirrorH="0" mirrorV="0" useICC="0" doGCR="0" doClip="0" setDevParam="0" useDocBleeds="0" cropMarks="0" bleedMarks="1" registrationMarks="1" colorMarks="0" includePDFMarks="0" PSLevel="0" PDLanguage="0" markOffset="1" BleedTop="0" BleedLeft="0" BleedRight="0" BleedBottom="0" printer="" filename="" separationName="" printerCommand=""/>
    30     30           <PDF firstUse="0" Thumbnails="0" Articles="0" Bookmarks="0" Compress="1" CMethod="0" Quality="0" MirrorH="0" MirrorV="0" Clip="0" RotateDeg="0" PresentMode="0" RecalcPic="0" Grayscale="0" RGBMode="1" UseProfiles="0" UseProfiles2="0" Binding="0" PicRes="300" Resolution="300" Version="14" Intent="1" Intent2="0" SolidP="CineonLog M " ImageP="CineonLog M " PrintP="Fogra27L CMYK Coated Press" InfoString="" BTop="0" BLeft="0" BRight="0" BBottom="0" useDocBleeds="1" cropMarks="0" bleedMarks="0" registrationMarks="0" colorMarks="0" docInfoMarks="0" markOffset="0" ImagePr="0" PassOwner="" PassUser="" Permissions="-4" Encrypt="0" UseLayers="0" UseLpi="0" UseSpotColors="1" doMultiFile="0" displayBookmarks="0" displayFullscreen="0" displayLayers="0" displayThumbs="0" hideMenuBar="0" hideToolBar="0" fitWindow="0" PageLayout="0" openAction="">
    31     31               <Fonts Name="Arial Regular"/>
    32     32               <Fonts Name="Junicode Bold"/>
    33     33               <Subset Name="Cabin Italic"/>
    34     34               <Subset Name="Cabin Regular"/>
    35     35               <Subset Name="Junicode Regular"/>
    36     36               <Effekte pageEffectDuration="1" pageViewDuration="1" effectType="0" Dm="0" M="0" Di="0"/>
................................................................................
   115    115               <para PARENT="Bullets" ALIGN="3"/>
   116    116               <para ALIGN="3"/>
   117    117               <ITEXT FONT="Junicode Regular" FCOLOR="Black" FSHADE="100" CH="•"/>
   118    118               <tab FONT="Junicode Regular" FCOLOR="Black" FSHADE="100"/>
   119    119               <ITEXT FONT="Junicode Regular" FCOLOR="Black" FSHADE="100" CH="A specification language, designed specifically for instructor use, for specifying systems to be reasoned about. Arend's specification language is based on a restricted, logically-consistent, subset of Prolog, with facilities for naming rules and describing the appearance of the objects being represented."/>
   120    120               <para PARENT="Bullets" ALIGN="3"/>
   121    121               <para PARENT="Bullets" ALIGN="3"/>
   122         -            <ITEXT FONT="Junicode Regular" FONTSIZE="14" CH="Presentation: Friday, May 7; 11:00 AM"/>
          122  +            <ITEXT FONT="Junicode Regular" FONTSIZE="14" CH="Presentation: Thursday, May 7, 11:00 AM; McKee-Fisk 205"/>
   123    123               <para ALIGN="1"/>
   124         -            <ITEXT FONT="Junicode Regular" FONTSIZE="14" CH="By Andy Clifton, Esq."/>
          124  +            <ITEXT FONT="Junicode Regular" FONTSIZE="14" CH="by Andy Clifton, Esq."/>
   125    125               <para ALIGN="1"/>
   126    126               <para/>
   127    127               <PageItemAttributes/>
   128    128           </PAGEOBJECT>
   129    129           <PAGEOBJECT OwnPage="0" PTYPE="2" XPOS="149.5" YPOS="67.75" WIDTH="160.5" HEIGHT="216.25" RADRECT="0" FRTYPE="0" CLIPEDIT="0" PWIDTH="1" PCOLOR="None" PCOLOR2="None" COLUMNS="1" COLGAP="0" NAMEDLST="" SHADE="100" SHADE2="100" GRTYP="0" ROT="0" PLINEART="1" PLINEEND="0" PLINEJOIN="0" LOCALSCX="0.4508" LOCALSCY="0.4508" LOCALX="-153.061224489796" LOCALY="0" PICART="1" PLTSHOW="0" BASEOF="0" textPathType="0" textPathFlipped="0" FLIPPEDH="0" FLIPPEDV="0" SCALETYPE="1" RATIO="1" PRINTABLE="1" ANNOTATION="0" ANNAME="" TEXTFLOWMODE="0" TEXTFLOW="0" TEXTFLOW2="0" TEXTFLOW3="0" AUTOTEXT="0" EXTRA="0" TEXTRA="0" BEXTRA="0" REXTRA="0" FLOP="0" PFILE="Doh.jpg" PFILE2="" PFILE3="" PRFILE="" EPROF="" IRENDER="0" EMBEDDED="0" LOCK="0" LOCKR="0" REVERS="0" TransValue="0" TransValueS="0" TransBlend="0" TransBlendS="0" isTableItem="0" TopLine="0" LeftLine="0" RightLine="0" BottomLine="0" isGroupControl="0" NUMDASH="0" DASHS="" DASHOFF="0" NUMPO="16" POCOOR="0 0 0 0 160.5 0 160.5 0 160.5 0 160.5 0 160.5 216.25 160.5 216.25 160.5 216.25 160.5 216.25 0 216.25 0 216.25 0 216.25 0 216.25 0 0 0 0 " NUMCO="16" COCOOR="0 0 0 0 160.5 0 160.5 0 160.5 0 160.5 0 160.5 216.25 160.5 216.25 160.5 216.25 160.5 216.25 0 216.25 0 216.25 0 216.25 0 216.25 0 0 0 0 " NUMGROUP="0" GROUPS="" startArrowIndex="0" endArrowIndex="0" OnMasterPage="" ImageClip="" ImageRes="1" Pagenumber="0" isInline="0" fillRule="1" doOverprint="0" gXpos="0" gYpos="0" gWidth="0" gHeight="0" LAYER="0" BOOKMARK="0" NEXTITEM="-1" BACKITEM="-1">
   130    130               <trail/>
   131    131               <PageItemAttributes/>