| Age | Commit message (Collapse) | Author |
|
Closes #22615.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
|
Closes #22459.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
|
Closes #22613.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
|
|
|
Also adds support for a new `--local` flag, and documentation for the whole command.
Closes #22378.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
|
Closes #22525.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
|
Closes #22529.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
|
Closes #22611.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
|
|
|
Shows a list of built-in commands (but not shortcuts) and searches
for any external commands on the path.
Closes #22509.
|
|
Closes #19477.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
|
Kimwitu++ is the successor to Kimwitu. Like Kimwitu, it is a tool for
processing trees (i.e. terms). It is a meta tool: Kimwitu++ can be used
for generating software - especially when building compilers. Kimwitu++
has its own input language, which allows the definition for the tree
structure and of functions operating on the tree. It uses the input to
generate a number of C++ files, which are then bound to a program using
the C++ compiler.
Closes #22470.
Signed-off-by: Xiyue Deng <manphiz@gmail.com>
|
|
An updated brew-aspell-dictionaries script is on the way, but it depends
on features that haven't been merged yet.
|
|
|
|
Extra libraries were being compiled, but not installed.
Closes #22589.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
|
Closes #22601.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
|
Closes #22599.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
|
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
|
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
|
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
|
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
|
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
|
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
|
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
|
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
|
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
|
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
|
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
|
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
|
|
|
|
|
|
|
Closes #22588.
Signed-off-by: Jack Nagel <jacknagel@gmail.com>
|
|
Closes #22586.
Signed-off-by: Jack Nagel <jacknagel@gmail.com>
|
|
Closes #22583.
Signed-off-by: Jack Nagel <jacknagel@gmail.com>
|
|
|
|
Closes #22580.
Signed-off-by: Jack Nagel <jacknagel@gmail.com>
|
|
|
|
Fixes #22587.
|
|
Closes #22568.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
|
Closes #20793.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
|
Closes #22581.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
|
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
|
Closes #22516.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
|
Closes #22578.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
|
Closes #22579.
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
|
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
|
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
|
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
|
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|