| #
1296f734 |
|
10-Apr-2016 |
wenzelm <none@none> |
more standard session build process, including browser_info;
clarified final setup of global ML environment;
|
| #
ef1c759e |
|
16-Jan-2016 |
wenzelm <none@none> |
keep src/Doc;
|
| #
53318c0a |
|
13-Mar-2013 |
wenzelm <none@none> |
proper index for HOL-Proofs, which is also in chapter "HOL";
|
| #
0d4687b1 |
|
15-Jan-2011 |
wenzelm <none@none> |
link HOL-Proofs/index.html, which is not reachable from regular HOL/index.html;
|
| #
7c7ec583 |
|
14-Jan-2011 |
wenzelm <none@none> |
treat HOLCF as HOL library session, not as "logic";
|
| #
18d02f56 |
|
27-Nov-2010 |
huffman <none@none> |
update web description of HOLCF;
fix broken link to HOLCF/index.html
|
| #
ea4d8435 |
|
22-Sep-2008 |
haftmann <none@none> |
added some fragments from website
|
| #
08716937 |
|
30-Oct-2007 |
haftmann <none@none> |
split library index into templates
|