Hatena::Groupocaml-nagoya

Happy OCaml!!

2009-07-05

imenu.elで、関数定義にジャンプ

| はてなブックマーク - imenu.elで、関数定義にジャンプ - Happy OCaml!!

f:id:mzp:20090705192713p:image

imenu.elを使うと、バッファ内の関数定義一覧を出して、そこにジャンプすることができるよ。TAGSと違って、ファイルの更新が不要だから、お手軽だよ。

インストール方法

imenu.el の使い方と応用 — ありえるえりあ を参考に、imenu.elとanything.elを設定する。

tuareg-imenu.elからtuareg-imenu.elをダウンロードして、load-pathの通ってるディレクトリに置く。

.emacsに設定を追加する。

(autoload 'tuareg-imenu-set-imenu "tuareg-imenu" "Configuration of imenu for tuareg" t)
(add-hook 'tuareg-mode-hook
	  (lambda ()
	    (tuareg-imenu-set-imenu))

omakeをインストールしよう

| はてなブックマーク - omakeをインストールしよう - Happy OCaml!!

MacPortsomakeをインストールしようとすると、 omakeがインストールできない - fu7mu4’s diaryって怒られてしまいます。

OCaml3.11でomakeをビルドすると、発生するらしいです。

そんなときは慌てず騒がず、/opt/local/src/exec/omake_exec.mlからsyncをコメントアウトしましょう。

(* external sync : unit -> unit = "caml_sync" *)

パッチが、もうでてるんで、そのうち直るでしょう。

LenLen2012/04/15 03:12Articles like this just make me want to visit your wesbite even more.

xkfedqyptxkfedqypt2012/04/15 13:00Q7HOHE <a href="http://bnqleelrubpe.com/">bnqleelrubpe</a>

AagibpaggiptAagibpaggipt2018/04/09 18:00 This condition is very limited by the reproductive system and can have several causes like a result of injury or abnormal blood circulation within the testicles. He is content, along with the the complete opposite of what we think old age has in store for us.
https://www.cialissansordonnancefr24.com/sildenafil-et-cialis/

AHauhsoychoabsAHauhsoychoabs2018/06/30 23:30Pression arterielle est comment calleux votre sang pousse contre les parois de vos arteres lorsque votre coeur essence pompe le sang. Arteres sont les tubes qui transportent perseverent b gerer offre sang loin de votre coeur. Chaque temps votre coeur bat, il pompe le sang tout au long vos arteres a la flanerie de votre corps.
https://www.cialispascherfr24.com/cialis-douleurs-jambes/

AlbertSoomoAlbertSoomo2018/09/07 20:28The prostate is an essential part of a male's reproductive system. It secretes fluids that assist the transportation and activation of sperm. The prostate can be found just as you're watching rectum, below the bladder and around the urethra. When there is prostate problem, it will always be very uncomfortable and inconvenient for your patient as his urinary product is directly affected.

The common prostate health problems are prostate infection, enlarged prostate and cancer of prostate.



Prostate infection, also referred to as prostatitis, is easily the most common prostate-related problem in men younger than 55 yrs . old. Infections with the prostate gland are classified into four types - acute bacterial prostatitis, chronic bacterial prostatitis, chronic abacterial prostatitis and prosttodynia.

Acute bacterial prostatitis may be the least common of forms of prostate infection. It is due to bacteria located in the large intestines or urinary tract. Patients may experience fever, chills, body aches, back pains and urination problems. This condition is treated by using antibiotics or non-steroid anti-inflammatory drugs (NSAIDs) to ease the swelling.

Chronic bacterial prostatitis is often a condition associated with a particular defect within the gland along with the persistence presence of bacteria within the urinary tract. It can be caused by trauma towards the urinary tract or by infections via other areas from the body. A patient may experience testicular pain, small of the back pains and urination problems. Although it is uncommon, it may be treated by removal of the prostate defect as well as the utilization antibiotics and NSAIDs to treat the soreness.

Non-bacterial prostatitis is the reason for approximately 90% of all prostatitis cases; however, researchers have not even to ascertain the causes of these conditions. Some researchers believe that chronic non-bacterial prostatitis occur because of unknown infectious agents while other think that intensive exercise and heavy lifting may cause these infections.

Maintaining a Healthy Prostate

To prevent prostate diseases, an effective diet is important. These are some of the actions you can take to keep your prostate healthy.

1. Drink sufficient water. Proper hydration is necessary for health and wellness and will also also keep your urinary track clean.

2. Some studies claim that a few ejaculations each week will prevent cancer of the prostate.

3. Eat steak without excess. It has been shown that consuming a lot more than four meals of beef every week will heighten the probability of prostate diseases and cancer.

4. Maintain a proper diet with cereals, vegetable and fruits to make certain sufficient intake of nutrients essential for prostate health.

The most significant measure to take to ensure a proper prostate is always to opt for regular prostate health screening. If you are forty years of age and above, you need to go for prostate examination one or more times 12 months.

AodosseinsurneAodosseinsurne2018/09/28 15:01Pression arterielle est comment calleux votre sang pousse contre les parois de vos arteres lorsque votre coeur determination pompe le sang. Arteres sont les tubes qui transportent perseverent b gerer offre sang loin de votre coeur. Chaque temps votre manque de sensibilite bat, il pompe le sang a tous egards vos arteres a la reste de votre corps.
https://www.cialispascherfr24.com/ou-acheter-du-tadalafil/

AodosseinsurneAodosseinsurne2018/10/13 00:23 Torsion bras de quelqu'un est comment calleux votre sang pousse contre les parois de vos arteres lorsque votre coeur determination pompe le sang. Arteres sont les tubes qui transportent prendre offre sang loin de votre coeur. Chaque set votre moelle bat, il pompe le sang par de vos arteres a la vacances de votre corps.
https://www.cialispascherfr24.com/tadalafil-pour-femme-noire/

WilliamhannaWilliamhanna2019/02/02 12:49cialis colombia
cialis priligy
<a href=https://greatwinesgrandhouses.com>cialis</a>
cialis professional does it work
cheap generic female cialis
https://greatwinesgrandhouses.com
costco pharmacy cialis cost
cialis without a doctor's prescription
<a href=https://kellyannehulme.com>20 mg cialis buy</a>
take 2 cialis pills
what is the average price of cialis
https://greatwinesgrandhouses.com

WilliamhannaWilliamhanna2019/02/02 12:50what is the price of cialis in canada
cialis fara reteta
<a href=https://greatwinesgrandhouses.com>Cialis 20 mg cheap price</a>
generic cialis cipla
cialis actors
https://kellyannehulme.com
genuine cialis online shopping
cialis paiement par cheque
<a href=https://kellyannehulme.com>buy Cialis 20 mg</a>
cheap procialis
order cialis black
https://kellyannehulme.com

ArnoldPoumnArnoldPoumn2019/02/05 23:08cialis international shipping
free bonus cialis
<a href="http://cialistlm.com">Buy Cheap Cialis</a>
bijwerkingen cialis
cheap cialis canada pharmacy
<a href="http://cialisfurr.com">Buy Cheap Cialis Online</a>
cialis quotidien meilleur prix
cialis 10mg prix
<a href="http://xcialisxx.com">buy cialis</a>

ArnoldPoumnArnoldPoumn2019/02/05 23:09buy cialis with priligy
cialis generika indien
<a href="http://xcialisxx.com">Buy Cialis Online</a>
cost of cialis daily dose
cialis online from us pharmacy
<a href="http://cialistlm.com">Buy Cheap Cialis Online</a>
cheap cialis professional online
cialis sales online canada
<a href="http://xcialisxx.com">Buy Cheap Cialis Online</a>

EllbonastEllbonast2019/03/10 08:40Bactrim And Zithromax Drug Shelf Life Of Cephalexin Estrofem No Prescription Australia <a href=http://cthosts.net>cheap cialis</a> Priligy Sicher Kaufen Prix Xenical 120 Trigliceridos Propecia

EllbonastEllbonast2019/04/09 23:30Non Prescription India Pharmacy Finasteride For Sale Internet <a href=http://bakgol.com>achat de viagra france</a> Online Pharmacy No Dr Prescriptions Online Pharmacies Without Scripts Propecia 98 Stuck

LesSanyLesSany2019/08/16 10:11Amoxicillin And Diarrhea <a href=http://curerxfor.com>viagra</a> Viagra Rezeptfrei Osterreich

StevstomStevstom2019/08/25 06:38No Perscription Wellbutrin <a href=http://cpsmeds.com>cialis</a> Need Direct Amoxicilina Canada Cheapeast Cash On Delivery Propecia Merck Bentyl In Internet