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" *)

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

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

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

AagibpaggiptAagibpaggipt 2018/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/

AHauhsoychoabsAHauhsoychoabs 2018/06/30 23:30 Pression 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/

AlbertSoomoAlbertSoomo 2018/09/07 20:28 The 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.

AodosseinsurneAodosseinsurne 2018/09/28 15:01 Pression 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/

AodosseinsurneAodosseinsurne 2018/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/

ゲスト