 Parent Directory
|
|
|
|
|
Manual/
|
6081 |
12 days |
michaeln |
Fiddle with drules.tex and indexing as a prelude to moving the
"Derived Rules" c... |
|
bin/
|
6017 |
7 weeks |
michaeln |
Add some svn:ignore properties to make svn stat return fewer question
marks.
|
|
developers/
|
5584 |
13 months |
michaeln |
Slew of changes relating to svn:ignore. Set that property all over
the place to... |
|
doc/
|
6072 |
3 weeks |
michaeln |
Realised that the release notes should say that version 5.2 of Poly/ML
is requir... |
|
examples/
|
6098 |
5 days |
michaeln |
As per the comment in the file, I have to begin
standardisationScript.sml with t... |
|
help/
|
6101 |
5 days |
acjf3 |
Update word theory/library names.
|
|
scheme/
|
5685 |
9 months |
zhuchongkai |
fix name-conflict |
|
sigobj/
|
5589 |
12 months |
michaeln |
Get the smv.xable symbolic link to be ignored when a svn stat command
is done.
|
|
src/
|
6108 |
13 hours |
michaeln |
HOL should now accept UTF8 input as well, so cutting and pasting
"special" chara... |
|
tools/
|
6108 |
13 hours |
michaeln |
HOL should now accept UTF8 input as well, so cutting and pasting
"special" chara... |
|
tools-poly/
|
6106 |
31 hours |
michaeln |
Add some support for nice Unicode constants. Start up hol, type
UTF8_Printing... |
COPYRIGHT
|
5276 |
21 months |
slind |
Changing the years.
|
|
README
|
4542 |
2 years |
michaeln |
Update the README notice to reflect what will actually be distributed.
|
|
install.txt
|
6087 |
8 days |
slind |
Moved instructions on building HOL with
Poly/ML from tools-poly/README.
|
|
std.prelude
|
6106 |
31 hours |
michaeln |
Add some support for nice Unicode constants. Start up hol, type
UTF8_Printing... |
