| commit | 2881641248807fc6452a39356047e1f83d737dac | [log] [tgz] |
|---|---|---|
| author | Yulong Zhang <ansonzyl@gmail.com> | Tue Mar 16 21:14:27 2021 -0700 |
| committer | GitHub <noreply@github.com> | Tue Mar 16 21:14:27 2021 -0700 |
| tree | bdc7e92a7836130460ac0ac52c90b6c47de36f17 | |
| parent | cc3aa0cf31652300add81fb5e2e6d5b62a8abc96 [diff] | |
| parent | afc0721a2411b21734d9595df54dd23283cc12a2 [diff] |
Merge pull request #3 from apache/cmd_build Add Isabelle command line build file