Skip to content

Commit

Permalink
Update note in twelftut
Browse files Browse the repository at this point in the history
  • Loading branch information
jcreedcmu committed Mar 10, 2024
1 parent 7e72cbc commit 6055ff1
Showing 1 changed file with 4 additions and 1 deletion.
5 changes: 4 additions & 1 deletion public/twelftut/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,10 @@
<body>

This is a twelf tutorial I made in flash in December of 2005.
Putting it here for archival purposes.<br>
Putting it here for archival purposes. In its original form, it was able
to connect to twelf over a socket, but that functionality certainly
no longer works now.
<br>

<object type="application/x-shockwave-flash" data="twelftut.swf" width=1024 height=768>
<param name="movie" value="twelftut.swf">
Expand Down

0 comments on commit 6055ff1

Please sign in to comment.