diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2015-02-18 00:57:15 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2015-02-18 00:57:15 +0100 |
| commit | 89a6daf2a11e0dddd4a097443c87e28c9c84f29f (patch) | |
| tree | 6aff114993b3c19b27d2661969f115e6e15e4d88 | |
| parent | 831d74592bfb53b4deaf538127cfd8599339f322 (diff) | |
Revert "update for rename of open_issues/code_analysis.mdwn to service_solahart_jakarta_selatan__082122541663/code_analysis.mdwn"
This reverts commit fbfe8a7f701942af68a43523eb860b384f0f286e.
| -rw-r--r-- | service_solahart_jakarta_selatan__082122541663/formal_verification.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/service_solahart_jakarta_selatan__082122541663/formal_verification.mdwn b/service_solahart_jakarta_selatan__082122541663/formal_verification.mdwn index 86966f22..57e6effd 100644 --- a/service_solahart_jakarta_selatan__082122541663/formal_verification.mdwn +++ b/service_solahart_jakarta_selatan__082122541663/formal_verification.mdwn @@ -16,7 +16,7 @@ Especially in the field of [[DSL]]s, this is used for asserting program codes' correctness, as explained in {{$microkernel/barrelfish#fof_plos09}}, for example. -See also [[service_solahart_jakarta_selatan__082122541663/code_analysis]]. +See also [[code_analysis]]. [[!toc]] |