blob: a6484fb935fea8400fad2da3f57627589970f53e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
Improved usability for locating identifiers
===========================================
Perhaps something like this:
\source context.slul has Ctx ctx_*
\source tree.slul has Tr tr_*
Only the given identifiers will be available.
Attempting to make a non-local identifier with another suffix
should give an error.
A similar technique could be used for dependencies:
\depends png 1.0 use Png png_*
This could be extended for renames
\depends png 1.0 use Png=PngImage png_*=pngimage_*
|
