git.annexia.org
/
goals.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅ next
utils: Implement -j properly.
2019-12-23
Richard W.M. Jones
Begin converting Ast print functions so they can be...
commit
|
commitdiff
|
tree
2019-12-23
Richard W.M. Jones
Send debug message to stderr.
commit
|
commitdiff
|
tree
2019-12-23
Richard W.M. Jones
Print errors (Failure exceptions) nicely.
commit
|
commitdiff
|
tree
2019-12-23
Richard W.M. Jones
Define *file() syntax for tactic constructors.
commit
|
commitdiff
|
tree
2019-12-23
Richard W.M. Jones
Attach parser location information to AST nodes.
commit
|
commitdiff
|
tree
2019-12-23
Richard W.M. Jones
Basic evaluation.
commit
|
commitdiff
|
tree
2019-12-23
Richard W.M. Jones
Implement -C / --directory option.
commit
|
commitdiff
|
tree
2019-12-23
Richard W.M. Jones
Add environment to store variables and goals.
commit
|
commitdiff
|
tree
2019-12-22
Richard W.M. Jones
Command line parsing of anon args.
commit
|
commitdiff
|
tree
2019-12-22
Richard W.M. Jones
Expose parsing of expressions from command line.
commit
|
commitdiff
|
tree
2019-12-21
Richard W.M. Jones
Continue command line parsing.
commit
|
commitdiff
|
tree
2019-12-21
Richard W.M. Jones
Rename parsing/ to src/
commit
|
commitdiff
|
tree
2019-12-21
Richard W.M. Jones
Initial commit of parser.
commit
|
commitdiff
|
tree