This website requires JavaScript.
Explore
Help
Register
Sign In
github.com
/
PDP-10.its
Watch
1
Star
0
Fork
0
You've already forked PDP-10.its
mirror of
https://github.com/PDP-10/its.git
synced
2026-01-14 23:55:40 +00:00
Code
Issues
Releases
Wiki
Activity
PDP-10.its
/
build
History
Lars Brinkhoff
e1f80890d4
Add ITS machine called KA.
2018-02-27 06:50:13 -08:00
..
klh10
Split off KS10 stuff into separate script.
2018-02-27 06:50:13 -08:00
ks10
Split off KS10 stuff into separate script.
2018-02-27 06:50:13 -08:00
simh
Split off KS10 stuff into separate script.
2018-02-27 06:50:13 -08:00
build.tcl
Split off KS10 stuff into separate script.
2018-02-27 06:50:13 -08:00
dependencies.sh
Use Ubuntu 14 in Travis build.
2016-12-17 20:30:50 +01:00
github-data.sh
Add script to save data from GitHub issues, pull requests, and comments.
2017-01-24 07:07:28 -08:00
h3text.2014
Add ITS machine called KA.
2018-02-27 06:50:13 -08:00
