Change history for WikiStart

Version Date Author Comment
79 11 months Pierre-Yves Strub Remove staled ack.
78 11 months Pierre-Yves Strub Add Clément Sartori
77 23 months Pierre-Yves Strub
76 23 months Pierre-Yves Strub
75 23 months Pierre-Yves Strub
74 2 years Pierre-Yves Strub
73 2 years Pierre-Yves Strub
72 2 years Pierre-Yves Strub
71 2 years Pierre-Yves Strub
70 2 years Pierre-Yves Strub
69 2 years Pierre-Yves Strub
68 2 years Pierre-Yves Strub
67 2 years Pierre-Yves Strub
66 2 years Pierre-Yves Strub
65 2 years Pierre-Yves Strub
64 2 years Pierre-Yves Strub
63 2 years Pierre-Yves Strub
62 2 years Pierre-Yves Strub
61 3 years Pierre-Yves Strub Remove dead links
60 3 years François Dupressoir no longer hiring before July 2015
59 3 years François Dupressoir Trying to more clearly separate EasyCrypt? 0.2 from EasyCrypt? 1.0.
58 4 years Pierre-Yves Strub
57 4 years Pierre-Yves Strub
56 4 years Gilles Barthe
55 4 years Pierre-Yves Strub
54 4 years Pierre-Yves Strub
53 4 years Pierre-Yves Strub
52 4 years Pierre-Yves Strub
51 4 years Benedikt Schmidt add link to school
50 4 years Pierre-Yves Strub
49 4 years Benedikt Schmidt
48 4 years Pierre-Yves Strub Make clearn that easycrypt-support is only when non-public info has to …
47 4 years Pierre-Yves Strub
46 4 years François Dupressoir
45 4 years Pierre-Yves Strub
44 4 years Pierre-Yves Strub GitHub? OAuth
43 4 years Pierre-Yves Strub Fix git URL
42 4 years Pierre-Yves Strub Link EasyCrypt? installation instructions to the source browser.
41 4 years Pierre-Yves Strub
40 4 years François Dupressoir
39 5 years François Dupressoir trumping trac's obfuscation
38 5 years François Dupressoir Changing contact protocols
37 5 years Catalin Hritcu Added link to summer school
36 5 years Pierre-Yves Strub
35 5 years Pierre-Yves Strub
34 5 years François Dupressoir
33 5 years Pierre-Yves Strub
32 5 years Gilles Barthe
31 5 years François Dupressoir
30 5 years Pierre-Yves Strub
29 5 years Pierre-Yves Strub
28 5 years Pierre-Yves Strub Acknowledgments moved
27 5 years Pierre-Yves Strub Members (and former ones) moved to the Team page
26 5 years Pierre-Yves Strub Remove affiliation of former members
25 5 years Pierre-Yves Strub
24 5 years Pierre-Yves Strub
23 5 years Charlie Root
22 5 years Charlie Root
21 5 years Pierre-Yves Strub
20 5 years Pierre-Yves Strub
19 5 years Pierre-Yves Strub
18 5 years Pierre-Yves Strub
17 5 years Charlie Root
16 5 years Charlie Root
15 5 years Pierre-Yves Strub
14 5 years François Dupressoir
13 5 years Pierre-Yves Strub
12 5 years Charlie Root
11 5 years Charlie Root
10 5 years Charlie Root
9 5 years François Dupressoir
8 5 years Charlie Root
7 5 years François Dupressoir
6 5 years Charlie Root Remove trac links.
5 5 years Charlie Root
4 5 years Charlie Root
3 5 years Charlie Root Import www main contents.
2 5 years Charlie Root
1 5 years trac