Robby Findler
|
db97c7c4ae
|
fixed PR 8389
svn: r4880
|
2006-11-18 16:09:42 +00:00 |
|
Eli Barzilay
|
5cc1439c48
|
2006 in copyrights, and make it changable without touching string constant files
svn: r4872
|
2006-11-16 07:20:30 +00:00 |
|
Robby Findler
|
1c9cc76add
|
removed use of regular regexps (they were just there as a 'performance improvement') and improved regexp for email addresses a little so it doesn't match ,@
svn: r4442
|
2006-09-26 21:53:49 +00:00 |
|
Eli Barzilay
|
666cb085cc
|
avoid remembering bad links in case a manual that was not installed gets installed
svn: r3834
|
2006-07-27 05:23:35 +00:00 |
|
Eli Barzilay
|
9951d97d06
|
Added a teachpacks page, with links to both manuals,
more improvements.
svn: r3756
|
2006-07-18 23:43:55 +00:00 |
|
Eli Barzilay
|
02357fd0c9
|
some cleanup and misc improvements
svn: r3755
|
2006-07-18 21:16:20 +00:00 |
|
Robby Findler
|
49667529da
|
improved running time of contracts and moved some provide/contracts to the bottom of files (not necc yet, but may become necc)
svn: r3665
|
2006-07-09 21:07:04 +00:00 |
|
Matthew Flatt
|
6706befaa3
|
350.2
svn: r3496
|
2006-06-27 12:34:39 +00:00 |
|
Matthew Flatt
|
e8442c7b15
|
revise mzc description
svn: r3349
|
2006-06-13 15:28:56 +00:00 |
|
Robby Findler
|
90581cc4f6
|
fixed much of PR 8094 and extended the module browser to also hide planet requires PR 7932
svn: r3290
|
2006-06-08 21:59:41 +00:00 |
|
Matthew Flatt
|
e31dff7a58
|
COPYING.LIB moved
svn: r3118
|
2006-05-30 12:32:47 +00:00 |
|
Matthew Flatt
|
c727afef04
|
301.15: new install tree for Unix, moved docs, moved teachpacks, added config.ss
svn: r2962
|
2006-05-18 15:03:05 +00:00 |
|
Robby Findler
|
27864968a1
|
pr 7894
svn: r2242
|
2006-02-15 22:13:47 +00:00 |
|
Robby Findler
|
2b52904d0e
|
probable fix to PR 7893
svn: r2234
|
2006-02-15 18:33:43 +00:00 |
|
Matthew Flatt
|
3677b37ca5
|
add GNU MP and lightning copyrights
svn: r2200
|
2006-02-11 15:18:05 +00:00 |
|
Eli Barzilay
|
b87d94de94
|
2005->2006
svn: r1694
|
2005-12-26 20:45:10 +00:00 |
|
Eli Barzilay
|
49343d2417
|
remove notes directories for mysterx, mzcom, srpersist
svn: r1639
|
2005-12-18 05:23:14 +00:00 |
|
Matthew Flatt
|
b03ea39c2a
|
no more OPENBUGS; Help Desk points to the bug report db
svn: r1506
|
2005-12-02 22:36:38 +00:00 |
|
Matthew Flatt
|
ecba4949b4
|
bring up-to-date with v300
svn: r1500
|
2005-12-02 21:57:58 +00:00 |
|
Robby Findler
|
d7029f6406
|
fixed bug with manuals showing up wrong
svn: r1478
|
2005-12-02 03:01:03 +00:00 |
|
Robby Findler
|
8861cff087
|
added the not-a-language-language and some bug fixes elsewhere
svn: r1129
|
2005-10-22 17:03:13 +00:00 |
|
Jay McCarthy
|
dd88172baf
|
Making manuals.ss work again
svn: r697
|
2005-08-29 12:38:52 +00:00 |
|
Eli Barzilay
|
0f835f2003
|
some more "cvs" removals
svn: r37
|
2005-06-01 06:05:38 +00:00 |
|
Eli Barzilay
|
017d151d59
|
Adding collects, with all the right properties (except eoln-style).
svn: r3
|
2005-05-27 18:56:37 +00:00 |
|