Skip to content

Commit

Permalink
More thorough link removal
Browse files Browse the repository at this point in the history
  • Loading branch information
@robsimmons
robsimmons committed Dec 29, 2024
1 parent bbe0809 commit 9599533
Show file tree
Hide file tree
Showing 5 changed files with 6 additions and 6 deletions.
2 changes: 1 addition & 1 deletion wiki/pages/cade-tutorial.elf
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ Come to the Twelf tutorial on **June 10, 2013, 9:00-12:30**, co-located with CAD

Learn to:
* Represent [languages and logics](/wiki/object-logic/) in [LF](/wiki/lf/)
* Prove [metatheorem](/wiki/metatheorem/)s with [Twelf](/wiki/main-page/)
* Prove [metatheorem](/wiki/metatheorem/)s with [Twelf](/)
under the helpful guidance of Twelf experts.

The tutorial will be a highly interactive introduction to LF and Twelf
Expand Down
2 changes: 1 addition & 1 deletion wiki/pages/popl-tutorial-saturday.elf
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ Come to the Twelf tutorial on **January 19, 2009**, co-located with POPL 2009, i

Learn to:
* Represent [languages and logics](/wiki/object-logic/) in [LF](/wiki/lf/)
* Prove [metatheorem](/wiki/metatheorem/)s with [Twelf](/wiki/main-page/)
* Prove [metatheorem](/wiki/metatheorem/)s with [Twelf](/)
under the helpful guidance of Twelf experts.

The tutorial will be a highly interactive introduction to LF and Twelf
Expand Down
4 changes: 2 additions & 2 deletions wiki/pages/popl-tutorial-thursday.elf
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,15 +2,15 @@

%{! ## Mechanizing Metatheory with LF and Twelf

Do you want to learn how to use [Twelf](/wiki/main-page/) to specify, implement, and prove
Do you want to learn how to use [Twelf](/) to specify, implement, and prove
properties about programming languages?

Come to the Twelf tutorial on **January 19, 2009**, co-located with POPL 2009, in
**Savannah, Georgia**.

Learn to:
* Represent [languages and logics](/wiki/object-logic/) in [LF](/wiki/lf/)
* Prove [metatheorem](/wiki/metatheorem/)s with [Twelf](/wiki/main-page/)
* Prove [metatheorem](/wiki/metatheorem/)s with [Twelf](/)
under the helpful guidance of Twelf experts.

The tutorial will be a highly interactive introduction to LF and Twelf
Expand Down
2 changes: 1 addition & 1 deletion wiki/pages/popl-tutorial.elf
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ Come to the Twelf tutorial on **January 19, 2009**, co-located with POPL 2009, i

Learn to:
* Represent [languages and logics](/wiki/object-logic/) in [LF](/wiki/lf/)
* Prove [metatheorem](/wiki/metatheorem/)s with [Twelf](/wiki/main-page/)
* Prove [metatheorem](/wiki/metatheorem/)s with [Twelf](/)
under the helpful guidance of Twelf experts.

The tutorial will be a highly interactive introduction to LF and Twelf
Expand Down
2 changes: 1 addition & 1 deletion wiki/pages/the-twelf-project-to-do.elf
View file
Original file line number Diff line number Diff line change
Expand Up @@ -180,7 +180,7 @@ I've drafted the article, but I invite people to point out points that require c
| **Done for now**
|-
| **Learning Twelf**
| A prominent page that leads prospective users to an appropriate tutorial, should they like to learn about or learn Twelf. (appears in the lower right corner of the [Main Page](/wiki/main-page/)
| A prominent page that leads prospective users to an appropriate tutorial, should they like to learn about or learn Twelf. (appears in the lower right corner of the [Main Page](/)
| Rob
| **Done (the portal part)**
|-
Expand Down

0 comments on commit 9599533

Please sign in to comment.