| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| .dir-locals.el | ||
| Base.v | ||
| GQM.v | ||
| GQMClassical.v | ||
| GQMClassicalWithTactics.v | ||
| GQMDeduction.v | ||
| GQMTactics.v | ||
| Section5.v | ||
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| .dir-locals.el | ||
| Base.v | ||
| GQM.v | ||
| GQMClassical.v | ||
| GQMClassicalWithTactics.v | ||
| GQMDeduction.v | ||
| GQMTactics.v | ||
| Section5.v | ||