40 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/programming.html">Programming Languages</A><BR> |
40 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/programming.html">Programming Languages</A><BR> |
41 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/misc.html">Miscellaneous</A> |
41 <A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/misc.html">Miscellaneous</A> |
42 <BR><BR> |
42 <BR><BR> |
43 |
43 |
44 <A HREF="http://isabelle.in.tum.de/nominal/"> |
44 <A HREF="http://isabelle.in.tum.de/nominal/"> |
45 <IMG SRC="ribbon.gif" ALT="" style="border-width: 0px;" align="left"> |
45 <IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"> |
46 </A> |
46 </A> |
47 </TD> |
47 </TD> |
48 |
48 |
49 |
49 |
50 <!-- right column --> |
50 <!-- right column --> |
51 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
51 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
52 <h3> GNU/Linux World</h3> |
52 <h3> GNU/Linux World</h3> |
53 <dl> <dd> <a href ="http://tldp.org/"> |
53 <dl> <dd> <a href ="http://tldp.org/"> |
54 Linux Documentation Project</a> |
54 Linux Documentation Project</a> |
55 <dd> <a href ="http://www.dk.xemacs.org/"> |
55 <dd> <a href ="http://www.gnu.org/s/emacs/"> |
56 Xemacs </a> |
56 Emacs </a> |
57 <dd> <a href ="http://www.x.org/"> |
57 <dd> <a href ="http://www.x.org/"> |
58 XOrg </a> |
58 XOrg </a> |
59 (<a href ="http://xfree86.org/mailman/listinfo/">Mailing Lists</a>) |
59 (<a href ="http://xfree86.org/mailman/listinfo/">Mailing Lists</a>) |
60 <dd> <a href="http://www.tex.ac.uk/tex-archive/help/Catalogue/catalogue.html"> |
60 <dd> <a href="http://www.tex.ac.uk/tex-archive/help/Catalogue/catalogue.html"> |
61 CTAN Catalogue</a> |
61 CTAN Catalogue</a> |
62 <dd> <a href="http://www.tug.org/texlive/"> |
62 <dd> <a href="http://www.tug.org/texlive/"> |
63 TeX Live</a> |
63 TeX Live</a> |
64 <dd> <a href="http://tug.org/"> |
64 <dd> <a href="http://tug.org/"> |
65 TeX Users Group</a> |
65 TeX Users Group</a> |
66 (<a href ="http://www.tug.org/ListsArchives/">Mailing Lists</a>) |
66 (<a href ="http://tug.org/mailman/listinfo">Mailing Lists</a>) |
67 <dd> <a href="http://slashdot.org/"> |
67 <dd> <a href="http://slashdot.org/"> |
68 Slashdot</a> |
68 Slashdot</a> |
69 <dd> <a href="http://lwn.net"> |
69 <dd> <a href="http://lwn.net"> |
70 Linux Weekly News</a> |
70 Linux Weekly News</a> |
71 <dd> <a href="http://www.kernel.org/"> |
71 <dd> <a href="http://www.kernel.org/"> |
84 (<a href ="http://lists.kde.org/">Mailing Lists</a>) |
84 (<a href ="http://lists.kde.org/">Mailing Lists</a>) |
85 <dd> <a href="http://catless.ncl.ac.uk/Risks/"> |
85 <dd> <a href="http://catless.ncl.ac.uk/Risks/"> |
86 The Risks Digest</a> |
86 The Risks Digest</a> |
87 <dd> <a href="http://www.csl.sri.com/users/neumann/insiderisks.html"> |
87 <dd> <a href="http://www.csl.sri.com/users/neumann/insiderisks.html"> |
88 C. of ACM Inside Risks</a> |
88 C. of ACM Inside Risks</a> |
89 <dd> <a href="http://latex-beamer.sourceforge.net/"> |
89 <dd> <a href="https://bitbucket.org/rivanvx/beamer/wiki/Home"> |
90 Beamer Latex Class</a> |
90 Beamer Latex Class</a> |
91 </dl> |
91 </dl> |
92 </TD> |
92 </TD> |
93 </TR> |
93 </TR> |
94 |
94 |
98 <h4> Airlines and Railways </h4> |
98 <h4> Airlines and Railways </h4> |
99 <dl> <dd> |
99 <dl> <dd> |
100 <a href="http://www.british-airways.com/">British Airways</a>, |
100 <a href="http://www.british-airways.com/">British Airways</a>, |
101 <a href="http://www.lufthansa.de">Lufthansa</a>, |
101 <a href="http://www.lufthansa.de">Lufthansa</a>, |
102 <a href="http://bahn.hafas.de/index.html">Deutsche Bundesbahn</a>, |
102 <a href="http://bahn.hafas.de/index.html">Deutsche Bundesbahn</a>, |
103 <a href="http://www.ryanair.co.uk/">Ryanair</a>, |
|
104 <a href="http://www.easyjet.co.uk/">Easyjet</a>, |
103 <a href="http://www.easyjet.co.uk/">Easyjet</a>, |
105 <a href="http://www.timeanddate.com/worldclock">World Times</a> |
104 <a href="http://www.timeanddate.com/worldclock">World Times</a> |
106 </dl> |
105 </dl> |
107 </TD> |
106 </TD> |
108 </TR> |
107 </TR> |
109 |
108 |
110 </TABLE> |
109 </TABLE> |
111 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
110 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
112 <!-- hhmts start --> |
111 <!-- hhmts start --> |
113 Last modified: Mon Feb 16 23:17:30 GMT 2009 |
112 Last modified: Sat Oct 22 11:02:07 BST 2011 |
114 <!-- hhmts end --> |
113 <!-- hhmts end --> |
115 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
114 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
116 </BODY> |
115 </BODY> |
117 </HTML> |
116 </HTML> |