welcome: please sign in

Full Text Search: "linkto:"AdamChlipala""

Results 1 - 25 of 47 results out of about 5944 pages. (3.74 seconds)

InstallationLog . . . 23 matches
... removed it all the same, and so we finally reached the point of MemberMigration. --AdamChlipala = 2005/8/31 = Just to give some signs of activity. We're waiting for InterServer'...

12.1k - rev: 44 (current) last modified: 2012-12-20 02:32:51

HCoopElections . . . 7 matches
...ardDarst, BtTempleton, ClintonEbadi, LaurenMcNees, SteveKillen * [[Election2011]]: AdamChlipala, ClintonEbadi, RichardDarst, BtTempleton, RyanMikulovsky * [[Election2010]]: AdamC...

1.8k - rev: 25 (current) last modified: 2022-08-06 15:48:15

Election2005 . . . 7 matches
...il 3, 2005, 11:59 PM UTC. = Nominations = 1. LukeChao. Nominated by LukeChao. 2. AdamChlipala. Nominated by NathanKennedy. 3. ClintonEbadi. Nominated by DavidBettis. 4. RobGu...

4.9k - rev: 3 (current) last modified: 2012-12-20 03:02:54

SoftwareArchitecturePlans . . . 6 matches
...em logins = The Big Questions = == What Debian version do we run on each server? == AdamChlipala suggests stable on Main and testing on Dynamic and Shell because: * We want our p...

19.1k - rev: 31 (current) last modified: 2018-04-22 01:34:40

