git.annexia.org / goals.git / shortlog
| 2019-12-23 | Richard W.M... | Define *file() syntax for tactic constructors. | commit | commitdiff | tree | snapshot |
| 2019-12-23 | Richard W.M... | Attach parser location information to AST nodes. | commit | commitdiff | tree | snapshot |
| 2019-12-23 | Richard W.M... | Basic evaluation. | commit | commitdiff | tree | snapshot |
| 2019-12-23 | Richard W.M... | Implement -C / --directory option. | commit | commitdiff | tree | snapshot |
| 2019-12-23 | Richard W.M... | Add environment to store variables and goals. | commit | commitdiff | tree | snapshot |
| 2019-12-22 | Richard W.M... | Command line parsing of anon args. | commit | commitdiff | tree | snapshot |
| 2019-12-22 | Richard W.M... | Expose parsing of expressions from command line. | commit | commitdiff | tree | snapshot |
| 2019-12-21 | Richard W.M... | Continue command line parsing. | commit | commitdiff | tree | snapshot |
| 2019-12-21 | Richard W.M... | Rename parsing/ to src/ | commit | commitdiff | tree | snapshot |
| 2019-12-21 | Richard W.M... | Initial commit of parser. | commit | commitdiff | tree | snapshot |