Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
tools:start [2025/05/20 11:51] – [Expanded names] rajit | tools:start [2025/05/20 11:52] (current) – rajit | ||
---|---|---|---|
Line 35: | Line 35: | ||
* [[http:// | * [[http:// | ||
- | Two useful concepts to keep in mind when using the ACT tools are //expanded names// and //mangled names//. | + | Two useful concepts to keep in mind when using the ACT tools are [[intro_example: |