OurHistory/ProspectiveHostsQuoteRequest . . . 6 matches
... write this new version because you had problems with the style of the original? --AdamChlipala''' [Adam, this really isn't that important to me, so if you want to send out the o...

12.0k - rev: 5 (current) last modified: 2008-07-07 04:28:17

LogoDiscussion . . . 5 matches
...orming various activities in/on it. Perhaps a mounted "HCoop" sign on top of it. --AdamChlipala * A stylized drawing of a rackmount server inside a circle, with hands/arms comin...

9.2k - rev: 69 (current) last modified: 2020-09-04 04:09:42

Election2008 . . . 4 matches
... at midnight UTC. = Nominations = 1. DavorOcelic. Nominated by NathanKennedy. 1. AdamChlipala. Nominated by FrankBynum. 1. NathanKennedy Nominated by StephenTaylor. 1. Michael...

14.7k - rev: 28 (current) last modified: 2012-12-20 03:04:11

TheHcoopLook . . . 3 matches
... than plain boring text, to me. Also, the color scheme drives me out of my mind. --AdamChlipala * You can turn the page style off in your browser in order to view the full me...

5.4k - rev: 36 (current) last modified: 2013-01-29 06:09:25

PaymentPlanProposals . . . 3 matches
...our capitalistic culture that we wish to avoid. == Shares == === Description === AdamChlipala suggests: We implement a "sliding scale" scheme based on giving each member the op...

13.1k - rev: 17 (current) last modified: 2008-07-07 04:28:14

IrcMeetings/20110327 . . . 3 matches
...= Agenda = 0. Status report on transfer of treasurer duties from AdamChlipala to RichardDarst 0. What must be done to transfer bank card &c to new treasurer after election 0. M...

1.8k - rev: 14 (current) last modified: 2011-04-22 23:12:29

InstalledSoftware . . . 3 matches
...s''' || '''Notes''' || || [[http://hcoop.sourceforge.net/|Co-op Hosting Tools]] || *AdamChlipala || See [[http://cvs.sourceforge.net/cgi-bin/viewcvs.cgi/hcoop|CVS]] || || [[http://...

1.1k - rev: 7 (current) last modified: 2012-09-06 07:08:20

Election2012 . . . 3 matches
...erms expires on April 11, 2011. These seats are currently occupied by ClintonEbadi, AdamChlipala, and RyanMikulovsky. BtTempleton and RichardDarst, in board class 2, have one year ...

2.7k - rev: 14 (current) last modified: 2012-12-20 03:05:13

Election2010 . . . 3 matches
... continue for one week through April 11, 2010 at midnight UTC. = Nominations = 1. AdamChlipala, Nominated by NathanKennedy. 1. RichardDarst, Nominated by NathanKennedy. 1. Clin...

2.5k - rev: 13 (current) last modified: 2012-12-20 03:04:33

Election2007 . . . 3 matches
... continue for one week through April 11, 2007 at midnight UTC. = Nominations = 1. AdamChlipala. Nominated by NathanKennedy. 1. DavorOcelic. Nominated by NathanKennedy. 1. Natha...

5.0k - rev: 15 (current) last modified: 2012-12-20 03:03:56

ClintonEbadi/BoardStatements . . . 3 matches
...ly transitioned to a new treasurer, and stability seemed restored. We even survived AdamChlipala departing from the board. Member attrition unfortunately continued, but behind the ...

14.3k - rev: 14 (current) last modified: 2020-04-03 23:50:53

OurHistory/CurrentSystemGripes . . . 2 matches
...Might be a quick fix.'' --JustinLeitgeb * ''Already done, unfortunately.'' --AdamChlipala * Downloads from www.hcoop.net/~username are not counted toward the user's bandwid...

1.8k - rev: 9 (current) last modified: 2008-07-07 04:28:05

IrcMeetings/20060624 . . . 2 matches
...ustinLeitgeb, and MichaelOlson as the new team of system administrators, along with AdamChlipala transitioning to only the role of author and maintainer of custom administration so...

45.9k - rev: 6 (current) last modified: 2009-09-09 20:13:44

Election2011 . . . 2 matches
...1. These seats are currently occupied by DavorOcelic, FrankBynum, and RichardDarst. AdamChlipala and ClintonEbadi, in board class 1, have one year remaining on their terms. Please...

1.6k - rev: 12 (current) last modified: 2012-12-20 03:04:59

Election2009 . . . 2 matches
...tions = 1. ZachAlexander, Nominated by NathanKennedy. 1. FrankBynum, Nominated by AdamChlipala. 1. ClintonEbadi, Nominated by AdamChlipala. 1. JustinLeitgeb, Nominated by Frank...

1.9k - rev: 18 (current) last modified: 2012-12-20 03:04:21

DomtoolTwo . . . 2 matches
... instead.''' Herein lies an overview of the new configuration management tool that AdamChlipala is developing. Many things that could be included aren't here yet, and they'll be ...

12.2k - rev: 13 (current) last modified: 2009-04-09 21:08:04

WebSpam . . . 1 match
...own spam content. I think this kind of program-specific support is the way to go. --AdamChlipala * If a wiki is very popular, even MoinMoin's content filtering isn't enough. What ...

3.1k - rev: 20 (current) last modified: 2010-06-21 17:46:43

VolunteerResponsePolicy . . . 1 match
...ours for everyone, and people come here and change their own caps as they like. * AdamChlipala: 48 hours * NathanKennedy: 48 hours * I think that we should clearly delineate t...

7.9k - rev: 12 (current) last modified: 2011-03-02 00:19:06

TaskDistribution . . . 1 match
... || DavorOcelic || ? || All || || DomtoolTwo || ClintonEbadi || AdamChlipala || All || ## probably not happening || Resource usage watchdog || DavorOcelic || ? ...

3.4k - rev: 55 (current) last modified: 2021-10-26 05:18:37

T-Shirt . . . 1 match
...n this page. --NathanKennedy Wah wah wah, this page isn't linked from anywhere. --AdamChlipala I linked from the front page now. Some notes. You can see the COMAMNUVI website ...

0.8k - rev: 5 (current) last modified: 2014-05-09 23:22:13

StyleGuide . . . 1 match
...y and distract from the content of the page. Why not hack on the style instead? --AdamChlipala Because the size of the normal unnumbered headings look about right. Perhaps w...

1.9k - rev: 13 (current) last modified: 2011-04-22 22:58:16

1 2 Next