John Benediktsson
|
30739e70ff
|
tools.deprecation: use none?.
|
2018-02-14 11:57:55 -08:00 |
John Benediktsson
|
013adec055
|
source-files.errors: rename <definition-error> to new-source-file-error.
|
2017-10-25 10:45:46 -07:00 |
Alexander Iljin
|
504c9959a1
|
Update some copyright headers to follow the current convention
Had to look through the history to find years for some headers. Added
authors to some files as well.
|
2017-09-11 15:43:03 -07:00 |
John Benediktsson
|
4e3fe96d3d
|
tools.deprecation: use filter-word-defs.
|
2016-12-06 16:31:33 -08:00 |
John Benediktsson
|
12628c5a95
|
tools.crossref: change crossref to store uses in hash-set.
Previously it would use a hashtable where the key and value
were both the same.
|
2016-03-20 20:20:34 -07:00 |
Doug Coleman
|
352e5de16a
|
core, basis, extra: Remove DOS line endings from files.
Remove whitespace from end of lines.
Add a newline to the end of each file.
|
2015-06-29 17:25:40 -07:00 |
John Benediktsson
|
0554e8c3fa
|
tools.deprecation: make deprecation warnings not fatal (so they don't clutter the UI forever).
|
2014-06-06 14:10:32 -07:00 |
Doug Coleman
|
00450e468a
|
tools,help: Fix error-type.
|
2013-03-23 22:07:40 -07:00 |
Doug Coleman
|
50bf20bca4
|
tools.deprecation: Rename deprecation-note
|
2013-03-23 16:48:41 -07:00 |
John Benediktsson
|
c0c769a7d8
|
compiler.units: changing definitions-changed to use a set.
|
2013-03-10 09:11:18 -07:00 |
John Benediktsson
|
0cfc78c37c
|
"filter empty?" is "any? not".
|
2012-07-19 16:33:01 -07:00 |
Doug Coleman
|
6b6e56a179
|
change add-init-hook to add-startup-hook, new add-shutdown-hook word
|
2009-10-19 22:17:02 -04:00 |
Joe Groff
|
51405868d1
|
ignore deprecations in words that are themselves deprecated
|
2009-08-29 17:41:21 -05:00 |
Slava Pestov
|
790e7ec0bc
|
tools.deprecation: suppress 'computing usage index...' message
|
2009-08-28 05:32:34 -05:00 |
Slava Pestov
|
a96743d375
|
tools.deprecation: don't bail out if a word's usages are not all words
|
2009-08-28 05:31:27 -05:00 |
Joe Groff
|
94c50cfaeb
|
install deprecation definition-observer as an init-hook
|
2009-08-20 16:18:06 -05:00 |
Joe Groff
|
6089251574
|
move deprecation to tools.deprecation; load with bootstrap.tools
|
2009-08-20 16:17:36 -05:00 |